Logic - ASZKN2LO19
| Title: |
Logika |
| Guaranteed by: |
Deans Office (21-DEK) |
| Faculty: |
Faculty of Arts |
| Actual: |
from 2019 |
| Semester: |
both |
| Points: |
0 |
| E-Credits: |
0 |
| Examination process: |
|
| Hours per week, examination: |
0/0, STEX [HT] |
| Capacity: |
winter:unknown / unknown (unknown)
summer:unknown / unknown (unknown) |
| Min. number of students: |
unlimited |
| 4EU+: |
no |
| Virtual mobility / capacity: |
no |
| Key competences: |
|
| State of the course: |
taught |
| Language: |
Czech |
| Teaching methods: |
full-time |
| Teaching methods: |
full-time |
| Level: |
|
| Note: |
can be fulfilled in the future
you can enroll for the course in winter and in summer semester |
|
|
| Order |
Course title |
| Topic 1 (TO1) |
| 1 |
Classical logic |
| Topic 2 (TO2) select 1 |
| 1 |
Mathematical structures |
| 1 |
Set theory |
| 1 |
Philosophy of mathematics |
| 1 |
Non-classical logic |
| 1 |
Fundamentals of set theory and mathematics |
| 1 |
Theory of recursive functions and sets |
| 1 |
Theory of proofs |
|
