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

RU-LAN-BOOK-210281
Лихтарников, Л. М. Математическая логика. Курс лекций. Задачник-практикум и решения : практикум / Л. М. Лихтарников, Т. Г. Сукачева. - 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

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

Кл.слова (ненормированные): математическая логика -- учебное пособие -- алгоритм -- алгебра логики -- курс лекций -- задачник -- аксиома логическая -- алгебра -- алгоритмы -- буля -- буля алгебра -- вычислимая -- геделя -- двойственность -- двойственность закон -- дедукция теорема -- дизъюнктивная -- доказуемость -- задачи -- задачи решения -- закон -- исчисление высказываний -- исчисление аксиоматическое -- исчисления высказываний -- конъюнктивная -- курсы лекций -- логика -- логика предикатов -- математика -- математика логика -- математическая логика исчисление высказываний алгебра логики логика предикатов математические теории машина тьюринга алгоритмы учебные пособия теорема дедукции теорема геделя лекции задачи -- математические теории -- машина -- операция логическая -- разрешимость -- рекурсивная -- решение задач -- тавтология -- терма -- тьюринга -- тьюринга машина -- учебник и пособие -- учебные пособия -- форма дизъюнктивная -- формула доказуемая -- функция -- функция вычислимая -- функция рекурсивная
Аннотация: Учебное пособие состоит из двух частей — курса лекций по математической логике, включающего теоретический материал по ряду разделов: алгебра логики, исчисление высказываний, логика предикатов, математические теории, алгоритмы, и задачника-практикума, содержащего упражнения по перечисленным разделам. Учебное пособие предназначено для студентов университетов и педагогических вузов, изучающих математическую логику.
Доп. точки доступа:
Сукачева, Т. Г.

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

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