Новые поступления (книга в стадии обработки) Ершов, Юрий Леонидович. Математическая логика [Текст] : учеб. пособие для вузов / Ю. Л. Ершов, Е. А. Палютин. - Москва : Наука, 1979. - 320 с. - ISBN Б. и. : 35.00, 2088.00 р. Аннотация: Книга представляет собой систематическое изложение ряда разделов современной математической логики и теории алгоритмов. Изложение начинается с изучения секвенциальных вариантов исчислений натурального вывода. Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Палютин, Евгений Андреевич |
Новые поступления (книга в стадии обработки) Ершов, Юрий Леонидович. Математическая логика [Текст] : учеб. пособие / Ю. Л. Ершов, Е. А. Палютин. - 3-е изд., стер. - Санкт-Петербург ; Москва ; Краснодар : Лань, 2004. - 336 с. - (Учебники для вузов. Специальная литература). - Предм. указ.: с. 335-336. - ISBN 5-8114-0533-2 (в пер.) : 225.00 р.
Рубрики: математика--математическая логика Кл.слова (ненормированные): математическая логика -- множеств теория -- доказательств теория -- исчисления высказываний -- исчисления предикатов -- алгоритмов теория Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского Доп. точки доступа: Палютин, Евгений Андреевич |
Новые поступления (книга в стадии обработки) Ершов, Юрий Леонидович. Математическая логика [Текст] : учеб. пособие / Ю. Л. Ершов, Е. А. Палютин. - 5-е изд., стер. - Санкт-Петербург ; Москва ; Краснодар : Лань, 2005. - 336 с. - (Учебники для вузов. Специальная литература). - Предм. указ.: с. 335-336. - ISBN 5-8114-0533-2 : 190.43 р.
Рубрики: математика--математическая логика Кл.слова (ненормированные): математическая логика -- множеств теория -- доказательств теория -- исчисления высказываний -- исчисления предикатов -- алгоритмов теория Аннотация: Изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Палютин, Евгений Андреевич |
Новые поступления (книга в стадии обработки) Ершов, Юрий Леонидович. Математическая логика [Текст] : учеб. пособие для вузов / Ю. Л. Ершов. - 2-е изд., испр. и доп. - Москва : Наука, 1987. - 336 с. - 20 р. Рубрики: Математика--Математическая логика Кл.слова (ненормированные): алгоритмы -- теория алгоритмов -- теория доказательств -- теория множеств -- учебники для вузов -- учебные пособия для вузов Аннотация: В книге изложены основные классические исчисления математической логики. Держатели документа: Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова) Доп. точки доступа: Палютин, Евгений Андреевич |