Classical Logic - opis przedmiotu

Informacje ogólne

Nazwa przedmiotu	Classical Logic
Kod przedmiotu	08.1-WH-UZ-F-CL-1
Wydział	Wydział Humanistyczny
Kierunek	WH - oferta ERASMUS / Filozofia
Profil	-
Rodzaj studiów	Program Erasmus pierwszego stopnia
Semestr rozpoczęcia	semestr zimowy 2024/2025

Informacje o przedmiocie

Semestr	2
Liczba punktów ECTS do zdobycia	5
Typ przedmiotu	obowiązkowy
Język nauczania	angielski
Sylabus opracował	prof. dr hab. Tomasz Skura

Formy zajęć

Forma zajęć	Liczba godzin w semestrze (stacjonarne)	Liczba godzin w tygodniu (stacjonarne)	Liczba godzin w semestrze (niestacjonarne)	Liczba godzin w tygodniu (niestacjonarne)	Forma zaliczenia
Wykład	30	2	-	-	Egzamin
Ćwiczenia	30	2	-	-	Zaliczenie na ocenę

Cel przedmiotu

Mastering basic methods of Classical Logic

None

Classical Propositional Logic (Boolean valuations, tableau rules, axiomatic system).

Classical Predicate Logic (models, tableau rules, axiomatic system).

Lecture; discussion, solving specific problems, presentation.

Opis efektu	Symbole efektów	Metody weryfikacji	Forma zajęć

Participation in the classes, passing the test.

R. M. Smullyan, First-Order Logic.

Zmodyfikowane przez prof. dr hab. Tomasz Skura (ostatnia modyfikacja: 11-12-2024 12:14)