Web ИРБИС


	\| начало \| написать нам \| в избранное \| сделать стартовой \|

ДЛЯ РАБОТЫ С БАЗАМИ ОГРАНИЧЕННОГО ДОСТУПА ТРЕБУЕТСЯ АВТОРИЗАЦИЯ
ДАННАЯ ВЕРСИЯ СИСТЕМЫ НЕ ПОДДЕРЖИВАЕТСЯ!!! БАЗЫ НЕ ОБНОВЛЯЮТСЯ!!! ПОЛЬЗУЙТЕСЬ НОВОЙ ВЕРСИЕЙ ПОИСКОВОЙ СИСТЕМЫ!!! >>>

Базы данных

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

Виды поиска

Электронный каталог

ЭБС "ЛАНЬ"

ЭБС "ZNANIUM.com" (ИД "ИНФРА-М")

Электронная библиотека

Известные деятели культуры в Саратовской губернии

Работы В. А. Артисевич и литература о ней

Издания вузовских библиотек Среднего и Нижнего Поволжья

Публикации учёных СГУ

Краеведческий обзор

Поступления журналов в ЗНБ СГУ

БД коллекций в фонде ЗНБ СГУ

БД выпускных квалификационных работ

Сводный каталог библиотек (СГУ, СГТУ, ЦБС)

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

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

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

Поисковый запрос: (<.>KL=теорема Тарского<.>)

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

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

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

Вид документа : Однотомное издание
Шифр издания : 007/М 23
Автор(ы) : Манин Ю. И.
Заглавие : Доказуемое и недоказуемое : научно-популярная литература
Выходные данные : М.: Советское радио, 1979
Колич.характеристики :167 с. ; 0.60
Серия: Кибернетика
Цена : 0.60 р.
ГРНТИ : 28.01
УДК : 007+510.6
Предметные рубрики: Кибернетика
Ключевые слова (''Своб.индексиров.''): формальные языки--теорема геделя--счетные модели--парадокс сколема--язык self--теорема тарского--мощность континуума
Аннотация: В наше время математические методы широко используются в естественных и гуманитарных науках. Это способствует росту интереса к самой сущности математического рассуждения и природе доказательства в широких кругах потребителей математики. В книге сделана попытка удовлетворить интерес, изложив на достаточно доступном уровне теорию математического доказательства и причины, по которым те или иные вопросы (типа гипотезы континуума) оказываются принципиально неразрешимыми. Изложение сопровождается экскурсами в физику, психологию и семиотику.
Найти похожие

Вид документа : Однотомное издание
Шифр издания : 22.1
Автор(ы) : Манин, Юрий Иванович
Заглавие : Доказуемое и недоказуемое : монография
Выходные данные : Москва: Советское радио, 1979
Колич.характеристики :168 с.: рис
Серия: Кибернетика
Примечания : Библиогр.: с. 161-166
Цена : 0.60 р.
ББК : 22.1 + 32.81
Предметные рубрики: Математика-- Математическая кибернетика
Радиоэлектроника-- Кибернетика
Ключевые слова (''Своб.индексиров.''): лемма--аксиомы арифметики--аксиомы бесконечности--арифметика шмульяна--булева алгебра--гипотезы континуума--интерпретация--истинность--квантовая логика--кеннинги--математические методы--математический текст--парадоксы сколема--свойства истинности--счетные модели--тавтология--теорема геделя--теорема тарского--формальные языки--формальные языки--форсинг--язык self
Аннотация: В наше время математические методы широко используются в естественных и гуманитарных науках. Это способствует росту интереса к самой сущности математического рассуждения и природе доказательства в широких кругах потребителей математики. В книге сделана попытка удовлетворить этот интерес, изложив на достаточно доступном уровне теорию математического доказательства и причины, по которым те или иные вопросы (типа гипотезы континуума) оказываются принципиально неразрешимыми. Изложение, сопровождается экскурсами в физику, психологию и семиотику.
Найти похожие

Вид документа : Однотомное издание
Шифр издания : 22.12
Автор(ы) : Линдон Р.
Заглавие : Заметки по логике
Выходные данные : Москва: Мир, 1968
Колич.характеристики :128 с
Цена : 0.41 р.
ББК : 22.12
Предметные рубрики: Математика-- Математическая логика
Ключевые слова (''Своб.индексиров.''): булева алгебра--геделевы номера--логика--математические методы--пропозициональная логика--разрешимые теории--теорема геделя--теорема крейга--теорема левенгейма-сколема--теорема тарского--теорема черча--теорема эрбрана-генцена--теорема адекватности--теорема дедукции--теорема компктности--теорема о непротиворечивости--теоремы (логика)
Найти похожие

Стандартный (по одному полю)

По словарю (по одному полю)

Профессиональный (по нескольким полям со словарями)

Распределенный (г. Саратов)

Расширенный

Авторизация

Фамилия

Пароль

Заявка на регистрацию в ЭБС

Возникли проблемы? Пишите на oma@info.sgu.ru

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