БРАТЧИКОВ Игорь Леонидович
|
Доктор физико-математических наук, профессор кафедры математической теории микропроцессорных систем управления Комн. 426E-mail: Igor.Bratchikov@pobox.spbu.ru |
Образование
| 1952-1957 | Математико-механический факультет ЛГУ |
| 1957 | Защита кандидатской диссертации «Методы сокращения информационных таблиц большого объёма» |
| 1988 | Защита докторской диссертации «Методы описания и анализа формальных языков» |
Преподавательская деятельность
Технология программирования, общий курсТеория формальных языков и трансляций, курс по выбору
Введение в искусственный интеллект, специальный курс
Математическая логика и теория алгоритмов, специальный курс
Программная архитектура, специальный курс
Области научных интересов
Теория формальных языков и грамматик; искусственный интеллект; автоматизированные обучающие системы.
Конференции
VII Санкт-Петербургская международная конференция "Региональная информатика-2000" (С.-Петербург, 2000), Всероссийская научно-методическая конференция "Интернет и современное общество" (С.-Петербург, 1999), CASC'98 (С.-Петербург, 1998).
Научные публикации последних лет
- Братчиков И.Л. Применение метода абстракций для поиска логического вывода в системах искусственного интеллекта // Тр. СПИИРАН. 2002. Т. 1.
- Анисимова И.Н. , Братчиков И.Л. Эффективный метод построения логических выводов в стационарных базах знаний // Ученые записки ЛГОУ. Сер. "Математика и информатика". 1998. Т. 1.
- Bratchikov I.L. Dynamic pursuit game DIP SONOR and its computerization // Nova J. of Mathematics, Game Theory and Algebra. 1996. Vol. 6, no. 5.
- Анисимова И.Н., Братчиков И.Л. Формально-грамматическая модель метода резолюций для исчисления высказываний // Вестник С.-Петерб. ун-та. 1996. Сер. 1, вып. 3.
Учебно-методические материалы
- Баранова Е.В., Братчиков И.Л. Практическое использование среды MS Excel в профессиональной деятельности. СПб.: СПбГУ, 1997. 90 с.
- Bratchikov I.L., Grafeeva N.G. Smartphone Reference Book. Zurich: Novavox AG, 1996. 84 p.
Руководство докторантами и аспирантами
Под руководством И.Л. Братчикова выполнены и успешно защищены 1 докторская и 18 кандидатских диссертаций.
Награждения
2000 Millenium Medal of Honor (American Biographical Institute).
