Преподаватели


Новиков Федор Александрович

д.т.н.
с.н.с.
Профессор кафедры «Прикладная математика»

Лекционные курсы, семинары и поддержка НИРС


Руководство дипломными и выпускными работами

NСтудентГруппаКвалификация / СтепеньГодТема
1.Мышкин Артем Андреевич43601/2 Бакалавр 2016 Алгоритм построения непересекающихся маршрутов с учетом навигационной ошибки 
2.Тетюхин Артём Сергеевич43601/2 Бакалавр 2016 Система логического вывода для автоматической проверки правильности решения задач студентами 
3.Сергеева Мария Анатольевна63601/3 Магистр 2015 Формализация компетенций ФГОС на примере решения логических задач 
4.Будник Сергей Игоревич43601/2 Бакалавр 2014 Анализ тональности оценочных высказываний 
5.Глинских Людмила Владимировна43601/2 Бакалавр 2014 Описание динамичкского поведения взаимодействующих автоматных объектов 
6.Цуринов Пётр Сергеевич6057/12 Магистр 2013 Применение автоматного метода определения языков предметной области 
7.Лейзарович Екатерина Викторовна43601/2 Бакалавр 2012 Автоматическая генерация запросов к базе данных  
8.Зайцев Дмитрий Викторович43601/2 Бакалавр 2010 Разработка транслятора исходного кода Java в исходный код Objective-C 
9.Фишков Александр Александрович43601/2 Бакалавр 2010 Анализ и реализация методов синтеза программ на модели предметной области 
10.Бойко Владимир Анатольевич63601/3 Специалист 2009 Разработка нотации для моделирования бизнес-процессов 
11.Вега Татьяна Германовна63601/1 Магистр 2009 Разработка многофункционального программного пакета для решения задач исследования малых планет 
12.Карузе Никита Павлович63601/2 Магистр 2009 Представление трехуровней модели бизнес процесса в рамках разработанной компанией SAP AG сервисной архитектуры eSOA 
13.Ким Станислав Валерьевич63601/2 Специалист 2009 Проверка бездефектности моделей бизнес-процессов 
14.Яркоев Константин Евгеньевич63601/2 Специалист 2009 Разработка программной системы статистической оценки нерегулярности хода стандартов времени 
15.Тихонова Ульяна Николаевна63601/2 Магистр 2008 Определение языков программирования интерпретируемыми автоматами 
16.Карузе Никита Павлович43601/2 Бакалавр 2007 Многофакторный анализ данных дифференциальной масс-спектрометрии 
17.Толмачев Андрей Сергеевич63601/2 Магистр 2007 Верификация моделей бизнес-процессов на языке BPDL 
18.Архипов Михаил Юрьевич43601/3 Бакалавр 2006 Исследование эффективности алгоритмов и стратегий оптимального хода для игры в русские шашки 
19.Голубев Дмитрий Анатольевич63601/2 Специалист 2005 Эмулятор смарткарты для авторизации в корпоративной сети 

Основные публикации

 
Монографии
NАвторыНазваниеИзданиеГод
1.Новиков Ф.А. Дискретная математикаСПб.: Питер, 2011, 384 с 2011 
2.Новиков Ф.А., Иванов Д.Ю. Моделирование на UMLНаука и техника 2010 
3.Ф.А. Новиков Дискретная математика для программистовПитер 2008 
4.Новиков Ф.А., Сотскова М.Ф. Microsoft Word 2007 в подлиннике.СПб.: БХВ- Петербург 2007 
5.Ф.А. Новиков. Microsoft Word 2003 в подлиннике.СПб, БХВ-Петербург 2004 
6.Ф.А. Новиков. Дискретная математика для программистов, 2-е изданиеСПб, Питер 2004 
7.Ф.А. Новиков, В.Л. Дорот. Толковый словарь современной компьютерной лексики.СПб, БХВ-Петербург 2004 
8.Дорот В.Л., Новиков Ф.А. Толковый словарь современной компьютерной лексики.СПб, БХВ-С.Петербург 1999 
 
Учебно и научно-методические работы
NАвторыНазваниеИзданиеГод
1.Ф.А.Новиков Символический искусственный интеллект: математические основы представления знаний.М. : Издательство Юрайт, ISBN 978-5-9916-7969-5. 278 с. 2016 
2.Новиков Ф.А. Дискретная математика. Учебник для вузов. 2-е изд. Стандарт третьего поколенияСПб.: Питер, 432 с. 2013 
3.Д. Ю. Иванов, Ф. А. Новиков Формализация моделирования. Использование унифицированного языка моделирования = Using unified modeling language (UML) СПб. : Издательство Политехнического университета 2011 
4.Новиков Ф.А. Дискретная математика для программистов. 3-е издание. Учебник для ВУЗов.СПб.: Питер 2007 
5.Новиков Ф.А., Яценко А.Д. Microsoft Office XP в целом.БХВ-Петербург, СПб 2002 
 
