Web ИРБИС


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

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

Базы данных

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

Виды поиска

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

ЭБС "ЛАНЬ"

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

   Войшвилло, Евгений Казимирович
    Логика как часть теории познания и научной методологии. Фундаментальный курс [Текст] : учеб. пособие для студентов филос. фак. и преподавателей логики : [в 2 кн.] / Е. К. Войшвилло, М. Г. Дегтярев. - Москва : Наука.
   Кн. 1. - Москва : Наука, 1994. - 311 с. - ISBN 5-02-013514-3 : 3000.00 р.
На обл. и тит. л.: Прогр. "Обновление гуманит. образования в России"

УДК

16(075.8)

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

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

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

Смирнов, Владимир Александрович.
Теория логического вывода [Текст] : научное издание / В. А. Смирнов. - Москва : РОССПЭН, 1999. - 318 с. : портр. - Библиогр. - ISBN 5-8243-0046-1 (в пер.) : 40.00 р.

УДК

929Смирнов

Рубрики: логика--логика--Россия, 20 в.

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

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

Новиков, Федор Александрович.
Дискретная математика для программистов [Текст] : учебное пособие / Ф. А. Новиков. - Санкт-Петербург ; Москва ; Харьков; Минск : Питер, 2001. - 301, [3] с. - ISBN 5-272-00183-4 (в пер.) : 86.49 р.

УДК

519.1(075.8)

Рубрики: математика--комбинаторный анализ--теория графов

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

Новиков, Федор Александрович.
Дискретная математика для программистов [Текст] : учебник / Ф. А. Новиков. - Санкт-Петербург ; Москва ; Харьков; Минск : Питер, 2002. - 301, [3] с. - ISBN 5-272-00183-4 (в пер.) : 89.89 р.

УДК

519.1(075.8)

Рубрики: математика--комбинаторный анализ--теория графов

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

Новиков, Ф. А.
Дискретная математика для программистов [Текст] : учеб. пособие для вузов / Ф. А. Новиков. - 2-е изд. - СПб. : Питер, 2004, 2005. - 364 с. : ил. ; 24 см. - (Учебник для вузов). - Библиогр.: с. 349-350 (28 назв.). - ISBN 5-94723-741-5 : 139.81 р.
Допущено М-вом образования РФ

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

Васюков, Владимир Леонидович.
Категорная логика [Текст] : научное издание / В. Л. Васюков ; Рос. акад. наук, Ин-т философии. - Москва : АНО Ин-т логики [изд.], 2005. - 194 с. - Библиогр.: с. 185-190 . - Предм. указ.: с. 191-194. - ISBN 5-85593-145-5 : 65.00 р.

УДК

161/162

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

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

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

Новиков, Федор Александрович.
Дискретная математика для программистов [Текст] : учеб. пособие : учебник / Ф. А. Новиков. - 2-е изд. - Москва ; Санкт-Петербург [и др.] : Питер, 2007. - 363, [5] с. : рис. - (Учебник для вузов). - Библиогр.: с. 349-350 (28 назв.). - Предм. указ.: с. 351-363. - ISBN 5-94723-741-5 (в пер.) : 114.00 р.
Рекомендовано М-вом образования Рос. Федерации в качестве учеб. для студентов вузов, обучающихся по экон. специальностям

УДК

519.1(075.8)

Рубрики: математика--комбинаторный анализ--теория графов

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

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

Новиков, Федор Александрович.
Дискретная математика [Текст] : для бакалавров и магистров : учебник / Ф. А. Новиков. - 2-е изд. - Москва ; Санкт-Петербург [и др.] : Питер, 2013. - 400 с. : ил. - (Учебник для вузов) (Стандарт третьего поколения). - Библиогр.: с. 386- 387 (31 назв.). - Предм. указ.: с. 388-399. - ISBN 978-5-496-00015-4 (в пер.) : 378.00 р.
Рекомендовано Учеб.-метод. об-нием по унив. политех. образованию в качестве учеб. для студентов вузов, обучающихся по направлению подготовки "Системный анализ и управление"

