Web ИРБИС


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

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

Базы данных

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

Виды поиска

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

ЭБС "ЛАНЬ"

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Вид документа : Однотомное издание
Шифр издания : 51/Н 73
Автор(ы) : Новиков П. С.
Заглавие : Элементы математической логики : научное издание
Выходные данные : М.: Гос. изд-во физико-мат. лит., 1959
Колич.характеристики :400 с. ; 21 см
Серия: Математическая логика и основания математики
Цена : 11.05 р.
ГРНТИ : 27.03
УДК : 51
Предметные рубрики: Математика-- Математическая логика
Ключевые слова (''Своб.индексиров.''): аксиоматическая арифметика--теория доказательств--логика предикатов--исчисление высказываний--основания математики
Аннотация: Одной из основных задач математической логики остается анализ оснований математики. В настоящей книге сделана попытка дать по возможности доступное изложение основ математической логики.
Найти похожие

Вид документа : Однотомное издание
Шифр издания : 510(075)/С 23
Автор(ы) : Гохман А. В., Спивак М. А., Житомирский Г. И., Розен В. В., Рыжков А. Г., Салий В. Н., Шимельфениг О. В.
Заглавие : Сборник задач по математической логике и алгебре множеств : сборник задач
Выходные данные : Саратов: Изд-во Сарат. ун-та, 1965
Колич.характеристики :87 с.: рис.; 22 см
Цена : 0.20 р.
ГРНТИ : 27.03.01.33 + 27.17.01.33
УДК : 510.6+512(076)
Предметные рубрики: Математика-- Алгебра
Математика-- Математическая логика
Ключевые слова (''Своб.индексиров.''): двоичная булева алгебра--релейно-контактные схемы--исчисление высказываний--исчисление предикатов--операции над множествами--бинарные отношения--специальные бинарные отношения
Аннотация: Большая часть задач сборника, относящихся к теории множеств, посвящена бинарным отношениям. Это объясняется тем, что бинарные отношения в последнее время приобретают все большее значение в различных разделах математики, а также тем, что им до сих пор уделялось очень мало внимания даже в монографической литературе.
Найти похожие

Вид документа : Однотомное издание
Шифр издания : 51(076)/С 23
Автор(ы) : Гофман А. В., Спивак М. А., Розен В. В., Салий В. Н.
Заглавие : Сборник задач по математической логике и алгебре множеств : сборник задач . -2-е изд., испр. и доп.
Выходные данные : Саратов: Изд-во Сарат. ун-та , 1969
Колич.характеристики :90 с.: черт.; 20 см
Цена : 0.16 р.
ГРНТИ : 27.03.01.33 + 27.17.01.33
УДК : 510.6+519.6(076)
Предметные рубрики: Математика-- Математическая логика
Математика-- Алгебра
Ключевые слова (''Своб.индексиров.''): математическая логика--алгебра множеств--двоичная булевая алгебра--исчисление высказываний--предикаты--бинарные отношения
Найти похожие

Вид документа : Однотомное издание
Шифр издания : 51/Н 73
Автор(ы) : Новиков П. С.
Заглавие : Элементы математической логики : научное издание . -2-е изд., испр.
Выходные данные : М.: Наука, 1973
Колич.характеристики :399 с. ; 21 см
Цена : 1.43 р.
ГРНТИ : 27.03
УДК : 51
Предметные рубрики: Математика-- Математическая логика
Ключевые слова (''Своб.индексиров.''): аксиоматическая арифметика--теория доказательств--логика предикатов--исчисление высказываний
Аннотация: Одной из основных задач математической логики остается анализ оснований математики.
Найти похожие

Вид документа : Однотомное издание
Шифр издания : 517/К 49
Автор(ы) : Клини С. К.
Заглавие : Математическая логика : научное издание
Выходные данные : М.: Мир, 1973
Колич.характеристики :480 с. ; 22 см
Примечания : Указ.: с. 471-478
Цена : 2.50 р.
ГРНТИ : 27.03
УДК : 517.11
Предметные рубрики: МАТЕМАТИКА-- МАТЕМАТИЧЕСКАЯ ЛОГИКА
Ключевые слова (''Своб.индексиров.''): исчисление высказываний--исчисление предикатов--вычислимость--разрешимость--теория моделей--счетные множества
Аннотация: Раскрывает основы математической логики, рекурсивные функции и основания математики.
Найти похожие

