Новые поступления (книга в стадии обработки) Блатов, И. А.. Конспект лекций по учебной дисциплине «Математическая логика и теория алгоритмов» [Текст] / И. А. Блатов, О. В. Старожилова. - Самара : Изд-во ПГУТИ, 2011. - 160 с. : нет. - Б. ц.
Кл.слова (ненормированные): математика -- математическая логика -- теория алгоритмов Аннотация: Конспект лекций затрагивает такие разделы математической логике и теории автоматов как: алгебра высказываний, исчисление высказываний, логика предикатов, исчисление предикатов, элементы теории алгоритмов. Каждая лекция заканчивается контрольными вопросами, которые помогут проверить теоретическое освоение курса, содержит большое количество задач для самостоятельного решения и ответы для проверки. Доп. точки доступа: Старожилова, О. В. |