Web ИРБИС


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

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

Базы данных

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

Виды поиска

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

ЭБС "ЛАНЬ"

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Учебные отделы, A852587-ОХФ, A852588-ОХФ, A852589-ОХФ,
Бочаров, Вячеслав Александрович.
Основы логики [Текст] : учебник / В. А. Бочаров, В. И. Маркин. - Москва : Космополис, 1994. - 272 с. - ISBN 5-900360-11-3 : 3000.00 р.
На обл. и тит. л.: Прогр."Обновление гуманит. образования в России"

УДК

16(075.8)

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

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

Доп. точки доступа:
Маркин, Владимир Ильич
Экземпляры всего: 4
ОХФ (3), ОУОГН (1)
Найти похожие

A852599-ОХФ

Логика и клиническая диагностика: Теоретические основы [Текст] : учеб. для мед. вузов / В. А. Смирнов, А. М. Анисов, Г. П. Арутюнов. - Москва : Наука, 1994. - 297 с. : ил., табл. - ISBN 5-02-013593-3 : 3000.00 р.
На обл. и тит. л.: Прогр."Обновление гуманит. образования в России"

УДК

[16+616-071](075.8)

Рубрики: логика; медицина--логика--патология

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

Доп. точки доступа:
Смирнов, В. А.
Анисов, А. М.
Арутюнов, Г. П.
Экземпляры всего: 1
ОХФ (1)
Найти похожие

A856107-ОХФ
Переверзев, Василий Николаевич.
Логистика [Текст] : справ. кн. по логике / Василий Николаевич Переверзев. - Москва : Мысль, 1995. - 222 с. : ил. - Библиогр. - ISBN 5-244-00798-X (в пер.) : 4500.00 р.

УДК

16(035)

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

Кл.слова (ненормированные):
история логики -- понятия -- суждения -- умозаключения -- высказывания -- логический синтаксис -- логическая семантика -- логическая прагматика -- логика предикатов -- логистика -- логика
Экземпляры всего: 1
ОХФ (1)
Найти похожие

A872124-ОХФ
   Столбоушкин, Алексей Петрович
    Математические основания информатики [Текст] : учеб. пособие / А. П. Столбоушкин, М. А. Тайцлин. - Тверь : [б. и.].
   Ч. 1. - Тверь : [б. и.], 1998. - 170, [2] с. - ISBN [Б. и.] : 15.00 р.

УДК

510.6(075.8)

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

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

Доп. точки доступа:

Тайцлин, М. А.
Экземпляры всего: 1
ОХФ (1)
Найти похожие

A874787-ОХФ, A874918-ОХФ, A874919-ОХФ, A874920-ОХФ
Гамова, Алла Николаевна.
Формальная логика [Текст] : учеб. пособие для студентов и аспирантов фак. гуманитар. и социал. наук / А. Н. Гамова. - Саратов : Издательство Саратовского университета, 2001. - 71, [1] с. - Библиогр. - ISBN 5-292-2589-5 : 20.00 р.

УДК

16(075.8)

510.6(075.8)

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

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

Кл.слова (ненормированные):
формальная логика -- суждения -- умозаключения -- математическая логика -- логика высказываний -- логика предикатов
Экземпляры всего: 4
ОХФ (4)
Найти похожие

A878429-ОХФ
Смирнов, Владимир Александрович.
Логические методы анализа научного знания [Текст] / В. А. Смирнов ; . - Москва : Эдиториал УРСС, 2002. - 263, [1] с. - Библиогр. - ISBN 5-8360-0308-4 (в пер.) : 65.00 р.

УДК

510.6:1

929Смирнов

Рубрики: философия--философия науки

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

Доп. точки доступа:

Экземпляры всего: 1
ОХФ (1)
Найти похожие

Учебные отделы, A839289-ОХФ, A839290-ОХФ, A839381-ОХФ, A879628-ОХФ, A879629-ОХФ,
Игошин, Владимир Иванович.
Математическая логика и теория алгоритмов [Текст] : Учеб. пособ. для студентов физ.-мат. спец. пед. ин-тов / Владимир Иванович Игошин. - Саратов : Издательство Саратовского университета, 1991. - 255, [2] c. - Библиогр. - ISBN 5-292-00259-3 (в пер.) : 25.00 р.