Вид документа : Однотомное издание
Шифр издания : 510(07)/Э 19
Автор(ы) : Эдельман С. Л.
Заглавие : Математическая логика : учеб. пособие
Выходные данные : М.: Высшая школа, 1975
Колич.характеристики :176 с.: ил.; 20 см
Примечания : Библиогр.: с. 172 (14 назв.). - Гриф: допущено М-вом просвещения СССР в качестве учеб. пособия для студ. пед. ин-тов
Цена : 0.30 р.
ГРНТИ : 27.03.01.33
УДК : 510.6(07)
Предметные рубрики: Математика-- Математическая логика
Ключевые слова (''Своб.индексиров.''): алгебра высказываний--алгебра предикатов--исчисление высказываний--аксиомы--отношение эквивалентности
Аннотация: Учебное пособие соответствует программе курса "Математическая логика" для пединститутов. Рассматривается теория алгебры высказываний, алгебры предикатов, исчисления высказываний и предикатов. Изложение сопровождается рядом примеров, способствующих усвоению логики математических методов. Включены задачи и упражнения по каждому из разделов.
Найти похожие

Вид документа : Однотомное издание
Шифр издания : 51/М 50
Автор(ы) : Мендельсон Э.
Заглавие : Введение в математическую логику : научное издание . -2-е изд., испр.
Параллельн. заглавия :Introduction to mathematical logic/ E. Mendelson
Выходные данные : М.: Изд-во "Наука", 1976
Колич.характеристики :320 с. ; 22 см
Примечания : Библиогр.: с. 296-309. - Загл. парал. на англ. яз.
Цена : 1.65 р.
ГРНТИ : 27.03
УДК : 510.6
Предметные рубрики: Математика-- Математическая логика
Ключевые слова (''Своб.индексиров.''): исчисление высказываний--теории первого порядка--формальная арифметика--аксиоматическая теория множеств--эффективная вычислимость--доказательство непротиворечивости арифметики
Аннотация: В книге дается доступное для начинающего читателя и достаточно полное изложение основных разделов современной математической логики и многих ее приложений.
Найти похожие

Вид документа : Однотомное издание
Шифр издания : 22.12
Автор(ы) : Косовский, Николай Кириллович
Заглавие : Элементы математической логики и ее приложения к теории субрекурсивных алгоритмов : учеб. пособие
Выходные данные : Ленинград: Издательство Ленинградского государственного университета, 1981
Колич.характеристики :192 с.: ил.
Примечания : Библиогр.: с. 75
Цена : 0.40 р.
ББК : 22.12
Предметные рубрики: Математика-- Математическая логика
Ключевые слова (''Своб.индексиров.''): булевы функции--исчисление высказываний--логические исчисления--математическая логика--пособия для вузов--предикты--секвенциальное исчисление--система цермело-френкеля--субрекурсивные алгоритмы
Найти похожие

