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

Mathematical Structures in Computer Science

Login to KOS for course enrollment Display time-table
Code Completion Credits Range Language
MI-MSI Z,ZK 4 2+1 Czech
Lecturer:
Jan Starý (guarantor)
Tutor:
Jan Starý (guarantor)
Supervisor:
Department of Applied Mathematics
Synopsis:

Mathematical semantics of programming languages.

Data types as continous lattices, Scott topology.

Procedures as continuous mappings.

Lambda calculus and functional languages.

Introuction to category theory.

Requirements:

Basic courses on programming and algebra.

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

S. Abramsky, A. Jung, Domain Teory

A. Asperti, G. Longo, Categories, Types and Structures

M. A. Arbib, E. G. Manes, The Categorial Imperative

G. Birkhoff, Lattice Theory

L. S. Bobrow, M. A. Arbib, Discrete Mathematics

H. Herrlich, G. E. Strecker, Category Theory

E. G. Manes, Categorial Theory Applied to Computation and Control

S. Mac Lane, G. Birkhoff, Algebra

S. Mac Lane, Categories for the Working Mathematician

B. C. Pierce, Basic Category Theory for Computer Scientists

D. Scott, Data types as lattices

Note:
Further information:
http://users.fit.cvut.cz/~staryja2/MIMSI/
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
roomT9:301
Starý J.
09:15–10:45
(lecture parallel1)
Dejvice
NBFIT učebna
roomT9:301
Starý J.
11:00–12:30
EVEN WEEK

(lecture parallel1
parallel nr.101)

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