Web ИРБИС


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

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

Базы данных

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

Виды поиска

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

ЭБС "ЛАНЬ"

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Поисковый запрос: (<.>R=27.03.01.33$<.>)

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

Игошин, В. И.
Математическая логика и теория алгоритмов [Текст] : учеб. пособие / В. И. Игошин. - 2-е изд., стер. - М. : ИЦ "Академия", 2008. - 448 с. ; 22 см. - (Высшее профессиональное образование). - Библиогр.: с. 435-442. - ISBN 978-5-7695-4593-1 : 350.00 р.
Гриф: допущено М-вом образования Рос. Федерации в качестве учеб. пособия для студ. вузов, обуч. по спец. 050201 "Математика"

ГРНТИ	27.03.01.33
УДК	510.6+510.5(075.8)

ББК 22.1

Рубрики: Математика--Математическая логика

Математика--Теория алгоритмов

Кл.слова (ненормированные):
АЛГЕБРА ВЫСКАЗЫВАНИЙ -- ФОРМАЛИЗОВАННОЕ ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ -- ЛОГИКА ПРЕДИКАТОВ -- НЕФОРМАЛЬНЫЕ АКСИОМАТИЧЕСКИЕ ТЕОРИИ -- ФОРМАЛЬНЫЕ АКСИОМАТИЧЕСКИЕ ТЕОРИИ -- ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.
Найти похожие

Нестеренко, Ю. П.
Элементы математической логики [Текст] : учеб. пособие / Ю. П. Нестеренко ; Челябинский гос. техн. ун-т, Каф. мат. анализа. - Челябинск : ЧГТУ, 1996. - 41 с. ; 20 см. - ISBN 5-696-00720-1 : 1850.00 р.

ГРНТИ	27.03.01.33
УДК	510.6(075.8)

Рубрики: Математика--Математическая логика

Кл.слова (ненормированные):
математическая логика -- алгебра высказываний -- исчисление предикатов -- теория моделей
Аннотация: В пособии систематически излагаются основные понятия и результаты математической логики по разделам: алгебра и исчисление высказываний, логика и исчисление предикатов.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.

Найти похожие

Лихтарников, Л. М.
Математическая логика. Курс лекций. Задачник-практикум и решения [Текст] : учеб. пособие для студ. вузов, обучающихся по математическим спец. / Л. М. Лихтарников. - СПб. : Лань, 1998. - 288 с. ; 21см. - ISBN 5811400829 : 35р. р.

ГРНТИ	27.03.01.33
УДК	510.6(075.8)

ББК 22

Рубрики: Математика--Математическая логика

Кл.слова (ненормированные):
алгебра логики -- логика предикатов -- алгоритмы -- исчисление высказываний
Аннотация: Учебное пособие предназначено для студентов университетов и пед. институтов, изучающих курс математической логики.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.
Найти похожие

Аляев, Ю. А.
Дискретная математика и математическая логика [Текст] : учебник / Ю. А. Аляев, С. Ф. Тюрин. - М. : Финансы и статистика, 2006. - 368 с. : ил. ; 21 см. - Библиогр.: с. 355-357 (41 назв.). - ISBN 5-279-03045-7 : 260.00 р.
Гриф: допущено УМО по образованию в обл. прикладной информатики в качестве учебника для студ. вузов, обучающихся по спец. "Прикладная информатика (по областям)" и др. экон. спец.

ГРНТИ	27.41.41.01.33	27.03.01.33
УДК	519.1+510.6(075.8)

ББК 22.176 + 22.12

Рубрики: Математика--Дискретная математика

Математика--Математическая логика

Кл.слова (ненормированные):
математика -- дискретная математика -- математическая логика -- теория множеств -- элементы комбинаторики -- теория графов -- теория кодирования -- логические исчисления -- теория алгоритмов -- теория нечетких множеств -- алгебра -- булевы алгебры -- неклассические логики
Аннотация: Рассматриваются основные темы дискретной математики и математической логики. Сложные вопросы математики рассматриваются на простых примерах.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.

