Szanowni Państwo,
poniżej zamieszczam odnośnik, to pliku opisującego system naturalnej dedukcji Jaśkowskiego, który pojawił się na wykładzie oraz na moich ćwiczeniach.
Z wyrazami szacunku,
Konrad Zdanowski
Zabezpieczone: ELiTM – skrypt
ASD – wykłady 2022
Poniżej znajdą Państwo pliki z notatkami z wykładu z ASD z roku 2022, kiedy wykład ten był prowadzony online. Proszę pamiętać, że w wykładach tych mogą znajdować się przeoczone błędy oraz, że wykłady z kolejnych lat mogą różnić się od siebie sposobem prezentacji oraz omawianymi zagadnieniami.
PLF – egzaminy
Poniżej znajdą Państwo egzaminy z PLF z poprzednich lat:
PLF – kolokwia
Przykładowe kolokwia z PLF:
- Haskell, PLF_Kolokwium2a_20190604
- Haskell, PLF_Kolokwium2b_20190604
- Prolog, PLF_Kolokwium1_Przyklad
- Prolog, PLF_Kolokwium1a_20190514
PLF – wykłady, laboratoria
Poniżej znajdą Państwo slajdy z wykładami z PLF:
- PLF – pierwsze wykłady, Prolog
- PLF, Prolog, cd.
- PLF – Prolog, zakonczenie
- Haskell Wstep
- Haskell Typy, Struktury Danych
Przykładowe zadania na pierwsze kolokwium (Prolog): PLF_Kokokwium1_Przyklad
ASD – struktury dynamiczne
ASD – kolokwia
Oto kolokwia, które pisali Państwo na ćwiczeniach z ASD:
ASD – egzaminy
Poniżej znajdują się egzaminy z ASD z poprzednich lat. Oczywiście nie ma gwarancji, że przyszłe egzaminy będą w jakikolwiek sposób przypominać egzaminy wcześniejsze.
- aisd_egzamin20170927
- aisd_egzamin20170912
- aisd_egzamin20170627
- aisd_egzamin20150615
- aisd_egzamin20150915
- aisd_egzamin20140904b
- aisd_egzamin20140904a
- aisd_egzamin20140530
- aisd_egzamin20140210_corr
- aisd_egzamin20140204_corr
W zadaniach mogą wystąpić drobne błędy, które były korygowane podczas egzaminu.
ASD – sortowania
Oto przykładowe implementacje sortowań, które omawialiśmy na wykładzie. Mogą je Państwo skompilować np. poleceniem „g++ plik.cpp”.
Na końcu funkcji main() znajduje się linijka odpowiedzialna za oczekiwanie na wciśnięcie klawisza. Trzeba odkomentać tę linijkę, która odpowiada systemowi operacyjnemu, w którym Państwo pracują.