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
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
Oto kolokwia, które pisali Państwo na ćwiczeniach z ASD:
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.
W zadaniach mogą wystąpić drobne błędy, które były korygowane podczas egzaminu.
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ą.
Tutaj znajdą Państwo moje poprzednie egzaminy z Elementów Logiki i Teorii Mnogości.
Egzamin z 31.01.2017: elt_egzamin20170131
Egzamin z 07.03.2017: elt_egzamin20170307
Szanowni Państwo,
poniżej mogą Państwo pobrać zadania, które rozwiązywali Państwo podczas pierwszego kolokwium oraz zadania treningowe przed egzaminem.
Kolokwia (wersje a,b i c): kolokwium20161206a, kolokwium20161206b, kolokwium20161206c.
Przykładowy egzamin: egzaminprzykladowy
Przypominam, że egzamin piszemy w sali A116 (bud. 21), 31 stycznia od godz. 13 do 15.
Pozdrawiam,
Konrad Zdanowski
Uniwersytet Kardynała Stefana Wyszyńskiego nie ponosi
odpowiedzialności za treść zamieszczonych tu materiałów. Treści i
opinie zawarte na tych podstronach są prywatnym zdaniem ich autorów i
nie stanowią oficjalnego stanowiska Uniwersytetu Kardynała Stefana
Wyszyńskiego.
Copyright © 2024 UKSW Wszelkie prawa zastrzeżone
Informacja o cookies