Web ИРБИС


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

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

Базы данных

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

Виды поиска

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

ЭБС "ЛАНЬ"

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Поисковый запрос: (<.>KL=ИСЧИСЛЕНИЕ ПРЕДИКАТОВ<.>)

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

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

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

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

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

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

Страбыкин, Д. А.
Логический вывод в системах обработки знаний [Текст] / Д. А. Страбыкин ; Вятский гос. техн. ун-т. - СПб. : СПбГЭТУ, 1998. - 164 с. : ил. ; 20см. - ISBN 5762902250 : 27.00 р.

ГРНТИ	50.63.17
УДК	681.3.015

ББК 32.97

Рубрики: Вычислительная техника--Обработка данных

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

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

Люгер, Д. Ф.
Искусственный интеллект [Текст] : стратегии и методы решения сложных проблем : пер. с англ. / Д. Ф. Люгер. - 4-е изд. - М. ; СПб. ; Киев : Вильямс, 2003. - 864 с. : ил. ; 24 см. - Библиогр. : с. 809-840. - ISBN 5-8459-0437-4 : 652.65 р.

ГРНТИ	28.23.27
УДК	007:159

ББК 32.813

Рубрики: Кибернетика--Искусственный интеллект

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

Клини, С. К.
Математическая логика [Текст] : научное издание / С. К. Клини ; пер. с англ. Ю. А. Гастева ; под ред. Г. Е. Минца. - М. : Мир, 1973. - 480 с. ; 22 см. - Указ.: с. 471-478. - 2.50 р.

ГРНТИ	27.03
УДК	517.11

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

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

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

Нильсон, Н.
Искусственный интеллект. Методы поиска и решений [Текст] : учебник / Н. Нильсон ; пер. с англ. В. Л. Стефанюка ; под ред. С. В. Фомина. - М. : Мир, 1973. - 270 с. : черт. ; 21 см. - Библиогр.: с. 252-262. - 1.17 р.

ГРНТИ	28.23
УДК	007

Рубрики: Кибернетика--Искусственный интеллект

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

Доп. точки доступа:
Стефанюк, В. Л.
Фомин, С. В.
Найти похожие

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

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

ББК 22.12

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

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

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

Элти, Дж.
Экспертные системы [Текст] = Expert systems concepts and examples : концепции и примеры / Дж. Элти, М. Кумбс; пер. с англ. Б. И. Шитикова. - М. : Финансы и статистика, 1987. - 191 с. : ил. ; 20 см. - 0.65 р.
Тит. л. парал. на англ. яз.

ГРНТИ	28.23
УДК	007:159.955

Рубрики: Кибернетика--Искусственный интеллект

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

Доп. точки доступа:
Кумбс, М. Coombs M. J.
Шитиков, Б. И.
Найти похожие

Математическая теория логического вывода [Текст] : сборник / под ред.: А. В. Идельсона, Г. Е. Минца. - М. : Изд-во "Наука", 1967. - 351 с. : ил. ; 21см. - (Математическая логика и основания математики). - Библиогр. в конце ст. - 1.79 р.

УДК

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

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

Гильберт, Д.
Основы теоретической логики [Текст] / Д. Гильберт, В. Аккерман ; под ред. С. А. Яновской ; пер. с нем. А. А. Ерофеева = Grunbzuge er theoretischen logik / D. Hilbert, W. Ackermann : переводное издание. - М. : Изд-во иностр. лит-ры, 1947. - 304 с. : ил. ; 20 см. - Библиогр.: с. 297-298. - 14.60 р.
Тит. л. парал. на нем. яз.

УДК

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

Доп. точки доступа:
Аккерман, В. Ackermann W.
Яновская, С. А.
Ерофеев, А. А.
Найти похожие

10.

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

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

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

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

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

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

11.

Войшвилло, Е. К.
Понятие [Текст] : научное издание / Е. К. Войшвилло. - М. : Изд-во Моск. ун-та, 1967. - 286 с. : ил. ; 21 см. - Библиогр.: с. 277-280 (111 назв.). - 1.16 р.

УДК

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

12.

Горбатов, Вячеслав Афанасьевич.
Основы дискретной математики [Текст] : учеб. пособие для ВУЗов / В. А. Горбатов. - Москва : Высшая школа, 1986. - 311 с. - Библиогр.: с. 304-305. - Предм. указ.: с. 306. - 01.00 р.

ББК 22.144я73

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

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

13.

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

ББК 87.4я73

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

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

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

14.

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

ББК 87.4я73

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

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

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

15.

Гильберт, Давид
Основания математики [Текст] : логические исчисления и формализация арифметики: пер. с нем. / Д. Гильберт, П. Бернайс. - 2-е изд. - Москва : Наука, 1982. - 556 с. : ил. - (Математическая логика и основания математики). - 02.70 р.

ББК 22.12

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

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

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

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

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

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

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

Расширенный

Авторизация

Фамилия

Пароль

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

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

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