Logo ČVUT
CZECH TECHNICAL UNIVERSITY IN PRAGUE
STUDY PLANS
2022/2023
UPOZORNĚNÍ: Jsou dostupné studijní plány pro následující akademický rok.

Algebra and Logic

Login to KOS for course enrollment Display time-table
Code Completion Credits Range Language
BI-ALO Z,ZK 4 2P+1C Czech
Garant předmětu:
Jan Starý
Lecturer:
Jan Starý
Tutor:
Jan Starý
Supervisor:
Department of Applied Mathematics
Synopsis:

The course extends and deepens the study of topics touched upon in the basic course in logic.

Requirements:

A basic course in mathematical logic.

Syllabus of lectures:

1. Predicate logic revisited: provability, correctness.

2. The completeness of predicate logic (Gödel's theorem)

3. Henkin completion. Compactness.

4. Prenex form. Skolem functions.

5. Resolution: Skolemization, Unification.

6. Resolution in predicate logic

7. Axioms of set theory.

8. Well orders, ordinal numbers.

9. Ordinals as types of well orders.

10. Axioms of choice, maximality principles.

11. Cardinalities, cardinal numbers.

12. Dedekind completion, real numbers.

Syllabus of tutorials:

1. Provability

2. Consequences of compactness in algebra

3. Skolemization, unification, rezolution.

4. Natural numbers, integers, rationals.

5. AC iff every vector space has a basis.

6. Real numbers.

Study Objective:
Study materials:

J. Barwise: Handbook of Mathematical Logic

K. Kunen: Foundations of Mathematics

T. Jech: Set Theory

Note:
Further information:
https://courses.fit.cvut.cz/BI-ALO/
Time-table for winter semester 2022/2023:
Time-table is not available yet
Time-table for summer semester 2022/2023:
06:00–08:0008:00–10:0010:00–12:0012:00–14:0014:00–16:0016:00–18:0018:00–20:0020:00–22:0022:00–24:00
Mon
Tue
Wed
Thu
Fri
roomTH:A-942
Starý J.
09:15–10:45
(lecture parallel1)
Thákurova 7 (FSv-budova A)
roomTH:A-942
Starý J.
11:00–12:30
EVEN WEEK

(lecture parallel1
parallel nr.101)

Thákurova 7 (FSv-budova A)
The course is a part of the following study plans:
Data valid to 2023-03-27
Aktualizace výše uvedených informací naleznete na adrese https://bilakniha.cvut.cz/en/predmet5069606.html