| Главная | Новости | Абитуриентам и школьникам | Учебный процесс | Аспирантура и докторантура | Научная деятельность | Фотогалерея | О кафедре | Партнёры |
Математическая логика и теория алгоритмов
ТРУДОЕМКОСТЬ ДИСЦИПЛИНЫ
Общая трудоемкость дисциплины составляет 5 ЗЕТ (180 часа).
ЦЕЛИ И ЗАДАЧИ ДИСЦИПЛИНЫ
Целью дисциплины является формирование у студентов теоретических знаний и1.
практических навыков по основам алгебры высказываний, теории булевых функций,
математической логики и теории алгоритмов как аппарата для построения моделей дискретных
систем. В процессе изучения дисциплины студенты знакомятся со спецификой методов решения
практических задач, предлагаемых различными разделами дисциплины. Использование
вычислительной техники на практических занятиях помогает студентам приобрести навыки
построения и исследования различных дискретных моделей.
СОДЕРЖАНИЕ ДИСЦИПЛИНЫ. ОСНОВНЫЕ РАЗДЕЛЫ
1 Алгебра высказываний
2 Синтез логических схем
3 Логика предикатов
4 Формальные теории
5 Основы теории алгоритмов
ВИДЫ УЧЕБНОЙ РАБОТЫ
Лекции, практические занятия
ФОРМА АТТЕСТАЦИИ ПО ДИСЦИПЛИНЕ
Изучение дисциплины заканчивается экзаменом.
Рабочая программа:
Методические материалы:
