Logic

Lecturer:

Jaroslav Tišer (gar.)

Tutor:

Jaroslav Tišer (gar.), Martin Bohata, Alena Gollová, Anna Kalousová, Libor Nentvich

Supervisor:

Department of Mathematics

Synopsis:

Requirements:

Syllabus of lectures:

Syllabus of tutorials:

Study Objective:

Study materials:

Note:

Time-table for winter semester 2011/2012:

Time-table is not available yet

Time-table for summer semester 2011/2012:

	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	roomT2:A4-202a Nentvich L. 11:00–12:30 (lecture parallel1 parallel nr.101) Dejvice UcebnaroomT2:A4-202a Nentvich L. 12:45–14:15 (lecture parallel1 parallel nr.102) Dejvice UcebnaroomT2:A4-202a Nentvich L. 14:30–16:00 (lecture parallel1 parallel nr.103) Dejvice UcebnaroomT2:A4-202a 16:15–17:45 (lecture parallel1 parallel nr.104) Dejvice Ucebna
Tue	roomT2:A4-205 Bohata M. 09:15–10:45 (lecture parallel1 parallel nr.105) Dejvice UčebnaroomT2:A4-205 Bohata M. 11:00–12:30 (lecture parallel1 parallel nr.106) Dejvice UčebnaroomT2:D3-209 Tišer J. 12:45–14:15 (lecture parallel1) Dejvice Posluchárna
Fri	roomZ4:B3-218 Bohata M. 09:15–10:45 (lecture parallel1 parallel nr.108) Zikova ulice PoslucharnaroomZ4:B3-218 Bohata M. 11:00–12:30 (lecture parallel1 parallel nr.107) Zikova ulice Poslucharna
Thu	room 09:15–10:45 (lecture parallel1 parallel nr.109) room 11:00–12:30 (lecture parallel1 parallel nr.110)
Fri

The course is a part of the following study plans:

• Společný 1. ročník (STM-A7B) (compulsory course in the program)
• Inteligentní systémy (STM-A7B) (compulsory course in the program)
• Manažerská informatika (STM-A7B) (compulsory course in the program)
• Softwarové inženýrství (STM-A7B) (compulsory course in the program)
• Web a multimedia (STM-A7B) (compulsory course in the program)