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

Базы данных


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

Виды поиска
Электронный каталог
ЭБС "ЛАНЬ"
ЭБС "ZNANIUM.com" (ИД "ИНФРА-М")
ЭБС "ЮРАЙТ"
ЭБС "АЙБУКС"
ЭБС "РУКОНТ"
ЭБС "IPRBOOKS"
ЭБС "BOOK.ru"
Электронная библиотека
Известные деятели культуры в Саратовской губернии
Работы В. А. Артисевич и литература о ней
Издания вузовских библиотек Среднего и Нижнего Поволжья
Публикации учёных СГУ
Краеведческий обзор
Поступления журналов в ЗНБ СГУ
БД коллекций в фонде ЗНБ СГУ
БД выпускных квалификационных работ
Сводный каталог библиотек (СГУ, СГТУ, ЦБС)
Область поиска
В текущей базе данных найдено документов :20
 В других БД по вашему запросу найдено:ЭБС "ЛАНЬ" (2)Публикации учёных СГУ (2)Сводный каталог библиотек (СГУ, СГТУ, ЦБС) (45)
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>KL=логика предикатов<.>)
Общее количество найденных документов : 20
Показаны документы с 1 по 20
1.

Вид документа : Однотомное издание
Шифр издания : 268444
16(075)/Б86
Автор(ы) : Бочаров, Вячеслав Александрович, Маркин, Владимир Ильич
Заглавие : Основы логики : учебник
Выходные данные : Москва: Космополис, 1994
Колич.характеристики :272 с
Примечания : На обл. и тит. л.: Прогр."Обновление гуманит. образования в России"
ISBN, Цена 5-900360-11-3: 3000.00 р.
УДК : 16(075.8)
Предметные рубрики: логика-- логика
Ключевые слова (''Своб.индексиров.''): логика высказываний --логика предикатов --дедуктивные рассуждения--правдоподобные рассуждения--силлогистика--понятия--определения
Экземпляры : всего : ОХФ(3), ОУОГН(1)
Свободны : ОХФ(3), ОУОГН(1)
Найти похожие
2.

Вид документа : Однотомное издание
Шифр издания : 504167
16(075)+616-071/Л69
Автор(ы) : Смирнов В. А., Анисов А. М., Арутюнов Г. П.
Заглавие : Логика и клиническая диагностика: Теоретические основы : учеб. для мед. вузов
Выходные данные : Москва: Наука, 1994
Колич.характеристики :297 с.: ил., табл.
Примечания : На обл. и тит. л.: Прогр."Обновление гуманит. образования в России"
ISBN, Цена 5-02-013593-3: 3000.00 р.
УДК : [16+616-071](075.8)
Предметные рубрики: логика; медицина-- логика-- патология
Ключевые слова (''Своб.индексиров.''): логика рассуждений--логика предикатов--рассуждения правдоподобные--диагноз--клиническая диагностика--дифференциальная диагностика--понятия--логика высказываний
Экземпляры :ОХФ(1)
Свободны : ОХФ(1)
Найти похожие
3.

Вид документа : Однотомное издание
Шифр издания : 525181
16(03)/П27
Автор(ы) : Переверзев, Василий Николаевич
Заглавие : Логистика : Справ. кн. по логике
Выходные данные : Москва: Мысль, 1995
Колич.характеристики :222 с.: ил.
Примечания : Библиогр.
ISBN (в пер.), Цена 5-244-00798-X: 4500.00 р.
УДК : 16(035)
Предметные рубрики: логика-- логика
Ключевые слова (''Своб.индексиров.''): история логики--понятия--суждения--умозаключения--высказывания--логический синтаксис--логическая семантика--логическая прагматика--логика предикатов--логистика--логика
Экземпляры :ОХФ(1)
Свободны : ОХФ(1)
Найти похожие
4.

Вид документа : Многотомное издание
Шифр издания : 254338
51.01(075)/С81
Автор(ы) : Столбоушкин, Алексей Петрович
Заглавие : Математические основания информатики: учеб. пособие/ А. П. Столбоушкин, М. А. Тайцлин. Ч. 1
Выходные данные : Тверь: [б. и.], 1998
Колич.характеристики :170, [2] с
ISBN, Цена [Б. и.]: 15.00 р.
УДК : 510.6(075.8)
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика--информатика--автоматы--логика предикатов
Экземпляры :ОХФ(1)
Свободны : ОХФ(1)
Найти похожие
5.

