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,

self-study – 24 hours

Language of study


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

  • basics of formal languages used in mathematics, computer sciences, data science, mathematical linguistics, etc.;
  • proofs and checking of the validity of arguments and the input data for errors and invalidity;
  • performing inductive reasoning procedures in scientific research and professional activity;
  • learning theory and using several techniques of formal and informal proofs within the formal systems, such as ‘Gentzen-style’ Sequent Calculus; ‘Fitch-style’ proofs; Tableaux methodology; Automatic resolution systems, etc.;
  • improving operating skills concerning the concepts of models for the formal systems.

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


Скачати оригінали документів