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

Базы данных


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

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

Вид документа : Однотомное издание
Шифр издания : 22.1/Ш20
Автор(ы) : Шанже, Жан-Пьер, Конн А.
Заглавие : Материя и мышление : научное издание
Выходные данные : М.; Ижевск: Ин-т компьютер. исслед.: Регулярная и хаотическая динамика, 2004
Колич.характеристики :216 с.
ISBN, Цена 5-93972-296-2: 50.00 р.
ГРНТИ : 27.01
ББК : 22.1в
Предметные рубрики: Математика-- философия науки
Экземпляры :ч.з.(1)
Свободны : ч.з.(1)
Найти похожие
2.

Вид документа : Однотомное издание
Шифр издания : 22.12/И26
Автор(ы) : Игошин, Владимир Иванович
Заглавие : Математическая логика и теория алгоритмов : учеб. пособие: рек. Мин. обр. РФ
Выходные данные : М.: Академия, 2004
Колич.характеристики :448 с.
Серия: Высшее проф. образование: Педагогические специальности
Примечания : Библиогр.: с. 435
ISBN (в пер.), Цена 5-7695-1363-2: 253.00, 2500002201361, р.
ББК : 22.12я73
Предметные рубрики: Математическая логика-- теория алгоритмов
Экземпляры : всего 3: аб.(7)
Свободны : аб.(7)
Найти похожие
3.

Вид документа : Однотомное издание
Шифр издания : 22.12/У77
Автор(ы) : Успенский, Владимир Андреевич, Верещагин Н.К., Плиско В.Е.
Заглавие : Вводный курс математической логики : [учеб. пособие]
Выходные данные : М.: Физматлит, 2004
Колич.характеристики :126 с.
Примечания : Библиогр.: с. 122. - Предм. указ.: с. 123
ISBN, Цена 5-9221-0278-8: 114.44 р.
ББК : 22.12я73
Предметные рубрики: Математическая логика
Ключевые слова (''Своб.индексиров.''): теория множеств--теорема кантора--языки первого порядка--логические операции--кванторы--элементы теории доказательств--логическое следование--теорема гёделя--теорема алгоритмов
Экземпляры : всего : аб.(3), ч.з.(2)
Свободны : аб.(2), ч.з.(2)
Найти похожие
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
Статистика
за 22.08.2024
Число запросов 69798
Число посетителей 1
Число заказов 0
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)