Вид документа : Однотомное издание
Шифр издания : 119088
16(075)+51.01(075)+017.7:1+017.7:51/Г18
Автор(ы) : Гамова, Алла Николаевна
Заглавие : Формальная логика : учеб. пособие для студентов и аспирантов фак. гуманитар. и социал. наук
Выходные данные : Саратов: Издательство Саратовского университета, 2001
Колич.характеристики :71, [1] с
Примечания : Библиогр.
ISBN, Цена 5-292-2589-5: 20.00 р.
УДК : 16(075.8) + 510.6(075.8)
Предметные рубрики: логика-- логика
математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): формальная логика--суждения--умозаключения--математическая логика--логика высказываний--логика предикатов
Экземпляры : всего : ОХФ(4)
Свободны : ОХФ(4)
Найти похожие
6.

Вид документа : Однотомное издание
Шифр издания : 502316
1Н252/С50
Автор(ы) : Смирнов, Владимир Александрович
Заглавие : Логические методы анализа научного знания
Выходные данные : Москва: Эдиториал УРСС, 2002
Колич.характеристики :263, [1] с
Примечания : Библиогр.
ISBN (в пер.), Цена 5-8360-0308-4: 65.00 р.
УДК : 510.6:1 + 929Смирнов
Предметные рубрики: философия-- философия науки
Ключевые слова (''Своб.индексиров.''): научное знание--методология науки--теория--язык--логика предикатов--математическая логика--персоналии--эмпирическая интерпретация--философия математической логики
Экземпляры :ОХФ(1)
Свободны : ОХФ(1)
Найти похожие
7.

Вид документа : Однотомное издание
Шифр издания : 083139
51.01(075)+51.017+017.7:51/И26
Автор(ы) : Игошин, Владимир Иванович
Заглавие : Математическая логика и теория алгоритмов : Учеб. пособ. для студентов физ.-мат. спец. пед. ин-тов
Выходные данные : Саратов: Издательство Саратовского университета, 1991
Колич.характеристики :255, [2] c.
Примечания : Библиогр.
ISBN (в пер.), Цена 5-292-00259-3: 25.00 р.
УДК : [510.5+510.6](075.8)
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика--алгоритмов теория--исчисления высказываний--логика предикатов--булевы функции
Экземпляры : всего : ОХФ(5), ОУОЕН(19)
Свободны : ОХФ(4), ОУОЕН(19)
Найти похожие
8.

Вид документа : Однотомное издание
Шифр издания : 307583
16(075)+51.01(075)+017.7:1+017.7:51/Г18
Автор(ы) : Гамова, Алла Николаевна
Заглавие : Формальная логика : учеб. пособие для студентов и аспирантов фак. гуманитар. и социал. наук . -2-е изд., доп.
Выходные данные : Саратов: Издательство Саратовского университета, 2003
Колич.характеристики :68, [4] с.: ил.
Примечания : Библиогр.
ISBN, Цена 5-292-02575-5: 25.00 р.
УДК : 16(075.8) + 510.6(075.8)
Предметные рубрики: логика-- логика
математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): формальная логика--суждения--умозаключения--математическая логика--логика высказываний--логика предикатов
Экземпляры : всего : ОХФ(3)
Свободны : ОХФ(3)
Найти похожие
9.

Вид документа : Однотомное издание
Шифр издания : 747742
51.01(075)51.017/И26
Автор(ы) : Игошин, Владимир Иванович
Заглавие : Математическая логика и теория алгоритмов : учеб. пособие
Выходные данные : Москва: Академия, 2004
Колич.характеристики :446, [2] с
Серия: Высшее профессиональное образование
Примечания : Библиогр.: с. 435-442 (152 назв.)
ISBN (в пер.), Цена 5-7695-1363-2: 196.20, 196.00, р.
УДК : [510.5+510.6](075.8)
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика--алгоритмов теория--булевы функции--логика предикатов--исчисления высказываний
Экземпляры : всего 5: ОУОЕН(194), ОХФ(3)
Свободны : ОУОЕН(194), ОХФ(2)
Найти похожие
10.

Вид документа : Однотомное издание
Шифр издания : 346339
51.01(076)51.017/И 269
Автор(ы) : Игошин, Владимир Иванович
Заглавие : Задачи и упражнения по математической логике и теории алгоритмов : учеб. пособие
Выходные данные : Москва: Академия, 2005
Колич.характеристики :302, [2] с.: ил.
Серия: Высшее профессиональное образование. Педагогические специальности
Примечания : Библиогр.: с. 301 (22 назв.)
ISBN (в пер.), Цена 5-7695-1364-0: 194.10, 220.00, 194.00, р.
УДК : 510.6(076.1) + 510.5(076.1)
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика--алгоритмов теория--булевы функции--логика предикатов--исчисления высказываний
Экземпляры : всего 5: ОХФ(3), ОУОЕН(194)
Свободны : ОХФ(3), ОУОЕН(194)
Найти похожие
11.

