Aller au contenu

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

Учебное пособие состоит из двух частей — курса лекций по математической логике, включающего теоретический материал по ряду разделов: алгебра логики, исчисление высказываний, логика предикатов, математические теории, алгоритмы, и задачника-практикума, содержащего упражнения по перечисленным разделам....

Description complète

Enregistré dans:
Détails bibliographiques
Auteur principal: Лихтарников Л. М.
Autres auteurs: Сукачева Т. Г.
Format: Книга
Langue:Russian
Publié: Санкт-Петербург Лань 2022
Édition:4-е изд., стер.
Sujets:
Accès en ligne:https://e.lanbook.com/book/210281
https://e.lanbook.com/img/cover/book/210281.jpg
Tags: Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!