| начало | написать нам | в избранное | сделать стартовой |
ДЛЯ РАБОТЫ С БАЗАМИ ОГРАНИЧЕННОГО ДОСТУПА ТРЕБУЕТСЯ АВТОРИЗАЦИЯ
ДАННАЯ ВЕРСИЯ СИСТЕМЫ НЕ ПОДДЕРЖИВАЕТСЯ!!! БАЗЫ НЕ ОБНОВЛЯЮТСЯ!!! ПОЛЬЗУЙТЕСЬ НОВОЙ ВЕРСИЕЙ ПОИСКОВОЙ СИСТЕМЫ!!! >>>

Базы данных


Сводный каталог библиотек (СГУ, СГТУ, ЦБС) - результаты поиска

Виды поиска
Электронный каталог
ЭБС "ЛАНЬ"
ЭБС "ZNANIUM.com" (ИД "ИНФРА-М")
ЭБС "ЮРАЙТ"
ЭБС "АЙБУКС"
ЭБС "РУКОНТ"
ЭБС "IPRBOOKS"
ЭБС "BOOK.ru"
Электронная библиотека
Известные деятели культуры в Саратовской губернии
Работы В. А. Артисевич и литература о ней
Издания вузовских библиотек Среднего и Нижнего Поволжья
Публикации учёных СГУ
Краеведческий обзор
Поступления журналов в ЗНБ СГУ
БД коллекций в фонде ЗНБ СГУ
БД выпускных квалификационных работ
Сводный каталог библиотек (СГУ, СГТУ, ЦБС)
Область поиска
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>KL=теорема Гёделя<.>)
Общее количество найденных документов : 3
Показаны документы с 1 по 3
1.

Вид документа : Однотомное издание
Шифр издания : 510/М 50
Автор(ы) : Мендельсон Э.
Заглавие : Введение в математическую логику . -3.изд.
Выходные данные : М.: Наука, 1984
Колич.характеристики :320 с. ; 22см
Цена : 1.80 р.
ГРНТИ : 27.03
УДК : 510.6
ББК : 22.12
Предметные рубрики: Математика-- Математическая логика
Ключевые слова (''Своб.индексиров.''): исчисление--тавтологии--кванторы--теоремы--изоморфизмы--арифметика--арифметические функции--теорема гёделя--теорема тарского--система робинсона--числа--порядковые числа--гёдель--хартогс--теорема хартогса--алгорифмы маркова--алгорифмы тьюринга--алгорифмы--марков--тьюринг
Аннотация: В книге освещается широкий круг вопросов. В ней излагаются следующие темы: логика высказываний и логика предиктов, элементарные теории, формализованная арифметика, аксиоматическая теория множеств, теория алгоритмов. Изложению присуща ясность, простота и лаконичность. Значительная роль в книге отведена упражнениям, куда вынесена часть материала, используемого в основном тексте.
Найти похожие
2.

Вид документа : Однотомное издание
Шифр издания : 536/В 71
Автор(ы) : Волькенштейн М. В.
Заглавие : Энтропия и информация
Выходные данные : М.: Наука, 1986
Колич.характеристики :192 с.: ил.; 20см
Цена : 0.60 р.
ГРНТИ : 29.17
УДК : 536.75
ББК : 22.31
Предметные рубрики: Физика-- Термодинамика
Ключевые слова (''Своб.индексиров.''): физика--термодинамика--ломоносов--энтропия--флуктуации--теорема гёделя
Аннотация: Популярно рассказано об основах термодинамики и статистической физики. Раскрыты смысл и содержание понятия энтропии и показано ее важнейшее значение в науке. Установлена связь энтропии и информации, рассказано о современных представлениях теории информации, имеющих универсальное значение для естествознания и гуманитарных наук, вплоть до некоторых вопросов художественного творчества, обсуждением которых заканчивается книга.
Найти похожие
3.

Вид документа : Однотомное издание
Шифр издания : 519/Е 80
Автор(ы) : Ершов Ю. Л.
Заглавие : Определимость и вычислимость . -2-е изд.,испр.и доп.
Выходные данные : М.: Экономика, 2000
Колич.характеристики :318 с. ; 20см
ISBN, Цена 5282020211: 62.00 р.
ГРНТИ : 27.41
УДК : 519.6
ББК : 22.19
Предметные рубрики: Математика-- Вычислительная математика
Ключевые слова (''Своб.индексиров.''): математика--вычислительная математика--определимость--вычислимость--ограниченные кванторы--теория допустимых множеств--теорема гёделя--теорема о неполноте--теорема ганди--динамическая логика
Аннотация: Новое доказательство теоремы Геделя о неполноте,основанное на систематическом использовании формул с ограничеснными кванторами.Новое изложение (на основе теоремы Ганди) теории допустимых множеств с праэлементами.Для научных работников,аспирантов,студентов.
Найти похожие
 
Стандартный (по одному полю)
По словарю (по одному полю)
Профессиональный (по нескольким полям со словарями)
Распределенный (г. Саратов)
Расширенный
Авторизация
Фамилия
Пароль
 
Заявка на регистрацию в ЭБС

Возникли проблемы? Пишите на oma@info.sgu.ru
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)