Вид документа : Однотомное издание
Шифр издания : 699714
51.01(076)51.017/И 269
Автор(ы) : Игошин, Владимир Иванович
Заглавие : Задачи и упражнения по математической логике и теории алгоритмов : учеб. пособие . -2-е изд., стер.
Выходные данные : Москва: Академия, 2006
Колич.характеристики :302, [2] с.: табл.
Серия: Высшее профессиональное образование. Педагогические специальности
Примечания : Библиогр.: с. 301 (22 назв.). - Допущено М-вом образования Рос. Федерации в качестве учеб. пособия для студентов вузов, обучающихся по специальности 032100 "Математика"
ISBN (в пер.), Цена 5-7695-2914-8: 259.16, 247.57, р.
УДК : [510.5+510.6](076.1)
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика--алгоритмов теория--булевы функции--логика предикатов--исчисления высказываний
Экземпляры : всего : ОХФ(1), ОХФ-ЧЗ-4(1), ОУОЕН(10)
Свободны : ОХФ(1), ОХФ-ЧЗ-4(1), ОУОЕН(10)
Найти похожие
12.

Вид документа : Однотомное издание
Шифр издания : 344218
Автор(ы) : Игошин, Владимир Иванович
Заглавие : Задачи и упражнения по математической логике и теории алгоритмов : учеб. пособие . -3-е изд., стер.
Выходные данные : Москва: Академия, 2007
Колич.характеристики :302, [2] с
Серия: Высшее профессиональное образование. Педагогические специальности
Примечания : Библиогр.: с. 301 (22 назв.). - Допущено М-вом образования Рос. Федерации в качестве учеб. пособия для студентов вузов, обучающихся по специальности 032100 "Математика"
ISBN (в пер.), Цена 5-7695-3728-0: 229.90 р.
УДК : 510.5(076.1) + 510.6(076.1)
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика--алгоритмов теория--булевы функции--логика предикатов--исчисления высказываний
Экземпляры : всего 2: ОХФ-ЧЗ-4(1), ОУОЕН(47)
Свободны : ОХФ-ЧЗ-4(1), ОУОЕН(47)
Найти похожие
13.

Вид документа : Однотомное издание
Шифр издания : 252353
Автор(ы) : Игошин, Владимир Иванович
Заглавие : Математическая логика и теория алгоритмов : учеб. пособие . -2-е изд., стер.
Выходные данные : Москва: Академия, 2008
Колич.характеристики :446, [2] с
Серия: Высшее профессиональное образование. Педагогические специальности
Примечания : Библиогр.: с. 435-442. - Допущено М-вом образования Рос. Федерации в качестве учеб. пособия для студентов вузов, обучающихся по специальности 050201 "Математика"
ISBN (в пер.), Цена 978-5-7695-4593-1: 320.10 р.
УДК : 510.5(075.8) + 510.6(075.8)
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика--алгоритмов теория--булевы функции--логика предикатов--исчисления высказываний--аксиоматические теории
Экземпляры : всего 2: ОХФ-ЧЗ-4(1), ОУОЕН(47)
Свободны : ОХФ-ЧЗ-4(1), ОУОЕН(47)
Найти похожие
14.

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

Вид документа : Однотомное издание
Шифр издания : 624843
Автор(ы) : Лихтарников, Леонид Моисеевич, Сукачева, Тамара Геннадьевна
Заглавие : Математическая логика : курс лекций : задачник практикум и решения . -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.

Вид документа : Однотомное издание
Шифр издания : 355183
Автор(ы) : Шапорев, Сергей Дмитриевич
Заглавие : Математическая логика : курс лекций и практических занятий
Выходные данные : Санкт-Петербург: БХВ-Петербург, 2007
Колич.характеристики :410 с.: граф., табл.
Серия: Учебное пособие
Примечания : Библиогр.: с. 405 (26 назв.). - Предм. указ.: с. 406-410. - Допущено науч.-метод. советом по математике вузов Северо-Запада в качестве учеб. пособия для студентов вузов, обучающихся по специальностям 220200 "Автоматизированные системы обработки информации и управления", 171900 "Информационные системы в технике и технологиях"
ISBN (в пер.), Цена 978-5-94157-702-6: 149.20 р.
УДК : 510.6(075.8)
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика--алгоритмов теория--исчисления высказываний--исчисления предикатов--логика предикатов
Экземпляры : всего : ОХФ-ЧЗ-4(1), ОХФ(2), ОУОЕН(22)
Свободны : ОХФ-ЧЗ-4(1), ОХФ(2), ОУОЕН(22)
Найти похожие
17.

