Поиск по Электронному каталогу Книги

В12
Е 804
Ершов, Ю. Л.
    Математическая логика : учебное пособие / Ю. Л. Ершов, Е. А. Палютин. - Изд. 5-е, стер. - Санкт-Петербург : Лань, 2006. - 336 с. ; 21 см. - (Учебники для вузов. Специальная литература). - Предм. указ.: с. 335-336. - 1500 экз. - ISBN 5-8114-0533-2 (в пер.)

ГРНТИ

27.03.19

ББК В12

Рубрики: Математическая логика--Учебные издания для высших учебных заведений

Кл.слова (ненормированные):
Исчисление высказываний -- Теория множеств -- Алгебраические системы -- Исчисление предикатов -- Теория моделей -- Теория доказательств -- Алгоритмы -- Рекурсивные функции
Аннотация: В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги - теория моделей и теория доказательств - изложены более подробно, чем это предусмотрено программой.
Доп.точки доступа:
Палютин, Е. А.

Экземпляры всего: 1
ОЧЗ (1)
Свободны: ОЧЗ (1)

В1
Б 854

   Босс, В.
    Лекции по математике / В. Босс. - Москва : URSS.
   Т. 6 : Алгоритмы, логика, вычислимость. От Диофанта до Тьюринга и Геделя. - Изд. 3-е, испр. и доп. - 2013. - 207 с. : ил. ; 22 см. - Библиогр.: с. 202-203 (28 назв.). - Предм. указ.: с. 204-207. - ISBN 978-5-397-03412-8 : 237.00 р.

ГРНТИ

27.03.02

ББК В1 + В192

Рубрики: Математическая логика

   Вычислительная математика

Кл.слова (ненормированные):
математическая логика -- вычислительная математика -- алгоритмы (матем.) -- теоремы Геделя -- универсальные функции -- нумерации (матем.) -- доказуемость (матем.) -- математическая логика -- Диофантов язык -- десятая проблема Гильберта -- конструктивная математика -- аксиоматические теории -- теория моделей -- степени неразрешимости
Экземпляры всего: 1
ОЧЗ (1)
Свободны: ОЧЗ (1)

В12
Т 338

    Теория моделей и ее применения / Академия наук СССР, Сибирское отделение ; ответственный редактор Ю. Л. Ершов. - Новосибирск : Наука, 1988. - 182, [2] с. ; 26 см. - (Труды Института математики ; т. 8). - Библиография в конце статей. - 1250 экз. - ISBN 5-02-028576-5 : 03.10 р.
ББК В12

Кл.слова (ненормированные):
теория моделей -- математическая логика
Доп.точки доступа:
Ершов, Юрий Леонидович \ред.\
Академия наук СССР. Сибирское отделение
Институт математики (Москва)

Экземпляры всего: 1
КХ (1)
Свободны: КХ (1)

В12
М 34

    Математическая логика и теория алгоритмов / Российская академия наук, Сибирское отделение ; ответственный редактор: Ю. Л. Ершов, С. С. Гончаров. - Новосибирск : Издательство Института математики СО РАН, 1993. - 201 с. ; 26 см. - (Труды института математики СО РАН ; т. 25). - Библиография в конце статей. - 500 экз. - ISBN 5-86134-004-8 : 1050.00 р.
ББК В127

Кл.слова (ненормированные):
математическая логика -- логика математическая -- теория алгоритмов -- теория моделей
Доп.точки доступа:
Ершов, Ю. Л. \ред.\
Гончаров, С. С. \ред.\
Российская академия наук. Сибирское отделение

Экземпляры всего: 1
КХ (1)
Свободны: КХ (1)