Computer Science department
Phone: 428-42-33
The Head of the Department - Kosovskii Nikolai K.
Lecturers
Prof. N. K. Kosovskii
personal page http://www.math.spbu.ru/user/kos/kos.html
- Verification of Algorithms
- Discrete Analysis
- Mathematical Logic
- Search for Solutions
- NP-Complete Problems
- Recursive Logical Programming
senior lecturer O. V. Alimova.
- Informatics and Practice on Programming
- Computer Practice
- Data Representation
Ass. prof. N. B. Ampilova
- Informatics and Technology of Programming
- Computer Mathematics
- Practice of Programming
- Technology and Practice of Programming
Prof. M. I. Bashmakov
- Algebra and Theory of Numbers
- Introduction to Teaching Systems
- Informational Teching Technologies
- Informational Technologies
Prof. I. L. Bratchikov
- Theory of Languages and Transactions
- Languages of System Programming
- Language Processors
Senior lecturer A. S. Gerasimov, personal page:
http://gas-teach.narod.ru/en
- Mathematical logic
- Automated theorem proving
- Programming
- Structures and algorithms for computer data processing
Ass. prof. E'. A. Girsh
- Introduction to Structural Theory of Complexity
- Programming
- Structural Theory of Complexity
Assistant N. G. Grigor'ev
- Theory of Languages and Translations
- Languages and Systems of Programming
Ass. prof. M. V. Dmitrieva
- Introduction to Theory of Artificial Intelligence
- Informatics and Practice of Programming
- Special computational Praxis
Ass. prof L. A. Kerov
Ass. prof. B. Yu. Konev
- Additional Chapters of Artificial Intelligence Theory
- Informatics and Programming
- Search for Logical Deduction in Problems on Artificial Intelligence
Ass. Prof. V. A. Kostin
- Analysis of Algorithms
- Discrete Mathematics
- Informatics
- Concrete Mathematics
- Computer Practice
Prof. M. A. Krasnoperova
- Russian Language and Style of Speaking
Ass. prof. A. A. Kubenskii
- Informatics
- Informatics and Practice of Programming
- Data Representation
- Functional Programming
Senior lecturer V. G. Kuz'menko
- Informatics and Practice of Programming
- Data Representation
- Programming
- Programming in the Language C
- Special Computational Praxis
Ass. prof. Yu. A. Lavrov
- Mathematical Packets
- Programming in VB
- Special Computational Praxis
Prof. B. K. Martynenko
- Additional Chapters of theory of Formal Languages
- Computer Practice
- Theory of Languages and Translations
- Technology of Translations
Prof. B. A. Novikov
- Models of Data Bases
- Data Representation
- Request Processing in Data Bases
- Transact Processing in Data Bases
- Optimization od Requests in Data Bases
- Optimization Theory in Data Bases
Senior lecturer E. V. Novikova.
- Informatics and Programming
Senior lecturer I. O. Odintsov
- Operational System UNIX
- Operational Systems and Computer Networks
- Languages and Systems of Programming
Prof. V. P. Orevkov
- Discrete Mathematics
- Mathematical Logic
- Theory of Logical Deduction
Senior lecturer M. V. Pavlova
- Informatics and Programming Practice
- Computer Practice
- Programming
Assistant R. S. Poborchii
Data Representation
- Special Computer Praxis
Prof. V. O. Safonov,
- Compilers for PC and Working Stations
- Technology of Programming
- Expert Systems
- Program Language Java
Senior lecturer M. L. Simuni
- Practice on Computers
- Program Language C++
Ass. prof. I. P. Solov'ev
- Informatics and Practice of Programming
- Logical Programming
- Data Representation
- Special Computational Praxis
- Formal Specifications of Computational Systems
Ass. prof. A. V. Tishkov
- Informatics and Programming
- Packet LOG SORVER
Ass. prof A. L. Tulup'ev
- Informatics and Programming
Senior lect. L. N. Fedorchenko
Senior lect. T. A. Shubochkina
- Informatics and Practice Programming
- Computer Practice
- Date Representation
The department is a graduate department on the speciality "Software of Computers and
Automatic Systems".