Logic C 3800-ISP-L1C
Kurs wprowadza podstawowe pojęcia i techniki współczesnej logiki. W szczególności, wprowadzone zostają systemy dowodzenia (aksjomatyczne i dedukcji naturalnej), elementy teorii zbiorów i metalogiki.
Program obejmuje następujące tematy:
1. Systemy dowodzenia dla logiki pierwszego rzędu (aksjomatyczne i dedukcji naturalnej)
2. Indukcja matematyczne i jej równoważne wersje (zasada minimum, indukcja porządkowa)
3. Elementy teorii mnogości
4. Semantyka języków pierwszego rzędu.
Rodzaj przedmiotu
Koordynatorzy przedmiotu
Efekty kształcenia
A student completing the course:
KNOWLEDGE
1. Knows the basic logical terminology in English
2. Understands the basic rules of constructing proofs
3. Understands the basic ideas within proof theory, set theory and metalogic
SKILLS
1. Is able to follow an oral presentation of formal arguments
2. Formulates basic theorems and lemmas
SOCIAL COMPETENCE
1. Is aware of the scope of his own knowledge and skills
2. Understands and appreciates the need of learning new skills and professional development
Kryteria oceniania
written exam
Acceptable number of missed classes without formal explanation: 2
Literatura
Ebbinghaus, H; Flum, J; Thomas, W., Mathematical Logic, Berlin, New York, Springer-Verlag, 1994.
Enderton, H. A Mathematical Introduction to Logic, Academic Press, 2002.
Suppes, P. Axiomatic Set Theory, New York, Dover, 1972.
Więcej informacji
Dodatkowe informacje (np. o kalendarzu rejestracji, prowadzących zajęcia, lokalizacji i terminach zajęć) mogą być dostępne w serwisie USOSweb: