• ВХОД

    •  

    Полное описание

    Лихтарников, Л. М. Математическая логика. Курс лекций. Задачник-практикум и решения : практикум / Л. М. Лихтарников, Т. Г. Сукачева. - 4-е изд., стер. - Санкт-Петербург : Лань, 2022. - 288 с. - URL: https://e.lanbook.com/book/210281 (дата обращения: 06.10.2023) . - Режим доступа: ЭБС Лань. - ISBN 978-5-8114-0082-9. - Текст : электронный.
    Книга из коллекции Лань - Математика
    УДК
    510.6(075)
    ББК
    22.122я73

    Рубрики:
    Математика -- Дискретная математика и математическая логика -- Лань

    Кл.слова (ненормированные): АКСИОМА ЛОГИЧЕСКАЯ -- АЛГЕБРА -- АЛГЕБРА ЛОГИКИ -- АЛГОРИТМ -- АЛГОРИТМЫ -- БУЛЯ -- БУЛЯ АЛГЕБРА -- ВЫЧИСЛИМАЯ -- ГЕДЕЛЯ -- ДВОЙСТВЕННОСТЬ -- ДВОЙСТВЕННОСТЬ ЗАКОН -- ДЕДУКЦИЯ ТЕОРЕМА -- ДИЗЪЮНКТИВНАЯ -- ДОКАЗУЕМОСТЬ -- ЗАДАЧИ -- ЗАДАЧИ РЕШЕНИЯ -- ЗАДАЧНИК -- ЗАКОН -- ИСЧИСЛЕНИЕ АКСИОМАТИЧЕСКОЕ -- ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ -- ИСЧИСЛЕНИЯ ВЫСКАЗЫВАНИЙ -- КОНЪЮНКТИВНАЯ -- КУРС ЛЕКЦИЙ -- КУРСЫ ЛЕКЦИЙ -- ЛОГИКА -- ЛОГИКА ПРЕДИКАТОВ -- МАТЕМАТИКА -- МАТЕМАТИКА ЛОГИКА -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- МАТЕМАТИЧЕСКАЯ ЛОГИКА ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ АЛГЕБРА ЛОГИКИ ЛОГИКА ПРЕДИКАТОВ МАТЕМАТИЧЕСКИЕ ТЕОРИИ МАШИНА ТЬЮРИНГА АЛГОРИТМЫ УЧЕБНЫЕ ПОСОБИЯ ТЕОРЕМА ДЕДУКЦИИ ТЕОРЕМА ГЕДЕЛЯ ЛЕКЦИИ ЗАДАЧИ -- МАТЕМАТИЧЕСКИЕ ТЕОРИИ -- МАШИНА -- ОПЕРАЦИЯ ЛОГИЧЕСКАЯ -- РАЗРЕШИМОСТЬ -- РЕКУРСИВНАЯ -- РЕШЕНИЕ ЗАДАЧ -- ТАВТОЛОГИЯ -- ТЕРМА -- ТЬЮРИНГА -- ТЬЮРИНГА МАШИНА -- УЧЕБНИК И ПОСОБИЕ -- УЧЕБНОЕ ПОСОБИЕ -- УЧЕБНЫЕ ПОСОБИЯ -- ФОРМА ДИЗЪЮНКТИВНАЯ -- ФОРМУЛА ДОКАЗУЕМАЯ -- ФУНКЦИЯ -- ФУНКЦИЯ ВЫЧИСЛИМАЯ -- ФУНКЦИЯ РЕКУРСИВНАЯ
    Аннотация: Учебное пособие состоит из двух частей — курса лекций по математической логике, включающего теоретический материал по ряду разделов: алгебра логики, исчисление высказываний, логика предикатов, математические теории, алгоритмы, и задачника-практикума, содержащего упражнения по перечисленным разделам. Учебное пособие предназначено для студентов университетов и педагогических вузов, изучающих математическую логику.
    Доп. точки доступа:
    Сукачева, Т. Г.

    Электронная библиотечная система Лань


    Держатели документа:
    ЭБС Лань : 192029, г. Санкт-Петербург, пр-кт Обуховской обороны, д. 70, корпус 2, лит. А, пом. 1-Н, ком. 247 (Шифр в БД-источнике (EBSLAN): RU-LAN-BOOK-210281)

    Шифр в сводном ЭК: ced41386a29e0aff2f1932310523bc60



    Просмотр издания ЭБС Лань