ZČU > Courseware > Předměty po fakultách > Fakulta aplikovaných věd > KMA > ML > O předmětu
Course header (C001) Help

KMA/ML

Text (C021) Help

About the course

According to one of the many definitions, logic is a study of proper reasoning. As a systematic discipline, it was founded by Aristotle in 4th century BC. This course is an opportunity to get to know its modern form, an outcome of the rapid and interesting development of formal logic at the end of the 19th and the beginning of the 20th century. We will discuss the propositional logic, the first-order logic, as well as the famous negative result on the incompleteness of the Peano Arithmetic, known as Gödel's Incompleteness Theorem.
Last updated: 24.09.2008
 
Course basic info (C003) Help

Information about course

Brief information KMA/ML, Introduction to Mathematical Logic
Teaching Winter semester , Summer semester , Lecture 2 [Hours/Week]
Completion Exam, 3 credits,
Course has neither prerequisite nor preclusive nor recommended (for your information) courses...
Image (C008) Help
Diagram ze spisu "Begriffsschrift" Gottloba Fregeho (1879).
Diagram ze spisu "Begriffsschrift" Gottloba Fregeho (1879).
Teacher info (C016) Help
Spacer...
foto
Úsek prorektora pro výzkum a vývoj
Prof. RNDr.
Tomáš Kaiser
DSc.
Email only for registered users!
Phone: 2627
Lecturer's WWW
Portlet edit mode... <<< Back

Timetable

Day from To Abbreviation Room
Tuesday 1:55 PM 3:35 PM KMA/SMP UU-208
Thursday 1:00 PM 3:35 PM KMA/VPDM UU-106

Consultation hours

Week Day from To Room, notes
Každý Úterý 12:50 13:50 UC-230 -- konzultační hodiny na KMA