| Итог: | Курс содержит основной лекционный и практический материал, предназначенные для самостоятельного изучения. Приведены сведения по основным разделам базового курса Математическая логика и теория алгоритмов. Приведено содержание основных тем дисциплины и темы практических занятий. Приведены варианты заданий для индивидуальной домашней работы. Даны методические указания по выполнению индивидуальной домашней работы. Целью настоящей дисциплины является формирование у студентов знаний соответствующих разделов математической логики и теории алгоритмов, составляющих теоретический фундамент определенных этапов описания и разработки современных информационных и управляющих компьютерных систем.
|
|---|