Вид документа : Однотомное издание
Шифр издания : 22.144я73
Автор(ы) : Горбатов, Вячеслав Афанасьевич
Заглавие : Основы дискретной математики : учеб. пособие для ВУЗов
Выходные данные : Москва: Высшая школа, 1986
Колич.характеристики :311 с
Примечания : Библиогр.: с. 304-305. - Предм. указ.: с. 306
Цена : 01.00 р.
ББК : 22.144я73
Предметные рубрики: Математика-- Алгебра
Ключевые слова (''Своб.индексиров.''): аксиоматика теории множеств--алгебра отношений--бинарные отношения--взвешенные графы--вложение графов--дискретная математика--дифференцирование графов--дифференцирование мографов--исчисление высказываний--исчисление предикатов--класс днф--кодирование внутренних состояний--комбинаторные алгоритмы--логика высказываний--логические схемы--математическая логика--матричное задание--минимизация булевых функций--минимизация представления множеств--множество--модели--моделирование автоматных систем--общая алгебра--операции--операционные автоматы--паросочетания--покрытия--полнота--пособия для вузов--прикладная теория алгоритмов--проектирование автоматов--раскраска графов--решетки--связность графа--сети петри--синтез логических схем--структурное проектирование автоматов--теория графов--теория мографов--теория формальных грамматик--устойчивость--формальные грамматики--фундаментальные алгебры--функции--характеризационный анализ--характеризация раскраски--характеризация реберности--цикломатика--частичное упорядочение мографа
Аннотация: В книге излагаются основы алгебраических систем, математической логики, теории графов и мографов, теории формальных грамматик и автоматов, прикладной теории алгоритмов и характеризации моделей, которые в совокупности образуют единый методически взаимосвязанный курс "Дискретная математика".
Найти похожие

10.

Вид документа : Многотомное издание
Шифр издания : 16(075)/В 65
Автор(ы) : Войшвилло Е. К.
Заглавие : Логика как часть теории познания и научной методологии (фундаментальный курс): учеб. пособие/ Е. К. Войшвилло, М. Г. Дегтярев. Кн. 1
Выходные данные : М.: Наука, 1994
Колич.характеристики :312 с. ; 21 см
ISBN, Цена 5-02-013514-3: Б.ц.
ГРНТИ : 02.21.01.33
УДК : 16(075)
Предметные рубрики: Философия-- Логика
Ключевые слова (''Своб.индексиров.''): классическая логика--исчисление высказываний--релевантная логика--алгебра высказываний--логические исчисления--синтаксис--семантика
Аннотация: Учебное пособие представляет собой систематическое изложение обширного курса логики, включающее логический анализ языка как знаковой системы, символическую логику (классическую и релевантную).
Найти похожие

11.

Вид документа : Многотомное издание
Шифр издания : 16(075)/В 65
Автор(ы) : Войшвилло Е. К.
Заглавие : Логика как часть теории познания и научной методологии (фундаментальный курс): учеб. пособие/ Е. К. Войшвилло, М. Г. Дегтярев. Кн. 2
Выходные данные : М.: Наука, 1994
Колич.характеристики :333 с.: ил.; 21 см
ISBN, Цена 5-02-013515-1: Б.ц.
ГРНТИ : 02.21.01.33
УДК : 16(075.8)
Предметные рубрики: Философия-- Логика
Ключевые слова (''Своб.индексиров.''): классическая логика--исчисление высказываний--релевантная логика--алгебра высказываний--логические исчисления--синтаксис--семантика
Аннотация: Учебное пособие представляет собой систематическое изложение обширного курса логики, включающее логический анализ языка как знаковой системы, символическую логику (классическую и релевантную).
Найти похожие

12.

Вид документа : Однотомное издание
Шифр издания : 681.3/С 83
Автор(ы) : Страбыкин Д. А.
Заглавие : Логический вывод в системах обработки знаний
Выходные данные : СПб.: СПбГЭТУ, 1998
Колич.характеристики :164 с.: ил.; 20см
Коллективы : Вятский гос. техн. ун-т
ISBN, Цена 5762902250: 27.00 р.
ГРНТИ : 50.63.17
УДК : 681.3.015
ББК : 32.97
Предметные рубрики: Вычислительная техника-- Обработка данных
Ключевые слова (''Своб.индексиров.''): обработка данных--методы логического вывода--исчисление высказываний--дедуктивный вывод--абдуктивный вывод--исчисление предикатов--базовый метод параллельного дедуктивного вывода--обобщенный метод параллельного дедуктивного вывода--метод параллельного абдуктивного вывода
Аннотация: Рассматриваются теория и методы параллельных вычислений для дедуктивного и абдуктивного выводов на знаниях, представленных в виде логических выражений. Анализируются машины и методы логического вывода, применяемые в системах обработки знаний. Дается описание формальных систем двух классов: исчисления высказываний и исчисления предикатов, в рамках которых определяется операция деления дизъюнктов и разрабатываются методы параллельного детективного и абдуктивного выводов. Приводятся примеры решения логических задач и результаты сравнения методов, основанных на делении дизъюнктов, с резолюционными методами. Для научных работников и специалистов, связанных с созданием и применением систем обработки знаний, а также для аспирантов и студентов.
Найти похожие

