Web ИРБИС


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

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

Базы данных

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

Виды поиска

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

ЭБС "ЛАНЬ"

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

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

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

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

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

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

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

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

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

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

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

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

в найденном

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

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

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

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

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

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

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

1-20 21-32

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

УДК

16(075)

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

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

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

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

УДК

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

Столяр, А. А.
Элементарное введение в математическую логику [Текст] : научное издание / А. А. Столяр. - М. : Изд-во "Просвещение", 1965. - 162 с. : ил. ; 21 см. - Библиогр.: с. 162. - 0.22 р.

УДК

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

Кольман, Эрнест.
Занимательная логика [Текст] / Э. Кольман, О. Зих. - Москва : Наука, 1966. - 126 с. - (Научно-популярная серия). - Библиогр.: с. 124. - 7.20 р.

ББК 87.4

Рубрики: Логика--Общие вопросы логики

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

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

Кольман, Э.
Занимательная логика [Текст] : научно-популярная литература / Э. Кольман, О. Зих. - М. : Изд-во "Наука", 1966. - 127 с. : ил. ; 19 см. - (Научно-популярная серия). - 0.20 р.

УДК

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

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

Гильберт, Давид
Основания математики [Текст] : логические исчисления и формализация арифметики: пер. с нем. / Д. Гильберт, П. Бернайс. - 2-е изд. - Москва : Наука, 1982. - 556 с. : ил. - (Математическая логика и основания математики). - 02.70 р.

ББК 22.12

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

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

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

Колмогоров, Андрей Николаевич.
Введение в математическую логику [Текст] : учебное пособие для вузов / А. Н. Колмогоров, А. Г. Драгалин. - Москва : Издательство Московского государственного университета, 1982. - 119 с. - 0.25 р.

ББК 22.12

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

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

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

Марков, Андрей Андреевич.
Элементы математической логики [Текст] / А. А. Марков ; ред. А. Г. Драгалин. - Москва : Издательство Московского государственного университета, 1984. - 79 с. - 0.40 р.

ББК 22.12

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

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

Доп. точки доступа:
Драгалин, А. Г.
Найти похожие

Мендельсон, Эллиот.
Введение в математическую логику [Текст] / Э. Мендельсон. - 3-е изд. - Москва : Наука, 1984. - 320 с. - Библиогр.: с. 296-319. - 1.80 р.

ББК 22.12

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

Кл.слова (ненормированные):
аксиоматическая теория множеств -- алгорифмы Маркова -- алгорифмы Тьюринга -- логика высказываний -- логика предикатов -- математическая логика -- теорема Хартогса -- теория алгоритмов -- формализованная арифметика -- формальная арифметика -- элементарные теории
Держатели документа:
Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова)
Найти похожие

10.

Зегет, Вольфгант.
Элементарная логика [Текст] / Зегет В. - Москва : Высшая школа, 1985. - 256 с. - Библиогр.: с. 254. - 0.90 р.

ББК 87.4

Рубрики: Логика--Общие вопросы логики

Кл.слова (ненормированные):
виды определений -- виды понятий -- высказывание -- высказывание -- дескрипции -- дизъюнкция -- импликация -- конъюнкция -- логика высказываний -- логика предикатов -- методы индукции -- мышление -- определения -- отрицание -- понятие -- силлогистика -- тождество -- умозаключение -- язык -- язык и наука
Аннотация: По содержанию, структуре и организации материала книга В. Зегерта является оригинальным учебным пособием, в котором проблемы традиционной и современной формальной логики органично переплетены и связаны, что делает книгу интересной с методическо-дидактической точки зрения.
Держатели документа:
Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова)

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

11.

Горбатов, Вячеслав Афанасьевич.
Основы дискретной математики [Текст] : учеб. пособие для ВУЗов / В. А. Горбатов. - Москва : Высшая школа, 1986. - 311 с. - Библиогр.: с. 304-305. - Предм. указ.: с. 306. - 01.00 р.

ББК 22.144я73

Рубрики: Математика--Алгебра

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

12.

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

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

ББК 87.4я73

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

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

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

13.

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

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

ББК 86.3я73

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

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

14.

Никольская, Инна Львовна.
Знакомство с математической логикой [Текст] : учебно-методическая литература для школ и вузов / И. Л. Никольская. - Москва : Флинта, 1998. - 128 с. - (Библиотека педагога-практика). - ISBN 5-89502-036-4 : 23.00 р.

ББК 22.12

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

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

15.

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

УДК

510.6

511.213

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

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

16.

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

УДК

510.6(075)

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

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

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

17.

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

УДК

16(075.8)

510.6(075.8)

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

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

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

18.

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

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

ББК 87.4я73

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

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

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

19.

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

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

ББК 87.4

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

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

20.

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

УДК

510.6

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

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

1-20 21-32

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

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

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

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

Расширенный

Авторизация

Фамилия

Пароль

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

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

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