Доп. точки доступа:
Тюрин, С. Ф.
Найти похожие

Шапорев, С. Д.
Математическая логика [Текст] : курс лекций и практ. занятий: учеб пособие / С. Д. Шапорев. - СПб. : БХВ-Петербург, 2005. - 416 с. : ил. ; 24 см. - Библиогр.: с. 405 (26 назв.). - ISBN 5-94157-702-8 : 153.51 р.
Гриф: допущено научно-метод. советом по математике вузов Северо-Запада в качестве учеб. пособия для студ. вузов, обуч. по спец. 220200 "Автоматизир. системы обработки информации и управления", 071900 "Информационные системы в технике и технологиях"

ГРНТИ	27.03.01.33
УДК	510.6(075.8)

ББК 22.12

Рубрики: Математика--Математическая логика

Кл.слова (ненормированные):
математика -- математическая логика -- алгебра логики -- логика предикатов -- теория алгоритмов
Аннотация: Рассматриваются алгебра логики и исчисление высказываний, логика и исчисление предикатов, рассмотрены вопросы содержательного и формального определения логики высказываний и логики предикатов.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.
Найти похожие

Муха, Ю. П.
Математическая логика и теория алгоритмов [Текст] : учеб. пособие / Ю. П. Муха, О. А. Авдеюк ; Волгоградский гос. техн. ун-т. - Волгоград : РПК "Политехник", 2005. - 92 с. : табл. ; 20 см. - Библиогр.: с. 92 (10 назв.). - ISBN 5-230-04465-5 : 80.00 р.

ГРНТИ	27.03.01.33
УДК	510.6+510.5(07)

ББК 22.1

Рубрики: Математика--Математическая логика

Математика--Теория алгоритмов

Кл.слова (ненормированные):
математика -- математическая логика -- теория алгоритмов -- логика высказываний -- логика предикатов -- алгебра логики
Аннотация: Излагаются основные положения математической логики и теории алгоритмов. Особое внимание уделяется алгебре логики, методам минимизации переключательных функций, синтезу и анализу логических схем.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.

Доп. точки доступа:
Авдеюк, О. А.
Найти похожие

Справочная книга по математической логике [Текст] : в 4 ч. - М. : Наука, 1982 - .
Ч. 3 : теория рекурсии / под ред. Дж. Барвайса; пер. с англ. С. Г. Дворникова, И. А. Лаврова. - 1982. - 360 с. : ил. ; 21 см. - 2.00 р.

ГРНТИ	27.03.01.33
УДК	517.11(083)

Рубрики: МАТЕМАТИКА--МАТЕМАТИЧЕСКАЯ ЛОГИКА

Кл.слова (ненормированные):
РЕКУРСИЯ -- РЕКУРСИВНЫЕ ФУНКЦИИ -- РЕКУРСИВНЫЕ ОПРЕДЕЛЕНИЯ -- АЛГОРИТМЫ -- ТЕОРИЯ ПОЛЕЙ -- ИНДУКЦИИ -- РЕКУРСИВНЫЕ МЕТОДЫ -- МАТЕМАТИКА -- МАТЕМАТИЧЕСКАЯ ЛОГИКА
Аннотация: В справочнике изложена теория рекурсии, алгоритмические проблемы в теории полей, а также рекурсия в высших типах.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.

Доп. точки доступа:
Барвайс, Дж.
Дворников, С. Г.
Лавров, И. А.
Найти похожие

Колмогоров, А. Н.
Введение в математическую логику [Текст] : учеб. пособие для вузов / А. Н. Колмогоров, А. Г. Драгалин. - М. : Изд-во Моск. ун-та, 1982. - 120 с. : ил. ; 20 см. - 0.25 р.
Гриф: допущено Мин-вом высш. и сред. спец. образования СССР в качестве учебного пособия для студ. математ. спец. вузов

