Логико-математические и технологические аспекты программирования

Математико-механический факультет

Кафедра информатики.

Направление научных исследований, проводимых в рамках научно-педагогической школы:

по рубрикатору ГРНТИ:

27.47.21 - теория математических машин и программирования, 27.47.23 - математические проблемы искусственного интеллекта, 28.25.23 - теория конечных автоматов и формальных языков.

по рубрикатору ВАК:

05.13.11 - математическое и программное обеспечение вычислительных машин, комплексов, систем и сетей, 05.13.17 - теоретические основы информатики, 01.01.09 - математическая кибернетика.

Основатели научно-педагогической школы.

Марков Андрей Андреевич, д.ф.-м.н, проф., член-корр. АН СССР (ЛГУ, 1936-1953 гг.).

Лавров Святослав Сергеевич, д.т.н, проф., член-корр. АН СССР, лауреат Ленинской премии (ЛГУ, 1971-1988 гг.)

Основные научные труды основателей школы:

Марков А.А. Теория алгорифмов. Тр. матем. ин-та АН СССР, т.42, 1954.Марков А.А. Неразрешимые проблемы гомеоморфии. Успехи мат. наук, т.13, вып.4(82), 1958, 213-216.Марков А.А. О нормальных алгорифмах, связанных с вычислениями булевых функций. Известия АН СССР, 1967, т.31, н.1, 161-208.

Лавров С.С. Введение в программирование. Москва, Наука, 1973.

Лавров С.С. Основные понятия и конструкции языков программирования. Москва, Финансы и Статистика, 1982г.

Руководители научно-педагогической школы:

Косовский Николай Кириллович, дфмн, проф.

Сафонов Владимир Олегович, дтн, проф.

Цейтин Григорий Самуилович, дфмн, снсОсновные научные труды, в которых отражены достижения научно-педагогической школы:

Марков А.А. Теория алгорифмов. Тр. матем. ин-та АН СССР, т.42, 1954.Лавров С.С. Введение в программирование. Москва, Наука, 1973.

Косовский Н.К. Основы теории элементарных алгоритмов. ЛГУ, 1987.

Сафонов В.О. Языки и методы программирования в системе "Эльбрус". -М.: Наука, 1989.

Г.С. Цейтин. О сложности вывода в исчислении высказываний. Записки научных семинаров ЛОМИ, 8, "Наука", Л., 1968, 234-259

Коллектив научно-педагогической школы:

Преподавательсуий состав - 21 человек, из них проф. - 5 чел., доц. - 8 чел., ст.преп. - 8 чел.

Сотрудники научных лабораторий - 7 чел., из них докторов наук - 1 чел., канд. наук - 1 чел.Основные научные результаты, полученные в течение последних пяти лет:

Косовский Н.К.

Разработаны нечеткие логики (расширения двузначных), предназначенные для использования в противоречивых базах знаний. Разработаны разрешающие алгоритмы для новых логик. Доказаны оценки сложности для этих алгоритмов. Доказана разрешимость и получены верхние оценки разрешающих алгоритмов для универсальных позитивных теорий колец рациональных и k-ично рациональных чисел при k≥2.

Сафонов И.О.

Разработана новая технология обновления (reengineering) компиляторов и ряд новых эффективных методов компиляции. Результаты работы применены в промышленных компиляторах для SPARC-станций и оформлены в виде 4 патентов России и США. Разработана оригинальная технология и набор инструментальных средств тестирования библиотек на языке Java.

За цикл научных работ "Новые технологии создания компиляторов, экспертных систем и инструментальных средств на базе языка Java" получил премию правительства Санкт-Петербурга в 1999 г.

Цейтин Г.С.

Предложена система "объектно-ориентированной логики", не основанная на традиционной логике предикатов и позволяющая эффективно производить логический вывод и преобразование данных путем применения общих правил к частным случаям (имеется экспериментальная машинная реализация).

Подготовка специалистов в рамках научно-педагогической школы:

Специалисты - Программное обеспечение вычислительной техники и автоматизированных систем, 220400.

Аспиранты - Математическое и программное обеспечение вычислительных машин, комплексов, систем и сетей, 05.13.11, и Теоретические основы информатики, 05.13.17

198904, Санкт-Петербург, Петродворец, Библиотечная пл.2, СПбГУ, мат.-мех. факультет, кафедра информатики

Телефон (812) 428-42-33

Факс (812) 428-70-39

E-mail solo@is1483.spb.edu