Судоплатов С. В. Математическая логика и теория алгоритмов: учебник и практикум для академического бакалавриата / Судоплатов Сергей Владимирович, Овчинникова Елена Викторовна. - 5-е изд., стер. - Москва: Юрайт, 2019. - 255 с. - (Бакалавр. Академический курс). - ISBN 978-5-534-00767-1.Гриф: Министерство образования и науки РФ Отраслевые рубрики: математика, математическая логика, теория алгоритмов Ключевые слова: алгоритмические логики, алгоритмы, Геделя теорема о неполноте, исчисление высказываний, исчисление предикатов, конечные автоматы, логики, машина Тьюринга, неклассические логики, неразрешимость, предикатные логики, пропозициональные логики, Райса теорема, рекурсивные функции, система аксиом арифметики Пеано, сортировка, теория моделей Условия доступа:
ЭБС ЮРАЙТ Доступ по логину и паролю. Доступ до 07.02.2024.
|