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

Podrobná bibliografie
Hlavní autor: Лихтарников Л. М.
Další autoři: Сукачева Т. Г.
Shrnutí:Учебное пособие состоит из двух частей — курса лекций по математической логике, включающего теоретический материал по ряду разделов: алгебра логики, исчисление высказываний, логика предикатов, математические теории, алгоритмы, и задачника-практикума, содержащего упражнения по перечисленным разделам. Учебное пособие предназначено для студентов университетов и педагогических вузов, изучающих математическую логику.
Книга из коллекции Лань - Математика
Vydáno: Санкт-Петербург, Лань, 2022
Vydání:4-е изд., стер.
Témata:
On-line přístup:https://e.lanbook.com/book/210281
https://e.lanbook.com/img/cover/book/210281.jpg
Médium: Elektronický zdroj Kniha