ГРНТИ	27.03.01.33
УДК	517(075)

Рубрики: Математика--Математическая логика

Кл.слова (ненормированные):
математика -- математическая логика -- математическая модель -- логика -- логические методы
Аннотация: Пособие предназначено для начинающих математиков, которые желают ознакомиться со строением математического языка и математических теорий.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.

Доп. точки доступа:
Драгалин, А. Г.
Найти похожие

Лавров, И. А.
Задачи по теории множеств математической логике и теории алгоритмов [Текст] : учеб. пособие / И. А. Лавров, Л. Л. Максимова. - М. : Наука : Физматлит, 1975. - 240 с. ; 20 см. - 0.90 р.

ГРНТИ	27.03.01.33
УДК	519.5(076)

Рубрики: Математика--Математическая логика

Математика--Теория алгоритмов

Кл.слова (ненормированные):
ТЕОРИЯ МНОЖЕСТВ -- БИНАРНЫЕ ОТНОШЕНИЯ -- КАРДИНАЛЬНЫЕ ЧИСЛА -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ТЕОРИЯ АЛГОРИТМОВ -- ПРЕДИКАТЫ -- ФИЛЬТРОВАННЫЕ ПРОИЗВЕДЕНИЯ
Аннотация: В книге систематически изложены основы теории множеств, математической логики и теории алгоритмов в форме задач. Книга предназначена для активного изучения математической логики и смежных в ней наук. Сборник состоит из трех частей: "Теории множеств", "Математическая логика" и "Теория алгоритмов". Задачи снабжены указаниями и ответами. Все необходимые определения сформулированы в кратких теоретических введениях к каждому параграфу. Сборник рассчитан как учебное пособие для математических факультетов университетов и педагогических институтов. Он может использоваться также в технических вузах при изучении кибернетических специальностей.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.

Доп. точки доступа:
Максимова, Л. Л.
Найти похожие

10.

Игошин, В. И.
Математическая логика и теория алгоритмов [Текст] : учеб. пособие / В. И. Игошин. - 3-е изд., стер. - М. : ИЦ "Академия", 2008. - 448 с. : рис ; 22 см. - (Высшее профессиональное образование). - Библиогр.: с. 435-442 . - ISBN 978-5-7695-5200-7 : 368.50 р.
Гриф: допущено М-вом образования РФ в качестве учеб. пособия для студ. вузов, обучающихся по спец. 050201 "Математика"

ГРНТИ	27.03.01.33
УДК	510.6+510.5(075.8)

ББК 22.1

Рубрики: Математика--Математическая логика

Математика--Теория алгоритмов

Кл.слова (ненормированные):
АЛГЕБРА ВЫСКАЗЫВАНИЙ -- БУЛЕВЫ ФУНКЦИИ -- ЛОГИКА ПРЕДИКАТОВ -- ФОРМАЛИЗОВАННОЕ ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ -- НЕФОРМАЛЬНЫЕ АКСИОМАТИЧЕСКИЕ ТЕОРИИ -- АКСИОМАТИЧЕСКИЕ ТЕОРИИ -- ФОРМАЛЬНЫЕ АКСИОМАТИЧЕСКИЕ ТЕОРИИ -- ЭЛЕМЕНТЫ ТЕОРИИ АЛГОРИТМОВ -- АЛГОРИТМЫ -- КОМПЬЮТЕРЫ -- ИНФОРМАТИКА -- ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ
Аннотация: Подробно изложены основы теории, показаны направления проникновения логики в основания алгебры, анализа, геометрии, привлечен материал школьного курса математики для его логического анализа, охарактеризованы взаимосвязи математической логики с компьютерами, информатикой, системами искусственного интеллекта.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.
Найти похожие

11.

