Вход в систему

Поиск по электронным документам

Найдено документов: 1

1

1

Математическая логика. Курс лекций. Задачник-практикум и решения. — 4-е изд., стер.

Авторы:	Лихтарников Л. М.; Сукачева Т. Г.
Тематика:	математическая логика; учебное пособие; алгоритм; алгебра логики; курс лекций; задачник; аксиома логическая; алгебра; алгоритмы; буля; буля алгебра; вычислимая; геделя; двойственность; двойственность закон; дедукция теорема; дизъюнктивная; доказуемость; задачи; задачи решения; закон; исчисление высказываний; исчисление аксиоматическое; исчисления высказываний; конъюнктивная; курсы лекций; логика; логика предикатов; математика; математика логика; математическая логика исчисление высказываний алгебра логики логика предикатов математические теории машина тьюринга алгоритмы учебные пособия теорема дедукции теорема геделя лекции задачи; математические теории; машина; операция логическая; разрешимость; рекурсивная; решение задач; тавтология; терма; тьюринга; тьюринга машина; учебник и пособие; учебные пособия; форма дизъюнктивная; формула доказуемая; функция; функция вычислимая; функция рекурсивная
Тип документа:	Другой
Тип файла:	Другой
Ключ записи:	RU-LAN-BOOK-210281

https://e.lanbook.com/book/210281

Поиск осуществлен с использованием Яндекс.Сервера