УДК

[510.5+510.6](075.8)

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

Кл.слова (ненормированные):
математическая логика -- алгоритмов теория -- исчисления высказываний -- логика предикатов -- булевы функции
Экземпляры всего: 24
ОХФ (5), ОУОЕН (19)
Найти похожие

A885327-ОХФ, A885328-ОХФ, A885329-ОХФ
Гамова, Алла Николаевна.
Формальная логика [Текст] : учеб. пособие для студентов и аспирантов фак. гуманитар. и социал. наук / А. Н. Гамова. - 2-е изд., доп. - Саратов : Издательство Саратовского университета, 2003. - 68, [4] с. : ил. - Библиогр. - ISBN 5-292-02575-5 : 25.00 р.

УДК

16(075.8)

510.6(075.8)

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

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

Кл.слова (ненормированные):
формальная логика -- суждения -- умозаключения -- математическая логика -- логика высказываний -- логика предикатов
Держатели документа:
ЗНБ СГУ
Экземпляры всего: 3
ОХФ (3)
Найти похожие

Учебные отделы, A888582-ОХФ, A888583-ОХФ, A888584-ОХФ,
Игошин, Владимир Иванович.
Математическая логика и теория алгоритмов [Текст] : учеб. пособие / В. И. Игошин. - Москва : Академия, 2004. - 446, [2] с. - (Высшее профессиональное образование). - Библиогр.: с. 435-442 (152 назв.). - ISBN 5-7695-1363-2 (в пер.) : 196.20 р., 196.00 р.
Есть автограф: Экз. 849133 : Игошин, Владимир Иванович

УДК

[510.5+510.6](075.8)

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

Кл.слова (ненормированные):
математическая логика -- алгоритмов теория -- булевы функции -- логика предикатов -- исчисления высказываний
Экземпляры всего: 197
ОУОЕН (194), ОХФ (3)
Найти похожие

10.

Учебные отделы, A961049-ОХФ, A961050-ОХФ, A961051-ОХФ,
Игошин, Владимир Иванович.
Задачи и упражнения по математической логике и теории алгоритмов [Текст] : учеб. пособие / В. И. Игошин. - Москва : Академия, 2005. - 302, [2] с. : ил. - (Высшее профессиональное образование. Педагогические специальности). - Библиогр.: с. 301 (22 назв.). - ISBN 5-7695-1364-0 (в пер.) : 194.10 р., 220.00 р., 194.00 р.

УДК

510.6(076.1)

510.5(076.1)

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

Кл.слова (ненормированные):
математическая логика -- алгоритмов теория -- булевы функции -- логика предикатов -- исчисления высказываний
Экземпляры всего: 197
ОХФ (3), ОУОЕН (194)
Найти похожие

11.

Учебные отделы, A968984-ОХФ, A968985-ОХФ-ЧЗ-4,
Игошин, Владимир Иванович.
Задачи и упражнения по математической логике и теории алгоритмов [Текст] : учеб. пособие / В. И. Игошин. - 2-е изд., стер. - Москва : Академия, 2006. - 302, [2] с. : табл. - (Высшее профессиональное образование. Педагогические специальности). - Библиогр.: с. 301 (22 назв.). - ISBN 5-7695-2914-8 (в пер.) : 259.16 р., 247.57 р.
Допущено М-вом образования Рос. Федерации в качестве учеб. пособия для студентов вузов, обучающихся по специальности 032100 "Математика"

УДК

[510.5+510.6](076.1)

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

Кл.слова (ненормированные):
математическая логика -- алгоритмов теория -- булевы функции -- логика предикатов -- исчисления высказываний
Экземпляры всего: 12
ОХФ (1), ОХФ-ЧЗ-4 (1), ОУОЕН (10)
Найти похожие

12.

