Logic C

General data

Course ID:	3501-WISIP-L1C
Erasmus code / ISCED:	08.1 Kod klasyfikacyjny przedmiotu składa się z trzech do pięciu cyfr, przy czym trzy pierwsze oznaczają klasyfikację dziedziny wg. Listy kodów dziedzin obowiązującej w programie Socrates/Erasmus, czwarta (dotąd na ogół 0) – ewentualne uszczegółowienie informacji o dyscyplinie, piąta – stopień zaawansowania przedmiotu ustalony na podstawie roku studiów, dla którego przedmiot jest przeznaczony. / (0223) Philosophy and ethics The ISCED (International Standard Classification of Education) code has been designed by UNESCO.
Course title:	Logic C
Name in Polish:	Logic C
Organizational unit:	Institute of Philosophy
Course groups:
ECTS credit allocation (and other scores):	(not available) Basic information on ECTS credits allocation principles: the annual hourly workload of the student’s work required to achieve the expected learning outcomes for a given stage is 1500-1800h, corresponding to 60 ECTS; the student’s weekly hourly workload is 45 h; 1 ECTS point corresponds to 25-30 hours of student work needed to achieve the assumed learning outcomes; weekly student workload necessary to achieve the assumed learning outcomes allows to obtain 1.5 ECTS; work required to pass the course, which has been assigned 3 ECTS, constitutes 10% of the semester student load. view allocation of credits
Language:	English
Type of course:	obligatory courses
Prerequisites (description):	Basic knowledge of the sentential calculus, predicate calculus and set theory from the course Logic A and B
Mode:	Classroom
Short description:	The course is a continuation of Logic A and B from the first year of studies. It covers elements of set theory and metalogic.
Full description:	The lecture introduces basic notions and techniques of modern logic. In particular, it gives general information about proof systems (axiomatic and natural deduction systems), set theory and metalogic. The program covers the following topics: 1. Proof systems for first order logic (axiomatic and natural deduction systems) 2. Mathematical induction and its equivalent versions (least number principle, ordinal induction) 3. Elements of set theory 4. Semantics for first-order languages.
Bibliography:	(in Polish) 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.
Learning outcomes:	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
Assessment methods and assessment criteria:	FROM 2020/2021 written exam Permissible number of absences: 2 TO 2019/2020 clasroom written tests, final oral exam

This course is not currently offered.

Course descriptions are protected by copyright.
Copyright by University of Warsaw.