Department that provides study |
Philosophy of Faculty of Sociology and Law |
Possible limitations |
Students studying in English-language educational programs are of the highest precedence. Quantitative limit is 50 persons per semester |
Level of higher education |
First (bachelor's) |
Specialties for which the course is adapted |
For all specialties (except 281 Public administration) |
Year of study, semester |
2 year, fall or spring semester |
Course total scope and hours distribution of classroom work and self-study |
2 credits ECTS – 60 hours classroom classes: lectures – 18 hours, seminars – 18 hours, |
Language of study |
English |
Requirements for begin studying the course |
General knowledge within the domain of secondary education |
What will be studied |
automated reasoning; natural deduction; Artificial Intelligence (AI) research and development; theory and practice of proofs; formal modeling theory and practice; metamathematics; theories of truth; patterns of human thought (up to some meta-theoretical aspects concerning logic programming and introduction to knowledge bases, expert systems and knowledge representation methods) |
Why is this interesting / worth exploring |
The course content is made up to be comprehensible regardless the students specialization and educational program. Within the range of similar courses, this one deals not with the logic for the Law students only but offers the ways of its practical implementation for technical sciences, natural sciences, arts and humanities, maths and computer science. The content of the course is reviewed and improved regularly. The textbooks and supplementary materials used by instructor are always up to date (none of such is published earlier then 2011). |
What can you learn |
|
How to use the acquired knowledge and skills |
Performing formal proofs and refutations in mathematical sciences; use of formal metalanguages. Analysis of information. Reasoning within the framework of reliable inferential patterns. Basic insights into logic programming paradigm. |
Information support of the course |
Textbook (printed and electronic edition) |
Semester assessment |
Test |
Скачати оригінали документів