Logika II
Wykłady prof. Andrzeja Wiśniewskiego
Materiały z konwersatoriów dla studentów II roku kognitywistyki:
- 5 października 2010: o wynikaniu logicznym i dowodzeniu w KRZ
- 12 października 2010: KRP: o języku, systemie aksjomatycznym i elementach metalogiki
- 19 października 2010: KRP: o teoriach pierwszego rzędu, niesprzeczności i zupełności
- 26 października 2010: KRP: o interpretacjach, wartościowaniach i wartościach termów
- 9 listopada 2010: KRP: o spełnianiu
- 16 listopada 2010: KRP: o prawdziwości i tautologiczności
- 23 listopada 2010: KRP: o wynikaniu logicznym i podsumowanie semantyki KRP
- 30 listopada 2010: choróbsko; nie ma zajęć
- 7 grudnia 2010: o relacjach
- 14 grudnia 2010: o modalnych rachunkach zdań
- 21 grudnia 2010: o modalnych rachunkach zdań - semantyka typu Kripkego
- 4 stycznia 2011: o modalnych rachunkach zdań - tabele analityczne
- 11 stycznia 2011: kolokwium*
- 18 stycznia 2011: kolokwium poprawkowe (jeśli)*
Minione kolokwium zaliczeniowe
Zadania
wersja strony: 183, ostatnia edycja: 18 Jan 2011 18:15