УДК

519.1(075.8)

Рубрики: математика--комбинаторный анализ--теория графов

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

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

Аляев, Ю. А.
Дискретная математика и математическая логика [Текст] : учебник / Ю. А. Аляев, С. Ф. Тюрин. - М. : Финансы и статистика, 2006. - 368 с. : ил. ; 21 см. - Библиогр.: с. 355-357 (41 назв.). - ISBN 5-279-03045-7 : 260.00 р.
Гриф: допущено УМО по образованию в обл. прикладной информатики в качестве учебника для студ. вузов, обучающихся по спец. "Прикладная информатика (по областям)" и др. экон. спец.

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

ББК 22.176 + 22.12

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

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

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

Доп. точки доступа:
Тюрин, С. Ф.
Найти похожие

10.

Новиков, Ф. А.
Дискретная математика для программистов [Текст] : учеб. пособие для вузов / Ф. А. Новиков. - 2-е изд. - М. [и др.] : Питер, 2006. - 364 с. : ил. ; 24 см. - (Учебник для вузов). - Библиогр.: с. 349-250 (28 назв.). - ISBN 5-94723-741-5 : 147.18 р.
Гриф: допущено М-вом образования РФ в качестве учеб. пособия для студ. вузов, обуч. по направ. подготовки дипломир. спец. "Информатика и вычислительная техника"

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

ББК 22.176

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

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

11.

Новиков, Ф. А.
Дискретная математика для программистов [Текст] : учеб. / Ф. А. Новиков. - 3-е изд. - СПб. [и др.] : Питер, 2009. - 384 с. : ил. ; 24 см. - (Учебник для вузов). - Библиогр.: с. 368-369 (31 назв.). - ISBN 978-5-91180-759-7 : 205.70 р.
Гриф: допущено М-вом образования и науки РФ в качестве учеб. пособия для студ. вузов, обучающихся по направлению подгот. дипломир. спец. "Информатика и вычислительная техника"

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

ББК 22.176

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

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

12.

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

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

ББК 22.12

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

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

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

13.

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

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

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

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

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

14.

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

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

15.

Новиков, Ф. А.
Дискретная математика для программистов [Текст] : учеб. пособие / Ф. А. Новиков. - 3-е изд. - СПб. [и др.] : Питер , 2008. - 384 с. : ил. ; 24 см. - (Учебник для вузов). - Библиогр.: с. 368-369 (31 назв.). - ISBN 978-5-91180-759-7 : 330.00 р.
Гриф: допущено М-вом образования и науки Рос. Федерации в качестве учеб. пособия для студентов вузов, обуч. по напр. подгот. дипломир. спец. "Информатика и вычислительная техника"

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

ББК 22.176

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

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

16.

Новиков, Ф. А.
Дискретная математика для программистов [Текст] : учеб. пособие / Ф. А. Новиков. - 2-е изд. - СПб. [и др.] : Питер , 2005. - 364 с. : ил. ; 24 см. - (Учебник для вузов). - Библиогр.: с. 349-350 (28 назв.) . - ISBN 5-94723-741-5 : 240.00 р.
Гриф: допущено М-вом образования Рос. Федерации в качестве учеб. пособия для студентов вузов, обучающихся по направлению подгот. дипломир. спец. "Информатика и вычислит. техника"

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

ББК 22.176

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

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

17.

Серебрянников, О. Ф.
Эвристические принципы и логические исчисления [Текст] : научное издание / О. Ф. Серебрянников ; отв. ред. Б. В. Бирюков ; Акад. наук СССР, Научный Совет по комплексной проблеме "Кибернетика". - М. : Изд-во "Наука", 1970. - Библиогр.: с. 280-282. - 0.81 р.

УДК

62-50

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

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

18.

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

ББК 22.12

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

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

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

19.

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

ББК 22.12

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

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

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

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

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

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

Расширенный

Авторизация

Фамилия

Пароль

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

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

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