University of Warsaw - Central Authentication System

(in Polish) Logic C

General data

Course ID:	3800-ISP-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:	(unknown)
Name in Polish:	Logic C
Organizational unit:	Faculty of Philosophy
Course groups:	(in Polish) Przedmioty obowiązkowe, International Studies in Philosophy, studia stacjonarne, pierwszego stopnia
ECTS credit allocation (and other scores):	6.00 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.
Language:	English
Type of course:	obligatory courses
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:	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:	written exam Acceptable number of missed classes without formal explanation: 2

Classes in period "Winter semester 2023/24" (past)

Time span:	2023-10-01 - 2024-01-28	Selected timetable range: weekly course term Navigate to timetable MO TU W TH FR TUT
Type of class:	Tutorial, 45 hours, 30 places more information
Coordinators:	Cezary Cieśliński
Group instructors:	Cezary Cieśliński
Students list:	(inaccessible to you)
Examination:	Course - Examination Tutorial - Examination

Classes in period "Winter semester 2024/25" (future)

Time span:	2024-10-01 - 2025-01-26	Selected timetable range: weekly course term Navigate to timetable
Type of class:	Tutorial, 45 hours, 30 places more information
Coordinators:	Cezary Cieśliński
Group instructors:	Cezary Cieśliński
Students list:	(inaccessible to you)
Examination:	Course - Examination Tutorial - Examination

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