...PROFESSOR...

Peretyat'kin Mikhail: *Skills as a professor*:

*Read specialized courses on "Logic" speciality:*

Model theory,

Algorithm theory,

Boolean algebras,

Constructive Boolean algebras,

Superatomic Boolean algebras,

Algorithmic problems in Logic,

Decidable theories and constructive models,

Finitely axiomatizable theories

*Read Lectures on General University courses:*

Algebra,

Linear Algebra,

Fundamentals of Pure Mathematics,

Probability theory and statistics,

Mathematical Logic,

General Algorithm Theory,

Discrete mathematics,

Logic programming and Artificial Intelligence,

Fundamental structures of Computer science

Grammars, formal languages and finite automata

Context-free languages and lexical parsers

Prolog programming language and logic programming

C/C++ Programming Language

*Knowing programming languages and operating systems: *

Dos, Windows 98/2000/XP, Linux Mandrake/Mandriva, Slackware, Red Hat, FreeBSD, Latex Emtex/Miktex, Postscript, Ghostscript/Ghostview, Turbo Prolog, GNU-prolog, SWI-prolog, and Visual Prolog, Standard C/C++, Borland C++ 5.5.1, MinGW, Qt 4.4.3, Open GL, CBuilder 6/7, MS Visual C++.6/NET, Pascal and Delphi, Visual Basic 6/NET, HTML, XML, Java, JSP/Servlet, Apache Tomcat.

*Hand-made software:*

Professor's computer-as-assistant toolkit, titled *Educational
Exercise Creation System***. **The EEC is a powerful computer
system based on *Creative Artificial Intelligence* principles. It is
attended to generate series of similar exercises, putting them in cards;
moreover, cards with answers are parallelly compiled. Output can be directed
either in LaTeX document or in PDF-file, which then can be viewed or printed out
as high-quality paper document, and used in teaching process. *Demonstration*: eec.htm

*Address*: Professor
Peretyat'kin M.G., Institute of Mathematics, 125 Pushkin Street, 050010 Almaty,
Kazakhstan

Homepage: HOME