## Computer Science department

Phone: 428-42-33
### The Head of the Department - professor Boris A. Novikov

### Lecturers

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

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 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. A. A. Kubenskii
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

- 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

Assistant R. S. Poborchii
Data Representation
- Special Computer Praxis

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".