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