Статьи
NАвторыНазваниеИзданиеГод
1.Atiskov A.Y., Fedorchenko L.N., Vorobiev V.I., Moldovyan N.A., Novikov F.A. Ontology-Based Analysis of Cryptography Standards and Possibilities of Their Harmonization Theory and Practice of Cryptography Solutions for Secure Information Systems. Advances in Information Security, Privacy, and Ethics (AISPE) Book Series, IGI Global 2013 
2.Новиков Ф.А., Андреев Н.Д.  Фабрики прикладного программного обеспечения, управляемые моделями предметных областейИнформационно-управляющие системы, №3, 2013, с. 47–54 2013 
3.Новиков Ф. А., Андреев Н. Д. Инкрементальный предметно-ориентированный процесс разработки прикладного программного обеспеченияИнформационно-управляющие системы, №1, с. 60–66  2012 
4.Новиков Ф.А., Тихонова У.Н. Автоматный метод определения проблемно-ориентированных языков (Часть 1)Информационно-управляющие системы, №6, 2009, стр. 34-40 2010 
5.Новиков Ф.А., Тихонова У.Н. Автоматный метод определения проблемно-ориентированных языков (Часть 2)Информационно-управляющие системы, №2, 2010, стр. 31-37 2010 
6.Новиков Ф.А., Тихонова У.Н. Автоматный метод определения проблемно-ориентированных языков (Часть 3)Информационно-управляющие системы, №3, 2010, стр. 29-37 2010 
7.Иванов Д.Ю., Новиков Ф.А.  Влияние UML на процесс разработки программного обеспеченияКомпьютерные инструменты в образовании, №6, 2009, с.3-11 2010 
8.Иванов Д.Ю., Новиков Ф.А  Моделирование на UML: опыт преподавания в ИнтернетКомпьютерные инструменты в образовании, №4, 2009, с.53-61 2010 
9.Новиков Ф.А., Новосельцев В.Б. Предварительное сообщение о языке исполняемых программных спецификацийПрограммные продукты и системы, №2, 2009, c. 107–111 2010 
10.Михеева В.Д., Новиков Ф.А., Скрипниченко В.И.  Таблично-ориентированные средства решения задач эфемеридной астрономии и их использование в традиционных языках программированияАстрономический вестник, 2010, стр. 38-47 2010 
11.Новиков Ф.А., Новосельцев В.Б. Язык исполняемых программных спецификацийПрограммирование, №1, 2010 2010 
12.Новиков Ф.А., Тихонова У.Н. Автоматный метод определения проблемно-ориентированных языковИУС №6. 2009 2009 
13.Новиков Ф.А., Степанян К.Б Использование порождающего программирования при реализации языка описания диаграммИнформационно-управляющие системы, №6 2009 
14.Иванов Д.Ю., Новиков Ф.А. Моделирование на UML: опыт преподавания в ИнтернетКомпьютерные инструменты в образовании, №4, 2009 2009 
15.Новиков Ф.А., Тихонова У.Н. Определение проблемно-ориентированных языков интерпретируемыми автоматамиНТВ СПбГПУ №5 (65) . 2009 2009 
16.Новиков Ф.А., Тихонова У.Н. Применение автоматного программирования для определения проблемно-ориентированных языковТруды ИПА РАН, вып. 18. 2009 2009 
17.Новиков Ф.А., Степанян К.Б. Язык описания диаграмм.Информационно-управляющие системы, 4 (29)/2007 2007 
18.Ф.А.Новиков, С.Н. Поздняков. Жадные алгоритмы.Компьютерные инструменты в образовании, №2 2005 
 
Доклады, тезисы и материалы конференций
NАвторыНазваниеИзданиеГод
1.Novikov F.A., Tihonova U.N. and other Multi-purpose Software Package for Asteroids and CometsInternational Conference "Asteriod-Comet Hazard – 2009", pp.52–55 2010 
2.Новиков Ф.А., Тихонова У.Н. Применение автоматного метода определения проблемно-ориентированных языков«Научные исследования и инновационная деятельность», СПбГПУ 2010 
3.F. A. Novikov, V. A. Shor, T. G. Vega, O. M. Kochetova, Yu. D. Medvedev, G. A. Netsvetaeva, E. Yu. Parijskaya, N. B. Zheleznov AMPLE3 – Multi-purpose Software Package for Asteroids and CometsInternational Conference Asteroid-Comet Hazard – 2009, September 21-25, 2009, St. Petersburg, Russia. Book of Abstracts. 2009 
 
Рукописные труды (диссертации, отчеты и пр.)
NАвторыНазваниеИзданиеГод
1.Новиков Ф.А Методы алгоритмизации предметных областейДиссертация на соискание ученой степени доктора наук 2011