Игошин, В. И.
Задачи и упражнения по математической логике и теории алгоритмов [Текст] : учеб. пособие / В. И. Игошин. - 4-е изд., стер. - М. : ИЦ "Академия", 2008. - 304 с. : рис. ; 22 см. - (Высшее профессиональное образование). - Библиогр.: с. 301 (22 назв.). - ISBN 978-5-7695-5272-4 : 291.50 р.
Гриф: допущено М-вом образования РФ в качестве учеб. пособия для студ. вузов, обучающихся по спец. 050201 "Математика"

ГРНТИ	27.03.01.33
УДК	510.6+510.5(075.8)

ББК 22.1

Рубрики: Математика--Математическая логика

Математика--Теория алгоритмов

Кл.слова (ненормированные):
АЛГЕБРА ВЫСКАЗЫВАНИЙ -- БУЛЕВЫ ФУНКЦИИ -- ЛОГИКА ПРЕДИКАТОВ -- МАШИНА ТЬЮРИНГА -- РЕКУРСИВНЫЕ ФУНКЦИИ
Аннотация: Сборник содержит задачи и упражнения по всем традиционным разделам курса математической логики и теории алгоритмов. В каждом параграфе подробно рассмотрены разнообразные типовые примеры и приведены многочисленные задачи разного уровня сложности для самостоятельного решения.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.
Найти похожие

12.

Лавров, И. А.
Математическая логика [Текст] : учеб. пособие / И. А. Лавров ; под ред. Л. Л. Максимовой. - М. : ИЦ "Академия", 2006. - 240 с. ; 22 см. - (Университетский учебник) (Прикладная математика и информатика). - Библиогр.: с. 230 (14 назв.). - ISBN 5-7695-2735-8 : 238.70 р.
Гриф: допущено М-вом образования и науки Рос. Федерации в качестве учеб. пособия для студ. вузов, обуч. по техн. и естеств.-науч. спец.

ГРНТИ	27.03.01.33
УДК	510.6(075.8)

ББК 22.12

Рубрики: Математика--Математическая логика

Кл.слова (ненормированные):
СЕМАНТИКА -- СИНТАКСИС -- АКСИОМАТИЧЕСКИЕ ТЕОРИИ -- ТЕОРИИ МНОЖЕСТВ -- ГЕОМЕТРИЧЕСКИЕ ТЕОРИИ -- ИНТЕРПРЕТАЦИИ -- ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ -- ИСЧИСЛЕНИЕ ПРЕДИКАТОВ -- ЛОГИЧЕСКИЕ ИСЧИСЛЕНИЯ -- АЛГЕБРАИЧЕСКИЕ СИСТЕМЫ -- ЛОГИЧЕСКИЕ СИСТЕМЫ
Аннотация: В учебном пособии изложены основы современного подхода к изучению математических теорий с привлечением логических понятий и методов, а также концепция программы Д. Гильберта о построении математических теорий аксиоматическим путем. Рассмотрены аксиоматические теории для множеств натуральных и действительных чисел и для геометрии.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.

Доп. точки доступа:
Максимова, Л. Л.
Найти похожие

13.

Игошин, В. И.
Математическая логика и теория алгоритмов [Текст] : учеб. пособие / В. И. Игошин. - 4-е изд., стер. - М. : ИЦ "Академия", 2010. - 448 с. ; 22 см. - (Высшее профессиональное образование). - Библиогр.: с. 435-442. - ISBN 978-5-7695-7045-2 : 492.80 р.
гриф: допущено М-вом образования Рос. Федерации в качестве учеб. пособия для студ. вузов, обуч. по спец. "Математика"

ГРНТИ	27.03.01.33
УДК	510.6+510.5(075.8)

ББК 22.1

Рубрики: Математика--Математическая логика

Математика--Теория алгоритмов