Учебные отделы, A976329-ОХФ-ЧЗ-4,
Игошин, Владимир Иванович.
Задачи и упражнения по математической логике и теории алгоритмов [Текст] : учеб. пособие / В. И. Игошин. - 3-е изд., стер. - Москва : Академия, 2007. - 302, [2] с. - (Высшее профессиональное образование. Педагогические специальности). - Библиогр.: с. 301 (22 назв.). - ISBN 5-7695-3728-0 (в пер.) : 229.90 р.
Допущено М-вом образования Рос. Федерации в качестве учеб. пособия для студентов вузов, обучающихся по специальности 032100 "Математика"

УДК

510.5(076.1)

510.6(076.1)

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

Кл.слова (ненормированные):
математическая логика -- алгоритмов теория -- булевы функции -- логика предикатов -- исчисления высказываний
Экземпляры всего: 48
ОХФ-ЧЗ-4 (1), ОУОЕН (47)
Найти похожие

13.

Учебные отделы, A976416-ОХФ-ЧЗ-4,
Игошин, Владимир Иванович.
Математическая логика и теория алгоритмов [Текст] : учеб. пособие / В. И. Игошин. - 2-е изд., стер. - Москва : Академия, 2008. - 446, [2] с. - (Высшее профессиональное образование. Педагогические специальности). - Библиогр.: с. 435-442. - ISBN 978-5-7695-4593-1 (в пер.) : 320.10 р.
Допущено М-вом образования Рос. Федерации в качестве учеб. пособия для студентов вузов, обучающихся по специальности 050201 "Математика"

УДК

510.5(075.8)

510.6(075.8)

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

Кл.слова (ненормированные):
математическая логика -- алгоритмов теория -- булевы функции -- логика предикатов -- исчисления высказываний -- аксиоматические теории
Экземпляры всего: 48
ОХФ-ЧЗ-4 (1), ОУОЕН (47)
Найти похожие

14.

Учебные отделы,
Судоплатов, Сергей Владимирович.
Математическая логика и теория алгоритмов [Текст] : учеб. для студентов, обучающихся по направлениям 654600 Информатика и вычислительная техника, 654700 Информационные системы, 540200 Физико-математическое образование / С. В. Судоплатов, Е. В. Овчинникова ; Новосиб. гос. техн. ун-т. - Новосибирск : Изд-во НГТУ, 2008. - 223, [1] с. - (Высшее образование). - Библиогр.: с. 212-214. - ISBN 978-5-16-001975-8 (ИНФРА-М) (в пер.). - ISBN 978-5-7782-0458-4 (НГТУ) : 154.00 р.
Рекомендуется в качестве учеб. для студентов, обучающихся по направлениям 654600 Информатика и вычислительная техника, 654700 Информационные системы, 540200 Физико-математическое образование

УДК

510.5(075.8)

510.6(075.8)

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

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

Доп. точки доступа:
Овчинникова, Елена Викторовна
Экземпляры всего: 1
ОУОЕН (1)
Найти похожие

15.

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

УДК

510.6(075.8+076.5+076.1)

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

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

Доп. точки доступа:
Сукачева, Тамара Геннадьевна Сукачёва, Тамара Геннадьевна
Экземпляры всего: 1
ОХФ (1)
Найти похожие

16.

Учебные отделы, A915924-ОХФ-ЧЗ-4, A915925-ОХФ, A915926-ОХФ,
Шапорев, Сергей Дмитриевич.
Математическая логика [Текст] : курс лекций и практических занятий / С. Д. Шапорев. - Санкт-Петербург : БХВ-Петербург, 2007. - 410 с. : граф., табл. - (Учебное пособие). - Библиогр.: с. 405 (26 назв.). - Предм. указ.: с. 406-410. - ISBN 978-5-94157-702-6 (в пер.) : 149.20 р.
Допущено науч.-метод. советом по математике вузов Северо-Запада в качестве учеб. пособия для студентов вузов, обучающихся по специальностям 220200 "Автоматизированные системы обработки информации и управления", 171900 "Информационные системы в технике и технологиях"

УДК

510.6(075.8)

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