Вид документа : Однотомное издание
Шифр издания : 510.6(075.8)/И 269
Автор(ы) : Игошин, Владимир Иванович
Заглавие : Математическая логика : учебное пособие
Выходные данные : Москва: Инфра-М, 2012
Колич.характеристики :398, [2] с. + 1 эл. опт. диск (CD-ROM)
Серия: Высшее образование
Примечания : Библиогр.: с. 389-392. - Рекомендовано УМО по образованию в обл. подгот. пед. кадров в качестве учеб. пособия для студентов вузов, обучающихся по специальности 050201.65-математика
ISBN (в пер.), Цена 978-5-16-005204-5: 229.00 р.
УДК : 510.6(075.8)
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика--алгебра высказываний--высказывания--логика предикатов --аксиоматические теории
Экземпляры :ОХФ(1)
Свободны : ОХФ(1)
Найти похожие
18.

Вид документа : Однотомное издание
Шифр издания : 510.5(076.1)/И 269
Автор(ы) : Игошин, Владимир Иванович
Заглавие : Сборник задач по математической логике и теории алгоритмов : учебное пособие
Выходные данные : Москва: КУРС: ИНФРА-М, 2017
Колич.характеристики :392 с.: ил., табл.
Серия: Бакалавриат
Примечания : Библиогр.: с. 388-390 (50 назв.). - Рекомендовано УМО по образованию в обл. подгот. пед. кадров в качестве учеб. пособия для студентов вузов, обучающихся по направлению 44.03.01 "Педагогическое образование" (квалификация Бакалавр)
ISBN, Цена 978-5-906818-08-9 (в пер.): 1078.00 р.
ISBN, Цена 978-5-16-011429-3: Б.ц.
УДК : 510.5(076.1) + 510.6(076.1)
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика--алгоритмов теория--булевы функции--логика предикатов--логика высказываний --исчисления высказываний
Экземпляры : всего : ОХФ(1), ОХФ-ЧЗ-4(1), ОУОЕН(78)
Свободны : ОХФ(1), ОХФ-ЧЗ-4(1), ОУОЕН(78)
Найти похожие
19.

Вид документа : Однотомное издание
Шифр издания : 510.6(075.8)/И 269
Автор(ы) : Игошин, Владимир Иванович
Заглавие : Математическая логика : учебное пособие
Выходные данные : Москва: ИНФРА-М, 2017
Колич.характеристики :398, [2] с.: ил., табл.
Серия: Высшее образование: Бакалавриат
Примечания : Библиогр.: с. 389-392. - Рекомендовано УМО по образованию в обл. подгот. пед. кадров в качестве учеб. пособия для студентов вузов, обучающихся по направлению подгот. 44.03.05 "Педагогическое образование" (квалификация (степень) "бакалавр")
ISBN (в пер.), Цена 978-5-16-011691-4: 1006.39 р.
УДК : 510.6(075.8)
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика--алгебра высказываний--высказывания--логика предикатов --аксиоматические теории
Экземпляры : всего : ОХФ(1), ОУОЕН(23)
Свободны : ОХФ(1), ОУОЕН(23)
Найти похожие
20.

Вид документа : Многотомное издание
Шифр издания : 519.1(075.8)/Р 642
Автор(ы) : Розен, Виктор Владимирович
Заглавие : Введение в дискретную математику: учебное пособие для студентов, изучающих курс дискретной математики и смежные дисциплины : 2 ч./ В. В. Розен, Ю. А. Бродская ; Сарат. нац. исслед. гос. ун-т им. Н. Г. Чернышевского. Ч. 1
Выходные данные : Саратов: Издательство Саратовского университета, 2016
Колич.характеристики :90, [2] с.: ил.
Коллективы : Сарат. нац. исслед. гос. ун-т им. Н. Г. Чернышевского
Серия:
Примечания : Библиогр.: с. 89 (13 назв.)
ISBN, Цена 978-5-292-04407-9: 233.59, 233.76, р.
УДК : 519.1(075.8)
Предметные рубрики: математика-- комбинаторный анализ-- теория графов
Ключевые слова (''Своб.индексиров.''): дискретная математика--математическая логика--математические структуры--логика высказываний --логика предикатов --бинарные отношения--универсальная алгебра--полугруппы--кольца
Экземпляры : всего : ОХФ(3), ОУОЕН(35)
Свободны : ОХФ(3), ОУОЕН(35)
Найти похожие
 
Стандартный (по одному полю)
По словарю (по одному полю)
Профессиональный (по нескольким полям со словарями)
Распределенный (г. Саратов)
Расширенный
Авторизация
Фамилия
Пароль
 
Заявка на регистрацию в ЭБС

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