| начало | написать нам | в избранное | сделать стартовой |
ДЛЯ РАБОТЫ С БАЗАМИ ОГРАНИЧЕННОГО ДОСТУПА ТРЕБУЕТСЯ АВТОРИЗАЦИЯ
ДАННАЯ ВЕРСИЯ СИСТЕМЫ НЕ ПОДДЕРЖИВАЕТСЯ!!! БАЗЫ НЕ ОБНОВЛЯЮТСЯ!!! ПОЛЬЗУЙТЕСЬ НОВОЙ ВЕРСИЕЙ ПОИСКОВОЙ СИСТЕМЫ!!! >>>

Базы данных


Электронный каталог - результаты поиска

Виды поиска
Электронный каталог
ЭБС "ЛАНЬ"
ЭБС "ZNANIUM.com" (ИД "ИНФРА-М")
ЭБС "ЮРАЙТ"
ЭБС "АЙБУКС"
ЭБС "РУКОНТ"
ЭБС "IPRBOOKS"
ЭБС "BOOK.ru"
Электронная библиотека
Известные деятели культуры в Саратовской губернии
Работы В. А. Артисевич и литература о ней
Издания вузовских библиотек Среднего и Нижнего Поволжья
Публикации учёных СГУ
Краеведческий обзор
Поступления журналов в ЗНБ СГУ
БД коллекций в фонде ЗНБ СГУ
БД выпускных квалификационных работ
Сводный каталог библиотек (СГУ, СГТУ, ЦБС)
Область поиска
В текущей базе данных найдено документов :8
 В других БД по вашему запросу найдено:ЭБС "ЛАНЬ" (1)Сводный каталог библиотек (СГУ, СГТУ, ЦБС) (19)
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>KL=логические исчисления<.>)
Общее количество найденных документов : 8
Показаны документы с 1 по 8
1.
Учебные отделы, A853505-ОХФ, A853506-ОХФ,
   Войшвилло, Евгений Казимирович
    Логика как часть теории познания и научной методологии. Фундаментальный курс [Текст] : учеб. пособие для студентов филос. фак. и преподавателей логики : [в 2 кн.] / Е. К. Войшвилло, М. Г. Дегтярев. - Москва : Наука.
   Кн. 1. - Москва : Наука, 1994. - 311 с. - ISBN 5-02-013514-3 : 3000.00 р.
На обл. и тит. л.: Прогр. "Обновление гуманит. образования в России"
УДК
16(075.8)

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

Кл.слова (ненормированные):
познание -- язык -- знаки -- логический анализ языка -- классическая логика -- релевантная логика -- символическая логика -- дедукция -- логические исчисления


Доп. точки доступа:
Дегтярев, Михаил Григорьевич
Экземпляры всего: 3
ОХФ (2), ОУОГН (1)
Найти похожие
2.
A871132-ОХФ
    Смирнов, Владимир Александрович.
    Теория логического вывода [Текст] / В. А. Смирнов. - Москва : РОССПЭН, 1999. - 318 с. : портр. - Библиогр. - ISBN 5-8243-0046-1 (в пер.) : 40.00 р.
УДК
16
929Смирнов

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

Кл.слова (ненормированные):
логика -- логические системы -- логический вывод -- логические исчисления -- классическая логика -- формальная логика -- персоналии



Экземпляры всего: 1
ОХФ (1)
Найти похожие
3.
A904128-ОХФ
    Новиков, Федор Александрович.
    Дискретная математика для программистов [Текст] : учебное пособие / Ф. А. Новиков. - Санкт-Петербург ; Москва ; Харьков; Минск : Питер, 2001. - 301, [3] с. - ISBN 5-272-00183-4 (в пер.) : 86.49 р.
УДК
519.1(075.8)

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

Кл.слова (ненормированные):
дискретная математика -- комбинаторика -- Булевы функции -- кодирование -- логические исчисления -- графы -- алгебраические структуры
Экземпляры всего: 1
ОХФ (1)
Найти похожие
4.
A905763-ОХФ
    Новиков, Федор Александрович.
    Дискретная математика для программистов [Текст] : учебник / Ф. А. Новиков. - Санкт-Петербург ; Москва ; Харьков; Минск : Питер, 2002. - 301, [3] с. - ISBN 5-272-00183-4 (в пер.) : 89.89 р.
УДК
519.1(075.8)

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

Кл.слова (ненормированные):
дискретная математика -- комбинаторика -- Булевы функции -- кодирование -- логические исчисления -- графы -- алгебраические структуры -- множества -- связность -- раскраска графов
Экземпляры всего: 1
ОХФ (1)
Найти похожие
5.
A908281-ОХФ
    Новиков, Федор Александрович.
    Дискретная математика для программистов [Текст] : учеб. пособие для студентов вузов, обучающихся по направлению подготовки дипломир. специалистов "Информатика и вычислительная техника" / Ф. А. Новиков. - 2-е изд. - Москва ; Санкт-Петербург [и др.] : Питер, 2004. - 363, [5] с. : ил., табл. - (Учебник для вузов). - Библиогр.: с. 349-350 (28 назв.). - ISBN 5-94723-741-5 (в пер.) : 91.60 р.
УДК
519.1(075.8)

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

Кл.слова (ненормированные):
дискретная математика -- комбинаторика -- Булевы функции -- кодирование -- графы -- связность -- логические исчисления -- алгебраические структуры -- множества -- раскраска графов
Экземпляры всего: 1
ОХФ (1)
Найти похожие
6.
A963555-ОХФ
    Васюков, Владимир Леонидович.
    Категорная логика [Текст] / В. Л. Васюков ; Рос. акад. наук, Ин-т философии. - Москва : АНО Ин-т логики [изд.], 2005. - 194 с. - Библиогр.: с. 185-190 . - Предм. указ.: с. 191-194. - ISBN 5-85593-145-5 : 65.00 р.
УДК
161/162

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

Кл.слова (ненормированные):
категории логики -- дедукция -- дедуктивные системы -- логические исчисления



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

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

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



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

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

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



Экземпляры всего: 1
ОХФ-ЧЗ-4 (1)
Найти похожие
 
Стандартный (по одному полю)
По словарю (по одному полю)
Профессиональный (по нескольким полям со словарями)
Распределенный (г. Саратов)
Расширенный
Авторизация
Фамилия
Пароль
 
Заявка на регистрацию в ЭБС

Возникли проблемы? Пишите на oma@info.sgu.ru
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)