Web ИРБИС


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

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

Базы данных

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

Виды поиска

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

ЭБС "ЛАНЬ"

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

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

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

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

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

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

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

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

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

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

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

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

в найденном

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

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

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

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

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

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

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

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

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

1-20 21-40 41-45

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

ГРНТИ	27.03
УДК	51

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

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

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

УДК

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

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

ГРНТИ	27.03
УДК	510.6

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

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

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

ГРНТИ	27.17
УДК	512.64

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

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

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

ГРНТИ	27.03
УДК	51

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

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

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

ББК 22.12

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

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

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

Лавров, Игорь Андреевич.
Задачи по теории множеств, математической логике и теории алгоритмов. [Текст] / И. А. Лавров, Л. Л. Максимова. - 2-е изд. - Москва : Наука, 1984. - 224 с. - 0.90 р.

ББК 22.12

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

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

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

Мендельсон, Эллиот.
Введение в математическую логику [Текст] / Э. Мендельсон. - 3-е изд. - Москва : Наука, 1984. - 320 с. - Библиогр.: с. 296-319. - 1.80 р.

ББК 22.12

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

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

Зегет, Вольфгант.
Элементарная логика [Текст] / Зегет В. - Москва : Высшая школа, 1985. - 256 с. - Библиогр.: с. 254. - 0.90 р.

ББК 87.4

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

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

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

10.

Игошин, Владимир Иванович.
Математическая логика и теория алгоритмов [Текст] : учеб. пособ. для студентов физ.-мат. спец. пед. ин-тов / Владимир Иванович Игошин. - Саратов : Издательство Саратовского университета, 1991. - 255, [2] c. - Библиогр. - ISBN 5-292-00259-3 (в пер.) : 25.00 р.

УДК

[510.5+510.6](075.8)

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

Кл.слова (ненормированные):
математическая логика -- алгоритмов теория -- исчисления высказываний -- логика предикатов -- булевы функции
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского
Найти похожие

11.

Логика и клиническая диагностика [Текст] : учебник для вузов / В. А. Смирнов, А. М. Анисов, Г. П. Арутюнов. - М. : Наука, 1994. - 297 с. ; 24см. - (Обновление гуманитарного образования в России). - ISBN 5020135933 : б/ц.

ГРНТИ	76.29.01.33
УДК	616(075.8)

ББК 87.4

Рубрики: Медицина--Клиническая медицина

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

Доп. точки доступа:
Смирнов, В. А.
Анисов, А. М.
Арутюнов, Г. П.
Найти похожие

12.

Переверзев, Василий Николаевич.
Логистика [Текст] : справ. кн. по логике / Василий Николаевич Переверзев. - Москва : Мысль, 1995. - 222 с. : ил. - Библиогр. - ISBN 5-244-00798-X (в пер.) : 4500.00 р.

УДК

16(035)

Рубрики: логика--логика

Кл.слова (ненормированные):
история логики -- понятия -- суждения -- умозаключения -- высказывания -- логический синтаксис -- логическая семантика -- логическая прагматика -- логика предикатов -- логистика -- логика
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского
Найти похожие

13.

   Столбоушкин, Алексей Петрович
    Математические основания информатики [Текст] : учеб. пособие / А. П. Столбоушкин, М. А. Тайцлин. - Тверь : [б. и.].
   Ч. 1. - Тверь : [б. и.], 1998. - 170, [2] с. - ISBN [Б. и.] : 15.00 р.

УДК

510.6(075.8)

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

Кл.слова (ненормированные):
математическая логика -- информатика -- автоматы -- логика предикатов
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского

Доп. точки доступа:

Тайцлин, М. А.
Найти похожие

14.

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

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

ББК 22

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

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

15.

Никольская, Инна Львовна.
Знакомство с математической логикой [Текст] : учебно-методическая литература для школ и вузов / И. Л. Никольская. - Москва : Флинта, 1998. - 128 с. - (Библиотека педагога-практика). - ISBN 5-89502-036-4 : 23.00 р.

ББК 22.12

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

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

16.

Бочаров, Вячеслав Александрович.
Основы логики [Текст] : учебник для ВУЗов / В. А. Бочаров, В. И. Маркин ; авт. предисл.: В. А. Бочаров , В. И. Маркин. - Москва : ИНФРА-М., 1999. - 296 с. - (Высшее образование). - 60.00 р.
Предм. указ.:с.287-294

ББК 87.4я73

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

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

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

17.

Гамова, Алла Николаевна.
Формальная логика [Текст] : учеб. пособие для студентов и аспирантов фак. гуманитар. и социал. наук / А. Н. Гамова. - Саратов : Издательство Саратовского университета, 2001. - 71, [1] с. - Библиогр. - ISBN 5-292-2589-5 : 20.00 р.

УДК

16(075.8)

510.6(075.8)

Рубрики: логика--логика

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

Кл.слова (ненормированные):
формальная логика -- суждения -- умозаключения -- математическая логика -- логика высказываний -- логика предикатов
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского
Найти похожие

18.

Бочаров, В. А.
Основы логики [Текст] : учебник для вузов / В. А. Бочаров, В. И. Маркин. - М. : ИНФРА-М, 2002. - 296 с. ; 22см. - (Высшее образование). - ISBN 5160008705 : 77.00 р.

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

ББК 87.4я73

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

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

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

19.

Смирнов, Владимир Александрович.
Логические методы анализа научного знания [Текст] : научное издание / В. А. Смирнов ; . - Москва : Эдиториал УРСС, 2002. - 263, [1] с. - Библиогр. - ISBN 5-8360-0308-4 (в пер.) : 65.00 р.

УДК

510.6:1

929Смирнов

Рубрики: философия--философия науки

Кл.слова (ненормированные):
научное знание -- методология науки -- теория -- язык -- логика предикатов -- математическая логика -- персоналии -- эмпирическая интерпретация -- философия математической логики
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского

Доп. точки доступа:

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

20.

Москинова, Г. И.
Дискретная математика [Текст] : математика для менеджера в примерах и упражнениях : учеб. пособие для студ. вузов / Г. И. Москинова. - М. : Логос, 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)

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

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

1-20 21-40 41-45

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

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

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

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

Расширенный

Авторизация

Фамилия

Пароль

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

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

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