|
|
51
Л 656
Лихтарников, Леонид Моисеевич.
Математическая логика. Курс лекций. Задачник-практикум и решения [Текст] : учеб. пособие / Л. М. Лихтарников, Т. Г. Сукачева. - 4-е изд., стер. - Санкт-Петербург : Лань, 2009. - 288 с. - (Учебники для вузов. Специальная литература). - 2000 экз. - ISBN 978-5-8114-0082-9 (в пер.) : 390.61 р. Рубрики: Естественные науки--Математика--Высшая школа--Учебные пособия
Кл.слова (ненормированные):
алгебра логики -- исчисление высказываний -- логика предикатов -- математические теории -- алгоритмы
Аннотация: Учебное пособие состоит из двух частей - курса лекций по математической логике, включающего теоретический материал по ряду разделов: алгебра логики, исчисление высказываний, логика предикатов, математические теории, алгоритмы, и задачника-практикума, содержащего упражнения по перечисленным разделам. Учебное пособие состоит из двух частей - курса лекций по математической логике, включающего теоретический материал по ряду разделов: алгебра логики, исчисление высказываний, логика предикатов, математические теории, алгоритмы, и задачника-практикума, содержащего упражнения по перечисленным разделам.
Держатели документа:
КемГСХИ : 650056, Кемерово, ул. Марковцева, 5
Доп.точки доступа:
Сукачева, Тамара Геннадьевна
Экземпляры всего: 3
ОХФ; 3, 3 (3)
Свободны: ОХФ; 3, 3 (3)
|
|