Web ИРБИС


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

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

Базы данных

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

Виды поиска

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

ЭБС "ЛАНЬ"

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

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

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

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

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

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

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

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

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

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

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

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

в найденном

В текущей базе данных найдено документов :45

В других БД по вашему запросу найдено:

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

ЭБС "ЛАНЬ" (2)

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

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

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

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

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

1-20 21-40 41-45

Галушкина, Ю. И.
Конспект лекций по дискретной математике [Текст] : с упражнениями и контрольными работами / Ю. И. Галушкина, А. Н. Марьямов. - М. : Айрис пресс, 2007. - 176 с. : рис. ; 24 см. - (Высшее образование). - Библиогр.: с. 174 (8 назв.). - ISBN 978-5-8112-2599-6 : 100.00 р.

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

ББК 22.176

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

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

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

Новиков, П. С.
Элементы математической логики [Текст] : научное издание / П. С. Новиков. - 2-е изд., испр. - М. : Наука, 1973. - 399 с. ; 21 см. - 1.43 р.

ГРНТИ	27.03
УДК	51

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

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

Игошин, В. И.
Математическая логика и теория алгоритмов [Текст] : учеб. пособие / В. И. Игошин. - 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

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

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

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

Попов, Ю. П.
Логика [Текст] : учеб. пособие / Ю. П. Попов. - 3-е изд., перераб. и доп. - М. : Кнорус, 2009. - 304 с. : ил. ; 22 см. - Библиогр.: с. 294 (14 назв.). - ISBN 978-5-390-00251-3 : 150.00 р.
Гриф: рек. Гос. образоват. учреждением высш. проф. образования "МПГУ" в качестве учеб. пособия для студ. вузов, обуч. по напр. подг. 520400 (030100) - философия и спец. 020100 (030101) - философия

ГРНТИ	02.21.01.33
УДК	16(075.8)

ББК 87.4

Рубрики: Философия--Логика

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

Игошин, В. И.
Задачи и упражнения по математической логике и теории алгоритмов [Текст] : учеб. пособие / В. И. Игошин. - 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

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

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

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

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

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

ББК 22.12

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

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

Москинова, Г. И.
Дискретная математика [Текст] : математика для менеджера в примерах и упражнениях : учеб. пособие для студ. вузов / Г. И. Москинова. - М. : Логос, 2003. - 240 с. : ил. ; 22 см. - (Учебник для XXI века). - ISBN 5-94010-016-3 : 108.00 р.
Рекомендовано М-вом образования РФ

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

ББК 22.1+65.290-2в6(я7)

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

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

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

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

ББК 22.1

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

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

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

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

Светлов, В. А.
Логика: экзаменационные ответы для студентов вузов [Текст] : учеб. пособие / В. А. Светлов. - СПб. [и др.] : Питер, 2008. - 160 с. : ил. ; 21 см. - (Завтра экзамен). - ISBN 978-5-469-00910-8 : 61.00 р.

ГРНТИ	02.21.01.33
УДК	16(075.8)

ББК 87.4

Рубрики: Философия--Логика

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

10.

Лихтарников, Л. М.
Математическая логика. Курс лекций. Задачник-практикум и решения [Текст] : учеб. пособие / Л. М. Лихтарников, Т. Г. Сукачева. - 3-е изд., испр. - СПб. ; М. ; Краснодар : Лань, 2008. - 288 с. ; 21 см. - (Учебники для вузов. Специальная литература). - Библиогр.: с. 273 (12 назв.) . - ISBN 978-5-8114-0082-9 : 304.48 р.

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

ББК 22.12

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

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

Доп. точки доступа:
Сукачева, Т. Г.
Найти похожие

11.

Гиндикин, С. Г.
Алгебра логики в задачах [Текст] : научное издание / С. Г. Гиндикин. - М. : Изд-во "Наука", 1972. - 286 с. : ил. ; 21 см. - Библиогр.: с. 283-284. - 0.76 р.

ГРНТИ	27.17
УДК	512.64

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

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

12.

Новиков, П. С.
Элементы математической логики [Текст] : научное издание / П. С. Новиков. - М. : Гос. изд-во физико-мат. лит., 1959. - 400 с. ; 21 см. - (Математическая логика и основания математики). - 11.05 р.

ГРНТИ	27.03
УДК	51

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

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

13.

Бочаров, Вячеслав Александрович.
Введение в логику. Университетский курс [Текст] : учебник для вузов / В. А. Бочаров, В. И. Маркин. - Москва : Форум : ИНФРА-М, 2008. - 560 с. - (Высшее образование). - Предм. указ.: с. 542 - 554. - ISBN 978-5-8199-0365-0 : 313 р.

ББК 87.4я73

Рубрики: Логика--Общие вопросы логики

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

Доп. точки доступа:
Маркин, Владимир Ильич
Найти похожие

14.

Колмогоров, Андрей Николаевич.
Введение в математическую логику [Текст] : учебное пособие для вузов / А. Н. Колмогоров, А. Г. Драгалин. - Москва : Издательство Московского государственного университета, 1982. - 119 с. - 0.25 р.

ББК 22.12

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

Кл.слова (ненормированные):
логика высказываний -- логика предикатов -- логико-математические языки -- логические законы -- математическая логика -- математический язык -- теория множеств -- формальные аксиоматические теории
Держатели документа:
Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова)

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

15.

Бочаров, Вячеслав Александрович.
Введение в логику. Университетский курс [Текст] : учебник для высш. учеб. заведений / В. А. Бочаров, В. И. Маркин. - 2-е изд., испр. и доп. - Москва : ФОРУМ : ИНФРА-М, 2011. - 560 с. - (Высшее образование). - Предм. указ.: с. 547 - 559. - ISBN 978-5-8199-0465-7 : 362.89 р.

ББК 87.4я73

Рубрики: Логика--Общие вопросы логики

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

Доп. точки доступа:
Маркин, Владимир Ильич
Найти похожие

16.

Игошин, В. И.
Математическая логика и теория алгоритмов [Текст] : учеб. пособие / В. И. Игошин. - 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, геометрии, привлечен материал школьного курса математики для его логического анализа, охарактеризованы взаимосвязи математической логики с компьютерами, информатикой, системами искусственного интеллекта.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.
Найти похожие

17.

Галушкина, Ю. И.
Конспект лекций по дискретной математике. С упражнениями и контрольными работами [Текст] : учебное пособие / Ю. И. Галушкина, А. Н. Марьямов. - 2-е изд. - М. : Айрис-Пресс, 2008. - 176 с. : ил. ; 24 см. - (Высшее образование). - Библиогр.: с. 174 (8 назв.). - ISBN 978-5-8112-3322-9 : 150.00 р.

ГРНТИ	27.41.41.01.33
УДК	519.1(07)

ББК 22.176

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

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

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

18.

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

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

ББК 22.12

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

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

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

19.

Столяр, А. А.
Элементарное введение в математическую логику [Текст] : научное издание / А. А. Столяр. - М. : Изд-во "Просвещение", 1965. - 162 с. : ил. ; 21 см. - Библиогр.: с. 162. - 0.22 р.

УДК

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

20.

Пензов, Ю. Е.
Элементы математической логики и теории множеств [Текст] : научное издание / Ю. Е. Пензов. - Саратов : Изд-во Сарат. ун-та , 1968. - 143 с. : ил. ; 20 см. - Библиогр.: с. 141 (16 назв.). - 0.60 р.

ГРНТИ	27.03
УДК	510.6

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

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

1-20 21-40 41-45

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

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

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

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

Расширенный

Авторизация

Фамилия

Пароль

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

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

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