Библиотека Амурского Государственного Университета

Главная

Упрощенный режим

Описание

Шлюз Z39.50

Базы данных

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

Вид поиска

БД "Книги"

БД "Статьи"

Труды АМГУ

Выпускные квалификационные работы

Антитеррор

Область поиска

Найдено в других БД:

БД "Статьи" (1)

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>K=теорема Гёделя<.>)

Общее количество найденных документов : 3
Показаны документы с 1 по 3

   22.1
   Ш20

    Шанже, Жан-Пьер.
    Материя и мышление [Текст] : научное издание / Ж.-П. Шанже, А. Конн; Пер. с фр. Т.Б. Ворожцовой, А.Р. Логунова. - М. ; Ижевск : Ин-т компьютер. исслед. : Регулярная и хаотическая динамика, 2004. - 216 с. - ISBN 5-93972-296-2 : 50.00 р.

ГРНТИ

27.01

ББК 22.1в
Рубрики: Математика--философия науки
Кл.слова (ненормированные):
математика, исторический аспект -- математический психоанализ -- конструктивистская математика -- теорема Гёделя -- нейропсихология математики

Доп.точки доступа:
Конн, А.; Ворожцова, Т.Б. \пер. с фр.\; Логунов, А.Р. \пер. с фр.\
Экземпляры всего: 1
ч.з. (1)
Свободны: ч.з. (1)
Найти похожие

   22.12
   И26

    Игошин, Владимир Иванович.
    Математическая логика и теория алгоритмов [Текст] : учеб. пособие: рек. Мин. обр. РФ / В. И. Игошин. - М. : Академия, 2004. - 448 с. - (Высшее проф. образование : педагогические специальности). - Библиогр.: с. 435. - ISBN 5-7695-1363-2 (в пер.) : 253.00 р., 2500002201361 р.

ББК 22.12я73
Рубрики: Математическая логика--теория алгоритмов
Кл.слова (ненормированные):
математическая логика -- логика и интуиция -- алгебра высказываний -- логическое следствие, понятие, следствия -- булевы функции -- система аксиом -- логика предикатов -- логические операции -- рекурсивные функции -- теорема Гёделя -- язык ПРОЛОГ, характеристика -- искусственный интеллект, математическая логика

Экземпляры всего: 7
аб. (7), ч.з.
Свободны: аб. (7)
Найти похожие

   22.12
   У77

    Успенский, Владимир Андреевич.
    Вводный курс математической логики [Текст] : [учеб. пособие] / В. А. Успенский, Н. К. Верещагин, В. Е. Плиско. - М. : Физматлит, 2004. - 126 с. - Библиогр.: с. 122. - Предм. указ.: с. 123. - ISBN 5-9221-0278-8 : 114.44 р.

ББК 22.12я73
Рубрики: Математическая логика
Кл.слова (ненормированные):
теория множеств -- теорема Кантора -- языки первого порядка -- логические операции -- кванторы -- элементы теории доказательств -- логическое следование -- теорема Гёделя -- теорема алгоритмов

Доп.точки доступа:
Верещагин, Н.К.; Плиско, В.Е.
Экземпляры всего: 5
аб. (3), ч.з. (2)
Свободны: аб. (2), ч.з. (2)
Найти похожие

Тематический навигатор

Статистика за 02.07.2024
Число запросов	32584
Число посетителей	1
Число заказов	0

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)