Web ИРБИС


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

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

Базы данных

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

Виды поиска

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

ЭБС "ЛАНЬ"

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

ББК 22

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

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

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

ГРНТИ	50.63.17
УДК	681.3.015

ББК 32.97

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

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

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

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

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

ББК 22.12

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

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

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

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

ГРНТИ	27.03
УДК	517.11

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

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

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

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

ГРНТИ	27.03
УДК	51

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

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

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

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

ББК 22.12

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

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

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

   Войшвилло, Е. К.
    Логика как часть теории познания и научной методологии (фундаментальный курс) [Текст] : учеб. пособие / Е. К. Войшвилло, М. Г. Дегтярев. - М. : Наука.
   Кн. 1 . - 1994. - 312 с. ; 21 см. - ISBN 5-02-013514-3 : Б. ц.

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

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

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

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

   Войшвилло, Е. К.
    Логика как часть теории познания и научной методологии (фундаментальный курс) [Текст] : учеб. пособие / Е. К. Войшвилло, М. Г. Дегтярев. - М. : Наука.
   Кн. 2. - 1994. - 333 с. : ил. ; 21 см. - ISBN 5-02-013515-1 : Б. ц.

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

Иванов, Б. Н.
Дискретная математика [Текст] : алгоритмы и программы : расширенный курс : учеб. пособие / Б. Н. Иванов. - М. : Известия, 2011. - 512 с. : ил. ; 22 см. - Библиогр.: с. 501-502 (35 назв.). - ISBN 978-5-206-00824-1 : 140.00 р.
Гриф: рек. М-вом образования и науки Рос. Федерации в качестве учеб. пособия для студ. вузов, обучающихся по спец. "Прикладная математика и информатика"

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

ББК 22.176

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

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

10.

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

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

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

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

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

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

11.

Мендельсон, Э.
Введение в математическую логику [Текст] / Э. Мендельсон ; пер. c англ. Ф. А. Кабакова ; под ред. С. И. Адяна = Introduction to mathematical logic / E. Mendelson : научное издание. - 2-е изд., испр. - М. : Изд-во "Наука", 1976. - 320 с. ; 22 см. - Библиогр.: с. 296-309. - 1.65 р.
Загл. парал. на англ. яз.

ГРНТИ	27.03
УДК	510.6

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

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

Доп. точки доступа:
Кабаков, Ф. А.
Адян, С. И.
Найти похожие

12.

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

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

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

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

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

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

13.

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

ГРНТИ	27.03
УДК	51

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

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

14.

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

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

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

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

15.

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

ББК 22.144я73

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

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

16.

Косовский, Николай Кириллович.
Элементы математической логики и ее приложения к теории субрекурсивных алгоритмов [Текст] : учеб. пособие / Н. К. Косовский. - Ленинград : Издательство Ленинградского государственного университета, 1981. - 192 с. : ил. - Библиогр.: с. 75. - 0.40 р.

ББК 22.12

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

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

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

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

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

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

Расширенный

Авторизация

Фамилия

Пароль

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

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

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