The chair of mathematical logic and logical programming

Chair's manager
	Ashaev Igor Victorovich	-	Ph.D. in Mathematics & Physics, associate professor
Staff
	Remeslennikov Vladimir Nikanorovich	-	D.Sci. in Mathematics & Physics, professor
	Lopatkov Michael Gennadievich	-	Ph.D. in Mathematics & Physics, associate professor
	Lavrov Dmitry Nikolaevich	-	Ph.D. in Mathematics & Physics, associate professor
	Ashaeva Julia Mihaylovna	-	Ph.D. in Mathematics & Physics, senior instructor
	Bagenova Galina Alexandrovna	-	Ph.D. in Mathematics & Physics, senior instructor
	Tumentsev Evgeny Alexandrovich	-	the assistant
	Tumentseva Gulnaz Chulpanovna	-	the assistant
	Rybalov Alexandr Nikolaevich	-	Ph.D. in Mathematics & Physics, senior instructor
	Fillipov Alexsey Vladimirovich	-	the assistant
	Frenkel Elizaveta Vladimirovna	-	the assistant

Main scientific interests

• combinatorial group theory
• algebraic geometry over groups
• computability and complexity over algebraic structures (generalized computability)
• model theory of HF-logic
• creating of software for support of fundamental research and teaching software

Courses

• discrete mathematics and mathematical logic
• algorithm theory
• computers and informatics
• object-oriented programming
• methods of compilation
• model theory
• combinatorial group theory

Scientific magazines

• Algebra and logika
• Siberian mathematical journal
• Success of matematical scienses
• Bulletin of Omsk University
• Mathemetical notice
• Intern. Journal of Algebra and Computation
• Ill. Journal of Mathematics