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