Web ИРБИС


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

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

Базы данных

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

Виды поиска

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

ЭБС "ЛАНЬ"

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

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

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

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

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

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

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

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

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

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

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

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

в найденном

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

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

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

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

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

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

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

1-20 21-32

Логика [Текст] : учеб. пособие / В. Ф. Берков, В. И. Бартон, И. И. Дубинин ; ред. В. Ф. Берков. - Минск : Вышэйшая школа, 1994. - 296 с. ; 21 см. - ISBN 5-339-00939-4 : 2500р. р.

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

ББК 87.4я73

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

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

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

Карпенко, Александр Степанович.
Логики Лукасевича и простые числа [Текст] = Lukasiewicz' Logics and Prime Numbers : научное издание / А. С. Карпенко. - Москва : Наука, 2000. - 318, [2] с. - Библиогр. - ISBN 5-02-013048-6 (в пер.) : 40.00 р.

УДК

510.6

511.213

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

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

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

УДК

16(075.8)

510.6(075.8)

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

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

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

   Верещагин, Николай Константинович
    Лекции по математической логике и теории алгоритмов [Текст] / Н. К. Верещагин, А. Шень. - Москва : Моск. центр непрерыв. мат. образования. - (Современные лекционные курсы. Математическая логика и теория алгоритмов).
   Ч. 2 : Языки и исчисления. - Москва : Моск. Центр непрерыв. мат. образования, 2000. - 286, [2] с. - ISBN 5-900916-66-9 : 40.00 р.
Авт. и загл. указаны на тит. л.

УДК

510.6(075)

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

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

Доп. точки доступа:
Шень, А.
Найти похожие

Тетерин, П. Г.
Математическая логика: Синтез, декомпозиция, оценка и отбор высказываний: Обоснование целей, критериев и требований к новому [Текст] : науч. изд. / П. Г. Тетерин. - Саратов : [б. и.], 2002. - 76 с. - Библиогр. - ISBN Б. и. : 20.00 р.

УДК

510.6

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

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

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

УДК

16(075.8)

510.6(075.8)

Светилинъ, Александръ Емельяновичъ (1842-1887).
Учебникъ формальной логики [Текст] : учебник / А. Е. Светилинъ. - Санкт-Петербург : Тип. А. Траншеля, 1871. - [2], XII, 217, [3] с. - [Учебник формальной логики] . - ISBN [Б. и.] (в пер.) : 8.34 р.

УДК

16(075)

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

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

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

Молчанов, Владимир Александрович.
Логика высказываний [Текст] : учебное пособие для студентов факультета компьютерных наук и информационных технологий / В. А. Молчанов ; Сарат. гос. ун-т им. Н. Г. Чернышевского. - Саратов : Издательство Саратовского университета, 2014. - 60, [3] с. : рис., табл. - Библиогр.: с. 59. - ISBN 978-5-292-04256-3 : 182.81 р.

УДК

510.63(075.8)

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

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

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

Лапшева, Елена Евгеньевна.
Математическая логика [Текст] : учебное пособие для студентов факультета компьютерных наук и информационных технологий / Е. Е. Лапшева, М. В. Огнева ; Сарат. гос. ун-т им. Н. Г. Чернышевского. - Саратов : Издательство Саратовского университета, 2015. - 124 с. : ил. - Библиогр.: с. 115 (4 назв.). - ISBN 978-5-292-04346-1 : 261.32 р.

УДК

510.6(075.8)

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

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

10.

Кислов, Алексей Геннадьевич.
Логика высказываний: язык, алгебра, исчисления [Текст] : учебное пособие / А. Г. Кислов, Г. К. Ольховиков, С. Ю. Уколов ; Урал. федер. ун-т им. первого президента России Б. Н. Ельцина. - Екатеринбург : Издательство Уральского университета, 2012. - 112, [4] с. : ил., табл. - Библиогр.: с. 114 (14 назв.). - ISBN 978-5-7996-0773-9 : 64.00 р.
Рекомендовано метод. советом УрФУ в качестве учеб. пособия для студентов, обучающихся по прогр. бакалавриата по социал.-экон. и гуманитар. направлениям подгот.

