Новые поступления (книга в стадии обработки) Лихтарников, Л. М. Математическая логика. Курс лекций. Задачник-практикум и решения [Текст] : учеб. пособие / Л. М. Лихтарников, Т. Г. Сукачева. - 3-е изд., испр. - СПб. ; М. ; Краснодар : Лань, 2008. - 288 с. ; 21 см. - (Учебники для вузов. Специальная литература). - Библиогр.: с. 273 (12 назв.) . - ISBN 978-5-8114-0082-9 : 304.48 р.
Рубрики: Математика--Математическая логика Кл.слова (ненормированные): МАТЕМАТИКА -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- АЛГЕБРА ЛОГИКИ -- ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ -- ЛОГИКА ПРЕДИКАТОВ -- МАТЕМАТИЧЕСКИЕ ТЕОРИИ -- АЛГОРИТМЫ -- ЗАДАЧНИК Аннотация: Учебное пособие предназначено дли студентов университетов и педагогических институтов, изучающих курс математической логики. Включает в себя разделы: Алгебра логики, исчисление высказываний, логика предикатов, математические теории, алгоритмы. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Сукачева, Т. Г. |