http://iit.icc.spbstu.ru ENG
ИКНТ СПбПУ Петра Великого Кафедра Измерительных Информационных Технологий 
Главная
Объявления
  О специальности
  Учебный план
  О специальности
  Учебный план
  О специальности
  Учебный план
обновлено 17.02.2011 ©FTK MIT   2011
Администрация
Преподаватели
История
Аспирантура
Предметы
Студентам
Библиотека ИИТ
Расписание
Контакты
О сайте

Математическая логика и теория алгоритмов

Формулы алгебры высказываний; представление булевых функций формулами; критерии полноты систем булевых функций; псевдобулевы функции и их представление рядами Фурье; критерии полноты систем функций К-значной логики; классификация функций К-значной логики; минимизация булевых функций; исчисления высказываний и предикатов, их полнота и непротиворечивость; основные подходы к формализации понятия алгоритма; понятие о сложности алгоритмов; вычислительные алгоритмы.


К списку предметов


Web-design & programming by Elena Vl. Tsariova ©2003-2004
Adapted by ZVS, 2008-2017