Logo ČVUT
CZECH TECHNICAL UNIVERSITY IN PRAGUE
STUDY PLANS
2018/2019

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
Lecturer:
Jan Starý (guarantor)
Tutor:
Jan Starý (guarantor)
Supervisor:
Department of Applied Mathematics
Synopsis:

The course extends and deepens the study of topics touched upon in the basic logic course. Using the unification algorithm and the resolution method we show the link to logic programming. Using set theory, arithmetics, and simple algebraic theories as examples, we present applications of mathematical logic in mathematics and computer science.

Requirements:

Basic course in predicate logic.

Syllabus of lectures:
Syllabus of tutorials:
Study Objective:
Study materials:

T. Jech: Set Theory

J. Barwise: Handbook of Mathematical Logic

Note:
Time-table for winter semester 2018/2019:
Time-table is not available yet
Time-table for summer semester 2018/2019:
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
Fri
Thu
roomT9:343
Starý J.
09:15–10:45
(lecture parallel1)
Dejvice
NBFIT učebna
roomT9:343
Starý J.
11:00–12:30
EVEN WEEK

(lecture parallel1
parallel nr.101)

Dejvice
NBFIT učebna
roomT9:343
Starý J.
11:00–12:30
ODD WEEK

(lecture parallel1
parallel nr.102)

Dejvice
NBFIT učebna
Fri
The course is a part of the following study plans:
Data valid to 2019-05-22
For updated information see http://bilakniha.cvut.cz/en/predmet5069606.html