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

Базы данных


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

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

Вид документа : Однотомное издание
Шифр издания : 61(075)/Л 69
Автор(ы) : Смирнов В. А., Анисов А. М., Арутюнов Г. П.
Заглавие : Логика и клиническая диагностика : учебник для вузов
Выходные данные : М.: Наука, 1994
Колич.характеристики :297 с. ; 24см
Серия: Обновление гуманитарного образования в России
ISBN, Цена 5020135933: б/ц.
ГРНТИ : 76.29.01.33
УДК : 616(075.8)
ББК : 87.4
Предметные рубрики: Медицина-- Клиническая медицина
Ключевые слова (''Своб.индексиров.''): клиническая диагностика--логика--логика предикатов--клинические синдромы--диагностика--параметры--симптомы
Найти похожие
2.

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

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

Вид документа : Однотомное издание
Шифр издания : 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)
Предметные рубрики: логика-- логика
математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): формальная логика--суждения--умозаключения--математическая логика--логика высказываний--логика предикатов
Найти похожие
5.

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

Вид документа : Однотомное издание
Шифр издания : 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)
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика--алгоритмов теория--исчисления высказываний--логика предикатов--булевы функции
Найти похожие
7.

Вид документа : Однотомное издание
Шифр издания : 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)
Предметные рубрики: логика-- логика
математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): формальная логика--суждения--умозаключения--математическая логика--логика высказываний--логика предикатов
Найти похожие
8.

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

Вид документа : Однотомное издание
Шифр издания : 22.12я73
Автор(ы) : Игошин, Владимир Иванович
Заглавие : Задачи и упражнения по математической логике и теории алгоритмов : учеб. пособие для вузов . -2-е изд., стереотип.
Выходные данные : Москва: Академия, 2006
Колич.характеристики :304 с
Серия: Высшее профессиональное образование
ISBN, Цена 5-7695-2914-8: 50 р.
ББК : 22.12я73
Предметные рубрики: Математика-- Математическая логика
Ключевые слова (''Своб.индексиров.''): алгебра высказываний--булевы функции--задачи--логика предикатов--пособия для вузов--теория алгоритмов--упражнения--учебники для вузов--учебные пособия для вузов--формализованное исчисление высказываний
Аннотация: Содержит задачи и упражнения по всем традиционным разделам курса математической логики и теории алгоритмов.
Найти похожие
10.

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

Вид документа : Однотомное издание
Шифр издания : 510(075)/И 26
Автор(ы) : Игошин В. И.
Заглавие : Математическая логика и теория алгоритмов : учеб. пособие . -2-е изд., стер.
Выходные данные : М.: ИЦ "Академия", 2008
Колич.характеристики :448 с. ; 22 см
Серия: Высшее профессиональное образование
Примечания : Библиогр.: с. 435-442. - Гриф: допущено М-вом образования Рос. Федерации в качестве учеб. пособия для студ. вузов, обуч. по спец. 050201 "Математика"
ISBN, Цена 978-5-7695-4593-1: 350.00 р.
ГРНТИ : 27.03.01.33
УДК : 510.6+510.5(075.8)
ББК : 22.1
Предметные рубрики: Математика-- Математическая логика
Математика-- Теория алгоритмов
Ключевые слова (''Своб.индексиров.''): алгебра высказываний--формализованное исчисление высказываний--логика предикатов--неформальные аксиоматические теории--формальные аксиоматические теории--искусственный интеллект
Найти похожие
12.

Вид документа : Однотомное издание
Шифр издания : 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)
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика--алгоритмов теория--исчисления высказываний--исчисления предикатов--логика предикатов
Аннотация: В книге излагаются основные исчисления математической логики.
Найти похожие
13.

Вид документа : Однотомное издание
Шифр издания : 624843
Автор(ы) : Лихтарников, Леонид Моисеевич, Сукачева, Тамара Геннадьевна
Заглавие : Математическая логика : курс лекций : задачник практикум и решения . -3-е изд., испр.
Выходные данные : Санкт-Петербург; Москва; Краснодар: Лань, 2008
Колич.характеристики :276, [12] с
Серия: Учебники для вузов. Специальная литература
Примечания : Библиогр.: с. 273 (12 назв.)
ISBN (в пер.), Цена 978-5-8114-0082-9: 304.00 р.
УДК : 510.6(075.8+076.5+076.1)
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика--алгебра логики--исчисления высказываний--логика предикатов--алгоритмы
Найти похожие
14.

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

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

Вид документа : Однотомное издание
Шифр издания : 510.5(076.1)
Автор(ы) : Игошин, Владимир Иванович
Заглавие : Сборник задач по математической логике и теории алгоритмов : учебное пособие
Выходные данные : Москва: КУРС: ИНФРА-М, 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)
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика--алгоритмов теория--булевы функции--логика предикатов--логика высказываний --исчисления высказываний
Найти похожие
17.

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

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

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

Вид документа : Однотомное издание
Шифр издания : 16(075)/Б 86
Автор(ы) : Бочаров В. А., Маркин В. И.
Заглавие : Основы логики : учебник для вузов
Выходные данные : М.: ИНФРА-М, 2002
Колич.характеристики :296 с. ; 22см
Серия: Высшее образование
ISBN, Цена 5160008705: 77.00 р.
ГРНТИ : 02.21.01.33
УДК : 16(075.8)
ББК : 87.4я73
Предметные рубрики: Философия-- Логика
Ключевые слова (''Своб.индексиров.''): философия--логика--логические законы--логические теории--логика высказываний--логика предикатов--силлогистика
Аннотация: Представляет собой введение в проблематику современной логики, содержит изложение основных ее разделов.
Найти похожие
 1-20    21-40   41-45 
 
Стандартный (по одному полю)
По словарю (по одному полю)
Профессиональный (по нескольким полям со словарями)
Распределенный (г. Саратов)
Расширенный
Авторизация
Фамилия
Пароль
 
Заявка на регистрацию в ЭБС

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