13.

Вид документа : Однотомное издание
Шифр издания : 51(075)/Л 65
Автор(ы) : Лихтарников Л. М.
Заглавие : Математическая логика. Курс лекций. Задачник-практикум и решения : учеб. пособие для студ. вузов, обучающихся по математическим спец.
Выходные данные : СПб.: Лань, 1998
Колич.характеристики :288 с. ; 21см
ISBN, Цена 5811400829: 35р. р.
ГРНТИ : 27.03.01.33
УДК : 510.6(075.8)
ББК : 22
Предметные рубрики: Математика-- Математическая логика
Ключевые слова (''Своб.индексиров.''): алгебра логики--логика предикатов--алгоритмы--исчисление высказываний
Аннотация: Учебное пособие предназначено для студентов университетов и пед. институтов, изучающих курс математической логики.
Найти похожие

14.

Вид документа : Однотомное издание
Шифр издания : 510(075)/Л 13
Автор(ы) : Лавров И. А.
Заглавие : Математическая логика : учеб. пособие
Выходные данные : М.: ИЦ "Академия", 2006
Колич.характеристики :240 с. ; 22 см
Серия: Университетский учебник .
Прикладная математика и информатика
Примечания : Библиогр.: с. 230 (14 назв.). - Гриф: допущено М-вом образования и науки Рос. Федерации в качестве учеб. пособия для студ. вузов, обуч. по техн. и естеств.-науч. спец.
ISBN, Цена 5-7695-2735-8: 238.70 р.
ГРНТИ : 27.03.01.33
УДК : 510.6(075.8)
ББК : 22.12
Предметные рубрики: Математика-- Математическая логика
Ключевые слова (''Своб.индексиров.''): семантика--синтаксис--аксиоматические теории--теории множеств--геометрические теории--интерпретации--исчисление высказываний--исчисление предикатов--логические исчисления--алгебраические системы--логические системы
Аннотация: В учебном пособии изложены основы современного подхода к изучению математических теорий с привлечением логических понятий и методов, а также концепция программы Д. Гильберта о построении математических теорий аксиоматическим путем. Рассмотрены аксиоматические теории для множеств натуральных и действительных чисел и для геометрии.
Найти похожие

15.

Вид документа : Однотомное издание
Шифр издания : 51(07)/Л 65
Автор(ы) : Лихтарников Л. М., Сукачева Т. Г.
Заглавие : Математическая логика. Курс лекций. Задачник-практикум и решения : учеб. пособие . -3-е изд., испр.
Выходные данные : СПб.; М.; Краснодар: Лань, 2008
Колич.характеристики :288 с. ; 21 см
Серия: Учебники для вузов. Специальная литература
Примечания : Библиогр.: с. 273 (12 назв.)
ISBN, Цена 978-5-8114-0082-9: 304.48 р.
ГРНТИ : 27.01.01.33
УДК : 510.6(07)
ББК : 22.12
Предметные рубрики: Математика-- Математическая логика
Ключевые слова (''Своб.индексиров.''): математика--математическая логика--алгебра логики--исчисление высказываний--логика предикатов--математические теории--алгоритмы--задачник
Аннотация: Учебное пособие предназначено дли студентов университетов и педагогических институтов, изучающих курс математической логики. Включает в себя разделы: Алгебра логики, исчисление высказываний, логика предикатов, математические теории, алгоритмы.
Найти похожие

16.

Вид документа : Однотомное издание
Шифр издания : 519(075)/И 20
Автор(ы) : Иванов Б. Н.
Заглавие : Дискретная математика : алгоритмы и программы : расширенный курс : учеб. пособие
Выходные данные : М.: Известия, 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++.
Найти похожие

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

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

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

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

Расширенный

Авторизация

Фамилия

Пароль

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

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

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