Лихтарников, Л. М. Математическая логика. Курс лекций. Задачник-практикум и решения [Электронный ресурс] / Лихтарников Л. М.,Сукачева Т. Г. — 4-е изд., стер. — Санкт-Петербург: Лань, 2022. — 288 с. — Книга из коллекции Лань - Математика. — <URL:https://e.lanbook.com/book/210281>. — <URL:https://e.lanbook.com/img/cover/book/210281.jpg>.

Record create date: 6/8/2022

Subject: математическая логика; учебное пособие; алгоритм; алгебра логики; курс лекций; задачник; аксиома логическая; алгебра; алгоритмы; буля; буля алгебра; вычислимая; геделя; двойственность; двойственность закон; дедукция теорема; дизъюнктивная; доказуемость; задачи; задачи решения; закон; исчисление высказываний; исчисление аксиоматическое; исчисления высказываний; конъюнктивная; курсы лекций; логика; логика предикатов; математика; математика логика; математическая логика исчисление высказываний алгебра логики логика предикатов математические теории машина тьюринга алгоритмы учебные пособия теорема дедукции теорема геделя лекции задачи; математические теории; машина; операция логическая; разрешимость; рекурсивная; решение задач; тавтология; терма; тьюринга; тьюринга машина; учебник и пособие; учебные пособия; форма дизъюнктивная; формула доказуемая; функция; функция вычислимая; функция рекурсивная

UDC: 510.6(075)

LBC: 22.122я73