Главная Упрощенный режим Описание Шлюз Z39.50
Авторизация
Фамилия
Пароль
 

Базы данных


БД "Книги" - результаты поиска

Вид поиска
БД "Книги"
БД "Статьи"
Труды АМГУ
Выпускные квалификационные работы
Антитеррор
Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=исчисление предикатов<.>)
Общее количество найденных документов : 6
Показаны документы с 1 по 6
1.
   22.12
   Е80

    Ершов, Юрий Леонидович.
    Математическая логика [Текст] : учеб. пособие / Ю. Л. Ершов, Е. А. Палютин. - 4-е изд.5-е изд., стер. - СПб. : Лань, 2005. - 336 с. - (Учебники для вузов. Спец. лит.). - Предм. указ.: с.335 . - ISBN 5-8114-0533-2 (в пер.) : 161.04 р.
ББК 22.12я73
Рубрики: Математическая логика
Кл.слова (ненормированные):
исчисление высказываний -- теория множеств -- исчисление предикатов -- теория моделей -- теория доказательств


Доп.точки доступа:
Палютин, Евгений Андреевич
Экземпляры всего: 10
аб. (10), ч.з.
Свободны: аб. (10)
Найти похожие
2.
   22.12
   Л13

    Лавров, Игорь Андреевич.
    Математическая логика [Текст] : учеб. пособие: доп. Мин. обр. РФ / И. А. Лавров; под ред. Л. Л. Максимовой. - М. : Академия, 2006. - 240 с. : рис. - (Университетский учебник. Прикладная математика и информатика). - Библиогр.: с. 230. - Предм. указ.: с. 321. - ISBN 5-7695-2735-8 (в пер.) : 225.50 р.
ББК 22.12я73
Рубрики: Математическая логика
Кл.слова (ненормированные):
алгебраические системы -- логические системы -- классические алгебраические системы -- построение логических исчислений -- исчисление высказываний -- исчисление предикатов -- классические аксиоматические теории -- арифметика Пеано -- аксиомы Д. Гильберта


Доп.точки доступа:
Максимова, Л.Л. \ред.\
Экземпляры всего: 5
ч.з. (3), аб. (2)
Свободны: ч.з. (3), аб. (2)
Найти похожие
3.
   22.17
   С54

    Соболева, Татьяна Сергеевна.
    Дискретная математика [Текст] : учеб.: доп. Мин. обр. РФ / Т. С. Соболева, А. В. Чечкин. - М. : Академия, 2006. - 256 с. : рис., табл. - (Университетский учебник. Прикладная математика и информатика). - Библиогр.: с. 252. - ISBN 5-7695-2823-0 (в пер.) : 225.50 р.
ББК 22.176я73
Рубрики: Дискретная математика
Кл.слова (ненормированные):
теория множеств, понятия -- отображение множеств, понятие -- конечные множества -- комбинаторика -- бесконечные множества -- отношения на множествах -- теория графов, элементы -- плоские графы -- сети Петри -- алгебраические операции -- Булевы функции -- топологические пространства -- решетки -- логика высказываний -- законы логики высказываний -- тавтология -- логика предикатов -- исчисление предикатов -- аксиоматическая теория -- математическая кибернетика -- теория алгоритмов -- теория кодирования, элементы -- хемминговы коды -- математическая информатика -- ультраоператоры


Доп.точки доступа:
Чечкин, Александр Витальевич
Экземпляры всего: 10
ч.з. (3), аб. (7)
Свободны: ч.з. (3), аб. (7)
Найти похожие
4.
   22.12
   Ш24

    Шапорев, Сергей Дмитриевич.
    Математическая логика [Текст] : курс лекций и практ. занятий: учеб. пособие: рек. НМС / С.Д. Шапорев. - СПб. : БХВ-Петербург, 2007. - 410 с. : рис., табл. - Библиогр.: с. 405 . - Предм. указ.: с. 406 . - ISBN 978-5-94157-702-6 (в пер.) : 308.45 р.
ББК 22.12я73
Рубрики: Математика
   Математическая логика
Кл.слова (ненормированные):
алгебра логики -- алгебра высказываний -- исчисление высказываний -- логика предикатов -- исчисление предикатов -- теория алгоритмов

Экземпляры всего: 15
ч.з. (3), аб. (12)
Свободны: ч.з. (3), аб. (12)
Найти похожие
5.
   22.12
   К49

    Клини, Стивн Коул.
    Введение в метаматематику [Текст] : к изучению дисциплины / С. К. Клини ; пер. с англ. А. С. Есенина-Вольпина ; под ред. В. А. Успенского. - М. : Либроком, 2009. - 523 с. - (Физико-математическое наследие: математика (основания математики и логика)). - Библиогр. : с. 485 . - Предм. указ. : с. 511 . - ISBN 978-5-397-00105-2 (в пер.) : 632.88 р.
ББК 22.12
Рубрики: Математика
   Математическая логика
Кл.слова (ненормированные):
основания математики -- математическая логика -- рекурсивные функции -- исчисление высказываний -- исчисление предикатов -- формальная арифметика -- арифметизация метаматематики
Аннотация: Настоящая книга, написанная выдающимся американским математиком Стивеном Клини, является одной из самых обширных из имеющихся монографий по математической логике и теории рекурсивных функций. Этот фундаментальный труд по праву стал настольной книгой для всех, кто занимается математической логикой, рекурсивными функциями и основаниями математики. Цель автора --- дать читателю связное введение в область данных научных дисциплин, а также в исследования по основаниям математики вообще. Первая часть книги содержит необходимый подготовительный материал; далее проведено метаматематическое исследование элементарной арифметики с необходимым материалом из математической логики. В восьмой главе второй части изложены знаменитые теоремы Гёделя о неполноте. Третья часть, содержащая в числе прочего изложение теории обще-рекурсивных и частично-рекурсивных функций, может служить руководством для изучения теории рекурсивных функций.


Доп.точки доступа:
Есенина-Вольпина, А.С. \пер.\; Успенский, В.А. \ред.\
Экземпляры всего: 1
аб. (1)
Свободны: аб. (1)
Найти похожие
6.
   22.17
   Г 55

    Глухов, Михаил Михайлович.
    Математическая логика. Дискретные функции. Теория алгоритмов [Текст] : учеб. пособие: рек. УМО / М. М. Глухов, А. Б. Шишков. - СПб. ; М. ; Краснодар : Лань, 2012. - 406 с. - (Учебники для вузов. Спец. лит.). - Библиогр. : с. 398 . - ISBN 978-5-8114-1344-7 (в пер.) : 766.92 р.
Прил. : с. 389
ББК 22.176я73
Рубрики: Математика
   Дискретная математика
Кл.слова (ненормированные):
математическая логика -- множества -- исчисление высказываний -- алгебра высказываний -- алгебра предикатов -- исчисление предикатов -- дискретные функции -- булевы функции -- вероятностная функция -- теория алгоритмов


Доп.точки доступа:
Шишков, Алексей Борисович
Экземпляры всего: 4
ч.з. (2), аб. (2)
Свободны: ч.з. (2), аб. (2)
Найти похожие
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
Статистика
за 18.08.2024
Число запросов 26798
Число посетителей 1
Число заказов 0
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)