Russian version Russian version
Russian version


Info M.A.Taitslin. DISCRETE MATHEMATICS
Program. Russian
Boolean functions. Textbook. Russian
Graphs. Textbook. Russian
Finite automata. Textbook. Russian. PostScript format



Info THEORY OF AUTOMATA




Info ALGEBRAIC FOUNDATIONS OF THEORY OF CODDING




Info ALGEBRA




Info MATHEMATICAL LOGIC AND THEORY OF ALGORITHMS


UNDECIDABILITY OF FINITE MODEL THEORY.
Textbook and exercises



EHRENFEUCHT GAMES. INCOMPLETENESS OF FO FOR PTIME
Textbook



RESOLUTION.
Textbook



A.P.Stolboushkin and M.A.Taitslin,
MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE
Textbook and exercises
(PostScript format, Russian)

COOK THEOREM




Info MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE

A.P.Stolboushkin and M.A.Taitslin,
MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE
Textbook and exercises
(PostScript format, Russian)

COOK THEOREM




Info DATABASE THEORY




Info DATABASES




Info HTML







Last updated: May 9, 2009