Математическая логика и теория алгоритмов (курс 2) (6832) , модуль -3 - Темы устных электронных экзаменов СГА-БИОР

• Используя способность к обобщению, анализу и восприятию информации, сформулируйте основные понятия формальных грамматик и формальных языков
• Используя умение логически верно, аргументировано и ясно строить письменную речь, подготовьте ответ на тему: «Отличие классической и математической логик».
• Используя умение логически верно, аргументировано и ясно строить письменную речь, сформулируйте научные предпосылки становления дифференциальной психофизиологии
• На основе изучения дополнительной учебной и научной литературы подготовьте ответ на тему: «Использование формальных грамматик для анализа формальных языков»
• На основе изучения дополнительной учебной литературы сформулируйте методы экспресс-диагностики свойств нервной системы
• На основе изучения дополнительных учебных и научных источников подготовьте ответ на тему: «Психологические теории темперамента»
• Перечислите современные инструментальные средства и технологии программирования для решения задач теории алгоритмов по теме: «Программные средства для проектирования конечных автоматов»
• Подготовьте ответ на тему: «Использование машины Тьюринга для доказательства разрешимости или неразрешимости задач»
• Продемонстрировав культуру мышления, способность к обобщению, анализу и восприятию информации, подготовьте ответ на тему: «Алгебра высказываний и алгебра предикатов»
• Рассмотрев тему: «Конечные автоматы в языках программирования», дайте ответ, каким образом используются современные инструментальные средства и технологии программирования для решения задач теории алгоритмов

Данный список тем процитирован в учебных целях с сайта Современной Гуманитарной Академии, www.muh.ru