Кл.слова (ненормированные):
математическая логика -- алгоритмов теория -- исчисления высказываний -- исчисления предикатов -- логика предикатов
Экземпляры всего: 25
ОХФ-ЧЗ-4 (1), ОХФ (2), ОУОЕН (22)
Найти похожие

17.

A989306-ОХФ
Игошин, Владимир Иванович.
Математическая логика [Текст] : учебное пособие / В. И. Игошин. - Москва : Инфра-М, 2012. - 398, [2] с. + 1 эл. опт. диск (CD-ROM). - (Высшее образование). - Библиогр.: с. 389-392. - ISBN 978-5-16-005204-5 (в пер.) : 229.00 р.
Рекомендовано УМО по образованию в обл. подгот. пед. кадров в качестве учеб. пособия для студентов вузов, обучающихся по специальности 050201.65-математика

УДК

510.6(075.8)

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

Кл.слова (ненормированные):
математическая логика -- алгебра высказываний -- высказывания -- логика предикатов -- аксиоматические теории
Экземпляры всего: 1
ОХФ (1)
Найти похожие

18.

Учебные отделы, A996154-ОХФ, A996155-ОХФ-ЧЗ-4,
Игошин, Владимир Иванович.
Сборник задач по математической логике и теории алгоритмов [Текст] : учебное пособие / В. И. Игошин. - Москва : КУРС : ИНФРА-М, 2017. - 392 с. : ил., табл. - (Бакалавриат). - Библиогр.: с. 388-390 (50 назв.). - ISBN 978-5-906818-08-9 (КУРС) (в пер.). - ISBN 978-5-16-011429-3 (ИНФРА-М) : 1078.00 р.
Рекомендовано УМО по образованию в обл. подгот. пед. кадров в качестве учеб. пособия для студентов вузов, обучающихся по направлению 44.03.01 "Педагогическое образование" (квалификация Бакалавр)

УДК

510.5(076.1)

510.6(076.1)

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

Кл.слова (ненормированные):
математическая логика -- алгоритмов теория -- булевы функции -- логика предикатов -- логика высказываний -- исчисления высказываний
Экземпляры всего: 80
ОХФ (1), ОХФ-ЧЗ-4 (1), ОУОЕН (78)
Найти похожие

19.

Учебные отделы, A996156-ОХФ,
Игошин, Владимир Иванович.
Математическая логика [Текст] : учебное пособие / В. И. Игошин. - Москва : ИНФРА-М, 2017. - 398, [2] с. : ил., табл. - (Высшее образование: Бакалавриат). - Библиогр.: с. 389-392. - ISBN 978-5-16-011691-4 (print) (в пер.) : 1006.39 р.
Рекомендовано УМО по образованию в обл. подгот. пед. кадров в качестве учеб. пособия для студентов вузов, обучающихся по направлению подгот. 44.03.05 "Педагогическое образование" (квалификация (степень) "бакалавр")

УДК

510.6(075.8)

20.

Учебные отделы, A997145-ОХФ, A997146-ОХФ, A997147-ОХФ,
   Розен, Виктор Владимирович
    Введение в дискретную математику [Текст] : учебное пособие для студентов, изучающих курс дискретной математики и смежные дисциплины : 2 ч. / В. В. Розен, Ю. А. Бродская ; Сарат. нац. исслед. гос. ун-т им. Н. Г. Чернышевского. - Саратов : Издательство Саратовского университета, 2016 - . - ISBN 978-5-292-04411-6.
   Ч. 1. - Саратов : Издательство Саратовского университета, 2016. - 90, [2] с. : ил. - ). - Библиогр.: с. 89 (13 назв.). - ISBN 978-5-292-04407-9 (ч. 1) : 233.59 р., 233.76 р.

УДК

519.1(075.8)

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

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

Доп. точки доступа:
Бродская, Юлия Анатольевна
Экземпляры всего: 38
ОХФ (3), ОУОЕН (35)
Найти похожие

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

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

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

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

Расширенный

Авторизация

Фамилия

Пароль

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

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

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