Кл.слова (ненормированные):
АЛГЕБРА ВЫСКАЗЫВАНИЙ -- БУЛЕВЫ ФУНКЦИИ -- ФОРМАЛИЗОВАННОЕ ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ -- ЛОГИКА ПРЕДИКАТОВ -- НЕФОРМАЛЬНЫЕ АКСИОМАТИЧЕСКИЕ ТЕОРИИ -- ФОРМАЛЬНЫЕ АКСИОМАТИЧЕСКИЕ ТЕОРИИ -- ЭЛЕМЕНТЫ ТЕОРИИ АЛГОРИТМОВ -- КОМПЬЮТЕРЫ -- ИНФОРМАТИКА -- ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ
Аннотация: Предлагаемое учебное пособие составляет основу комплекта по курсу математической логики и теории алгоритмов, в который также входит сборник задач (Игошин В. И. Задачи и упражнения по математической логике и теории алгоритмов). Подробно изложены основы теории, показаны направления проникновения логики в основания алгебры, анализa, геометрии, привлечен материал школьного курса математики для его логического анализа, охарактеризованы взаимосвязи математической логики с компьютерами, информатикой, системами искусственного интеллекта.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.
Найти похожие

14.

Серебряков, А. В.
Элементарный курс математической логики [Текст] : учеб. пособие для студентов всех спец. / А. В. Серебряков ; Саратовский гос. техн. ун-т. - Саратов : СГТУ, 2011. - 32 с. : ил. ; 21 см. - Библиогр.: с. 31 (13 назв.). - ISBN 978-5-7433-2368-5 : 8.19 р.

ГРНТИ	27.03.01.33
УДК	510.6(075.8)

ББК 22.12

Рубрики: Математика--Математическая логика

Кл.слова (ненормированные):
МНОЖЕСТВА -- ФУНКЦИИ -- ЛОГИЧЕСКИЕ ФУНКЦИИ -- ЛОГИКА ВЫСКАЗЫВАНИЙ -- ЛОГИКА ПРЕДИКАТОВ
Аннотация: Пособие содержит начальные понятия о множествах и функциях; рассмотрены основные законы алгебры двузначных логических функций с применением в логике высказываний и предикатов.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.

Найти похожие

15.

Сборник задач по математической логике и алгебре множеств [Текст] : сборник задач / А. В. Гохман [и др.]. - Саратов : Изд-во Сарат. ун-та, 1965. - 87 с. : рис. ; 22 см. - 0.20 р.

ГРНТИ	27.03.01.33	27.17.01.33
УДК	510.6+512(076)

Рубрики: Математика--Алгебра

Математика--Математическая логика

Кл.слова (ненормированные):
ДВОИЧНАЯ БУЛЕВА АЛГЕБРА -- РЕЛЕЙНО-КОНТАКТНЫЕ СХЕМЫ -- ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ -- ИСЧИСЛЕНИЕ ПРЕДИКАТОВ -- ОПЕРАЦИИ НАД МНОЖЕСТВАМИ -- БИНАРНЫЕ ОТНОШЕНИЯ -- СПЕЦИАЛЬНЫЕ БИНАРНЫЕ ОТНОШЕНИЯ
Аннотация: Большая часть задач сборника, относящихся к теории множеств, посвящена бинарным отношениям. Это объясняется тем, что бинарные отношения в последнее время приобретают все большее значение в различных разделах математики, а также тем, что им до сих пор уделялось очень мало внимания даже в монографической литературе.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.

Доп. точки доступа:
Гохман, А. В.
Спивак, М. А.
Житомирский, Г. И.
Розен, В. В.
Рыжков, А. Г.
Салий, В. Н.
Шимельфениг, О. В.
Найти похожие

16.

Сборник задач по математической логике и алгебре множеств [Текст] : сборник задач / А. В. Гофман [и др.]. - 2-е изд., испр. и доп. - Саратов : Изд-во Сарат. ун-та , 1969. - 90 с. : черт. ; 20 см. - 0.16 р.

ГРНТИ	27.03.01.33	27.17.01.33
УДК	510.6+519.6(076)

Рубрики: Математика--Математическая логика

