В статье дан краткий обзор исторического развития, современного состояния и результатов одной из выдающихся отечественных научных и преподавательских школ в области ИТ – кафедры информатики математико-механического факультета Санкт-Петербургского государственного университета, 40-летие которой отмечается в 2010 году.
The article presents an overview of history, modern status and results of one of the most outstanding Russian scientific and university teaching schools of IT - Chair of Computer Science of Faculty of Mathematics and Mechanics, St. Petersburg State University, whose 40-years anniversary is celebrated in 2010.
Ключевые слова: Санкт-Петербургский университет, математико-механический факультет, кафедра информатики, информатика, математическая логика, теория сложности алгоритмов, искусственный интеллект, синтаксический анализ формальных языков, базы данных, информационный поиск, компиляторы, надежные и безопасные вычисления, управление знаниями, экспертные системы, робототехника, Java, .NET.
Keywords: St. Petersburg University, Faculty of Mathematics and Mechanics, Chair of Computer Science, computer science (informatics), mathematical logic, theory of algorithmic complexity, syntax analysis of formal languages, databases, informational retrieval, compilers, trustworthy computing, knowledge management, expert systems, robotics, Java, .NET.