Russian version
M.A.Taitslin. DISCRETE MATHEMATICS
Program. Russian
PostScript format
,
PDF format
Boolean functions. Textbook. Russian
Chapter 1 CONSTRACTION OF REDUCED DNF
PostScript format
,
PDF format
Chapter 2 CLOSED CLASSES
PostScript format
,
PDF format
Chapter 3 POST'S THEOREM
PostScript format
,
PDF format
Graphs. Textbook. Russian
PostScript format
,
PDF format
Finite automata. Textbook. Russian. PostScript format
Chapter 1 MAPPING WITHOUT ANTICIPATION
Chapter 2 FINITE AUTOMATA
Chapter 3 AUTOMATA LANGUAGES
Chapter 4 EXAMPLES
Chapter 5 CONGRUENCES OF A FINITE INDEX
Chapter 6 CONTEXT-FREE GRAMMARS
THEORY OF AUTOMATA
Exam questions. Text document. Russian
Problems for research. Text document. Russian
ALGEBRAIC FOUNDATIONS OF THEORY OF CODDING
Exam questions. Word document. Russian
ALGEBRA
Exam questions. Word document. Russian
MATHEMATICAL LOGIC AND THEORY OF ALGORITHMS
Program. pdf document. Russian
Program. Word document. Russian
Exam questions. Word document. Russian
UNDECIDABILITY OF FINITE MODEL THEORY.
Textbook and exercises
A.P.Stolboushkin, M.A.Taitslin. Undecidability of finite model theory (pdf format, English)
A.P.Stolboushkin, M.A.Taitslin. Undecidability of finite model theory (pdf format, Russian)
EHRENFEUCHT GAMES. INCOMPLETENESS OF FO FOR PTIME
Textbook
M.A.Taitslin. Ehrenfeucht games. Incompleteness of FO for PTIME (pdf format, Russian)
RESOLUTION.
Textbook
M.A.Taitslin. Resolution (pdf format, Russian)
A.P.Stolboushkin and M.A.Taitslin,
MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE
Textbook and exercises
(PostScript format, Russian)
Chapter 1 Finite Automata and Regular Languages
Chapter 2 Push-Down Automata and Context-Free Languages
Chapter 3 Predicate Calculus
Chapter 4 Programs, Recursive Functions, and Turing Machines
Chapter 5 Undecidable Problems and Incompleteness of arithmetic
Chapter 6 Computational Complexity of algorithms and
chapter 7 PTIME Computable Global Predicates
COOK THEOREM
M.A.Taitslin, Cook theorem (PostScript format, Russian)
MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE
Program. html document. Russian
THE FIRST PART OF EXAM: Program
THE SECOND PART OF EXAM: Program
A.P.Stolboushkin and M.A.Taitslin,
MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE
Textbook and exercises
(PostScript format, Russian)
Chapter 1 Finite Automata and Regular Languages
Chapter 2 Push-Down Automata and Context-Free Languages
Chapter 3 Predicate Calculus
Chapter 4 Programs, Recursive Functions, and Turing Machines
Chapter 5 Undecidable Problems and Incompleteness of arithmetic
Chapter 6 Computational Complexity of algorithms and
chapter 7 PTIME Computable Global Predicates
COOK THEOREM
M.A.Taitslin, Cook theorem (PostScript format, Russian)
DATABASE THEORY
Program. Word document. Russian
Exam1. Program. Russian
Exam2. Program. Russian
Final official exam. Program. Russian
M.A.Taitslin, DATABASE THEORY. TEXTBOOK (PostScript format, Russian)
DATABASES
Program. Word document. Russian
Rules to produce the personal project. Russian
SQL.1
SQL.2
SQL.3
DataLog
HTML
M.A.Taitslin, HTML TEXTBOOK (html format, Russian)
Send e-mail
Homepages
Last updated: May 9, 2009