Математика--Алгебра

Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА -- АЛГЕБРА МНОЖЕСТВ -- ДВОИЧНАЯ БУЛЕВАЯ АЛГЕБРА -- ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ -- ПРЕДИКАТЫ -- БИНАРНЫЕ ОТНОШЕНИЯ
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.

Доп. точки доступа:
Гофман, А. В.
Спивак, М. А.
Розен, В. В.
Салий, В. Н.
Найти похожие

17.

Бизам, Д.
Игра и логика [Текст] : 85 логических задач / Д. Бизам, Я. Герцег ; пер. с венг. Ю. А. Данилова. - М. : Изд-во "Мир", 1975. - 358 с. : ил. ; 21 см. - 1.15 р.

ГРНТИ	27.03.01.33
УДК	51+16(076)

Рубрики: Математика--Математическая логика

Кл.слова (ненормированные):
ЛОГИЧЕСКИЕ ЗАДАЧИ -- ГИМНАСТИКА УМА -- ЛОГИЧЕСКОЕ МЫШЛЕНИЕ -- ТАБЛИЧНОЕ МЫШЛЕНИЕ
Аннотация: Книга венгерских математиков посвящена математической логике. Авторы в увлекательной форме учат читателя умению последовательно мыслить и решать задачи, "думая, но не вычисляя".
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.

Доп. точки доступа:
Герцег, Я.
Данилов, Ю. А.
Найти похожие

18.

Эдельман, С. Л.
Математическая логика [Текст] : учеб. пособие / С. Л. Эдельман. - М. : Высшая школа, 1975. - 176 с. : ил. ; 20 см. - Библиогр.: с. 172 (14 назв.). - 0.30 р.
Гриф: допущено М-вом просвещения СССР в качестве учеб. пособия для студ. пед. ин-тов

ГРНТИ	27.03.01.33
УДК	510.6(07)

Рубрики: Математика--Математическая логика

Кл.слова (ненормированные):
АЛГЕБРА ВЫСКАЗЫВАНИЙ -- АЛГЕБРА ПРЕДИКАТОВ -- ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ -- АКСИОМЫ -- ОТНОШЕНИЕ ЭКВИВАЛЕНТНОСТИ
Аннотация: Учебное пособие соответствует программе курса "Математическая логика" для пединститутов. Рассматривается теория алгебры высказываний, алгебры предикатов, исчисления высказываний и предикатов. Изложение сопровождается рядом примеров, способствующих усвоению логики математических методов. Включены задачи и упражнения по каждому из разделов.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.
Найти похожие

19.

Справочная книга по математической логике [Текст] = Handbook of mathematical logic : в 4 ч. / под ред. Дж. Барвайса. - М. : Наука : Гл. ред. физико-мат. лит., 1982 - 1983. - Тит. л. парал. на англ. яз.
Ч. 4 : Теория доказательств и конструктивная математика / пер. с англ.: Г. В. Давыдова, Г. Е. Минца ; под ред. В. П. Оревкова. - 1983. - 392 с. : ил., рис., табл. ; 22 см. - Библиогр. в конце глав. - 2.10 р.

ГРНТИ	27.03.01.33
УДК	517(083)

Рубрики: Математика--Математическая логика

Кл.слова (ненормированные):
МАТЕМАТИЧЕСКИЕ НАУКИ -- ЛОГИКА МАТЕМАТИЧЕСКАЯ -- ТЕОРЕМЫ -- АРИФМЕТИЧЕСКИЕ ФУНКЦИИ -- ФОРМУЛЫ
Аннотация: Последний том "Справочной книги по математической логике" содержит обзоры по наиболее современным направлениям теории доказательств и конструктивной математики.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.

Доп. точки доступа:
Давыдов, Г. В.
Минц, Г. Е.
Оревков, В. П.
Барвайс, Дж. \\ред.\\ Barwise J.
Найти похожие

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

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

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

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

Расширенный

Авторизация

Фамилия

Пароль

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

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

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