Logic and Set Theory 510-IS1-1PLTM-23
Class (CW) Academic year 2023/2024

Zaliczenie ćwiczeń na podstawie:

1) dwóch kolokwiów, przy czym z każdego kolokwium należy uzyskać co najmniej 51% punktów,

2) kartkówek (wejściówek).

Skala ocen (zgodnie z regulaminem studiów):

niedostateczny - do 50,99% punktów możliwych do zdobycia

dostateczny - od 51% do 59,99% punktów możliwych do zdobycia,

dostateczny plus - od 60% do 69,99% punktów możliwych do zdobycia,

dobry - od 70% do 79,99% punktów możliwych do zdobycia,

dobry plus - od 80% do 89,99 punktów możliwych do zdobycia,

bardzo dobry - od 90% punktów możliwych do zdobycia.

Opuszczenie przez studenta 6 godzin ćwiczeń (20% zajęć) bez zaświadczenia

lekarskiego stanowi podstawę do ich niezaliczenia.

Duża aktywność na zajęciach skutkuje podwyższeniem oceny o 0,5. Dodatkowo zaliczenie obu kolokwiów w pierwszym terminie daje szanse podniesienia oceny o 0,5.

Spójniki logiczne, klasyczna logika zdań

Rozstrzygalność klasycznej logiki zdań, metoda skrócona

Związek logiki zdań z językiem naturalnym, spójniki nieklasyczne, reguły dowodzenia

Klasyczna logika kwantyfikatorów i jej nierozstrzygalność

Elementarne operacje na zbiorach i dowodzenie własności

Zbiory potęgowe, pary uporządkowane i iloczyny kartezjańskie

Diagramy Venna, dowody i kontrprzykłady

Relacje dwuargumentowe i ich własności

Relacje równoważności i zasada abstrakcji

Funkcje i ich własności, obrazy i przeciwobrazy

Dedukcja naturalna i rozumowanie indukcyjne

Działania uogólnione na zbiorach

ćwiczenia rachunkowe, prace domowe, konsultacje