УДК

510.63(075.8)

16(075.8)

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

логика--логика

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

Доп. точки доступа:
Ольховиков, Григорий Константинович
Уколов, Сергей Юрьевич
Найти похожие

11.

Игошин, Владимир Иванович.
Сборник задач по математической логике и теории алгоритмов [Текст] : учебное пособие / В. И. Игошин. - Москва : КУРС : ИНФРА-М, 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)

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

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

12.

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

УДК

519.1(075.8)

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

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

Доп. точки доступа:
Бродская, Юлия Анатольевна
Найти похожие

13.

Берков, В. Ф.
Логика: задачи и упражнения, практикум [Текст] : учеб. пособие для студентов вузов / В. Ф. Берков. - Минск : ТетраСистемс, 1998. - 223 с. : ил. ; 20см. - ISBN 9856317304 : 12.00 р.

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

ББК 86.3я73

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

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

14.

Бочаров, В. А.
Основы логики [Текст] : учебник для вузов / В. А. Бочаров, В. И. Маркин. - М. : ИНФРА-М, 2002. - 296 с. ; 22см. - (Высшее образование). - ISBN 5160008705 : 77.00 р.

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

ББК 87.4я73

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

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

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

15.

Ивин, А. А.
Логика [Текст] : учебник для студ.вузов / А.А.Ивин. - М. : Гардарики, 2002. - 352 с. ; 22см. - (Disciplinae). - ISBN 5-7975-0122-8 : 75.00 р.
Рекомендовано М-вом образования РФ

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

ББК 87.4

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

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

16.

Муха, Ю. П.
Математическая логика и теория алгоритмов [Текст] : учеб. пособие / Ю. П. Муха, О. А. Авдеюк ; Волгоградский гос. техн. ун-т. - Волгоград : РПК "Политехник", 2005. - 92 с. : табл. ; 20 см. - Библиогр.: с. 92 (10 назв.). - ISBN 5-230-04465-5 : 80.00 р.

ГРНТИ	27.03.01.33
УДК	510.6+510.5(07)

ББК 22.1

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

Математика--Теория алгоритмов

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

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

17.

Светлов, В. А.
Логика: экзаменационные ответы для студентов вузов [Текст] : учеб. пособие / В. А. Светлов. - СПб. [и др.] : Питер, 2008. - 160 с. : ил. ; 21 см. - (Завтра экзамен). - ISBN 978-5-469-00910-8 : 61.00 р.

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

ББК 87.4

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

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

18.

Попов, Ю. П.
Логика [Текст] : учеб. пособие / Ю. П. Попов. - 3-е изд., перераб. и доп. - М. : Кнорус, 2009. - 304 с. : ил. ; 22 см. - Библиогр.: с. 294 (14 назв.). - ISBN 978-5-390-00251-3 : 150.00 р.
Гриф: рек. Гос. образоват. учреждением высш. проф. образования "МПГУ" в качестве учеб. пособия для студ. вузов, обуч. по напр. подг. 520400 (030100) - философия и спец. 020100 (030101) - философия

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

ББК 87.4

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

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

19.

Серебряков, А. В.
Элементарный курс математической логики [Текст] : учеб. пособие для студентов всех спец. / А. В. Серебряков ; Саратовский гос. техн. ун-т. - Саратов : СГТУ, 2011. - 32 с. : ил. ; 21 см. - Библиогр.: с. 31 (13 назв.). - ISBN 978-5-7433-2368-5 : 8.19 р.

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

ББК 22.12

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

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

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

20.

Калужнин, Л. А.
Что такое математическая логика? [Текст] : научное издание / Л. А. Калужнин. - М. : Изд-во "Наука", 1964. - 152 с. : ил., граф., табл. ; 20 см. - Библиогр.: с. 149-150 (29 назв.). - 0.21 р.

УДК

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

1-20 21-32

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

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

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

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

Расширенный

Авторизация

Фамилия

Пароль

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

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

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