Братчиков Игорь Леонидович

Доктор физико-математических наук, профессор кафедры математической теории микропроцессорных систем управления СПбГУ. Преподавательская деятельность: Технология программирования, общий курс, Теория формальных языков и трансляций, курс по выбору, Введение в искусственный интеллект, специальный курс, Математическая логика и теория алгоритмов, специальный курс, Программная архитектура, специальный курс. Области научных интересов: Теория формальных языков и грамматик; искусственный интеллект; автоматизированные обучающие системы. Конференции: 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.

---