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

Базы данных


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

Виды поиска
Электронный каталог
ЭБС "ЛАНЬ"
ЭБС "ZNANIUM.com" (ИД "ИНФРА-М")
ЭБС "ЮРАЙТ"
ЭБС "АЙБУКС"
ЭБС "РУКОНТ"
ЭБС "IPRBOOKS"
ЭБС "BOOK.ru"
Электронная библиотека
Известные деятели культуры в Саратовской губернии
Работы В. А. Артисевич и литература о ней
Издания вузовских библиотек Среднего и Нижнего Поволжья
Публикации учёных СГУ
Краеведческий обзор
Поступления журналов в ЗНБ СГУ
БД коллекций в фонде ЗНБ СГУ
БД выпускных квалификационных работ
Сводный каталог библиотек (СГУ, СГТУ, ЦБС)
Область поиска
В текущей базе данных найдено документов :15
 В других БД по вашему запросу найдено:Сводный каталог библиотек (СГУ, СГТУ, ЦБС) (32)
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>KL=логика высказываний<.>)
Общее количество найденных документов : 15
Показаны документы с 1 по 15
1.
Учебные отделы, A852587-ОХФ, A852588-ОХФ, A852589-ОХФ,
    Бочаров, Вячеслав Александрович.
    Основы логики [Текст] : учебник / В. А. Бочаров, В. И. Маркин. - Москва : Космополис, 1994. - 272 с. - ISBN 5-900360-11-3 : 3000.00 р.
На обл. и тит. л.: Прогр."Обновление гуманит. образования в России"
УДК
16(075.8)

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

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


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

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

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


Доп. точки доступа:
Смирнов, В. А.
Анисов, А. М.
Арутюнов, Г. П.
Экземпляры всего: 1
ОХФ (1)
Найти похожие
3.
A874583-ОХФ
    Карпенко, Александр Степанович.
    Логики Лукасевича и простые числа [Текст] = Lukasiewicz' Logics and Prime Numbers / А. С. Карпенко. - Москва : Наука, 2000. - 318, [2] с. - Библиогр. - ISBN 5-02-013048-6 (в пер.) : 40.00 р.
УДК
510.6
511.213

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

Кл.слова (ненормированные):
логика высказываний -- простые числа -- Лукасевича логика
Экземпляры всего: 1
ОХФ (1)
Найти похожие
4.
A874787-ОХФ, A874918-ОХФ, A874919-ОХФ, A874920-ОХФ
    Гамова, Алла Николаевна.
    Формальная логика [Текст] : учеб. пособие для студентов и аспирантов фак. гуманитар. и социал. наук / А. Н. Гамова. - Саратов : Издательство Саратовского университета, 2001. - 71, [1] с. - Библиогр. - ISBN 5-292-2589-5 : 20.00 р.
УДК
16(075.8)
510.6(075.8)

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

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

Кл.слова (ненормированные):
формальная логика -- суждения -- умозаключения -- математическая логика -- логика высказываний -- логика предикатов
Экземпляры всего: 4
ОХФ (4)
Найти похожие
5.
A875392-ОХФ
   Верещагин, Николай Константинович
    Лекции по математической логике и теории алгоритмов [Текст] / Н. К. Верещагин, А. Шень. - Москва : Моск. центр непрерыв. мат. образования. - (Современные лекционные курсы. Математическая логика и теория алгоритмов).
   Ч. 2 : Языки и исчисления. - Москва : Моск. Центр непрерыв. мат. образования, 2000. - 286, [2] с. - ISBN 5-900916-66-9 : 40.00 р.
Авт. и загл. указаны на тит. л.
УДК
510.6(075)

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

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


Доп. точки доступа:
Шень, А.
Экземпляры всего: 1
ОХФ (1)
Найти похожие
6.
A881629-ОХФ, A881798-ОХФ
    Тетерин, П. Г.
    Математическая логика: Синтез, декомпозиция, оценка и отбор высказываний: Обоснование целей, критериев и требований к новому [Текст] : науч. изд. / П. Г. Тетерин. - Саратов : [б. и.], 2002. - 76 с. - Библиогр. - ISBN Б. и. : 20.00 р.
УДК
510.6

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

Кл.слова (ненормированные):
математическая логика -- синтез -- логика высказываний -- декомпозиция
Экземпляры всего: 2
ОХФ (2)
Найти похожие
7.
A882505-ОХФ
    Мощенский, Андрей Владимирович.
    Математические основы информатики [Текст] : пособие для студентов / А. В. Мощенский, В. А. Мощенский. - Минск : Изд-во Белорус. ун-та, 2002. - 149, [3] с. - ISBN 985-445-564-5 : 45.00 р.
УДК
510.5(075.8)

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

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


Доп. точки доступа:
Мощенский, Владимир Андреевич
Экземпляры всего: 1
ОХФ (1)
Найти похожие
8.
A885327-ОХФ, A885328-ОХФ, A885329-ОХФ
    Гамова, Алла Николаевна.
    Формальная логика [Текст] : учеб. пособие для студентов и аспирантов фак. гуманитар. и социал. наук / А. Н. Гамова. - 2-е изд., доп. - Саратов : Издательство Саратовского университета, 2003. - 68, [4] с. : ил. - Библиогр. - ISBN 5-292-02575-5 : 25.00 р.
УДК
16(075.8)
510.6(075.8)

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

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

Кл.слова (ненормированные):
формальная логика -- суждения -- умозаключения -- математическая логика -- логика высказываний -- логика предикатов
Держатели документа:
ЗНБ СГУ
Экземпляры всего: 3
ОХФ (3)
Найти похожие
9.
A976195-ОХФ
    Светилинъ, Александръ Емельяновичъ (1842-1887).
    Учебникъ формальной логики [Текст] / А. Е. Светилинъ. - Санкт-Петербург : Тип. А. Траншеля, 1871. - [2], XII, 217, [3] с. - [Учебник формальной логики] . - ISBN [Б. и.] (в пер.) : 8.34 р.
УДК
16(075)

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

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



Экземпляры всего: 1
ОХФ (1)
Найти похожие
10.
Учебные отделы, A992038-ОХФ, A992039-ОХФ, A992040-ОХФ,
    Молчанов, Владимир Александрович.
    Логика высказываний [Текст] : учебное пособие для студентов факультета компьютерных наук и информационных технологий / В. А. Молчанов ; Сарат. гос. ун-т им. Н. Г. Чернышевского. - Саратов : Издательство Саратовского университета, 2014. - 60, [3] с. : рис., табл. - Библиогр.: с. 59. - ISBN 978-5-292-04256-3 : 182.81 р.
УДК
510.63(075.8)

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

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



Экземпляры всего: 38
ОХФ (3), ОУОЕН (35)
Найти похожие
11.
Учебные отделы, A994299-ОХФ, A994300-ОХФ, A994301-ОХФ-ЧЗ-4,
    Лапшева, Елена Евгеньевна.
    Математическая логика [Текст] : учебное пособие для студентов факультета компьютерных наук и информационных технологий / Е. Е. Лапшева, М. В. Огнева ; Сарат. гос. ун-т им. Н. Г. Чернышевского. - Саратов : Издательство Саратовского университета, 2015. - 124 с. : ил. - Библиогр.: с. 115 (4 назв.). - ISBN 978-5-292-04346-1 : 261.32 р., 261.31 р.
УДК
510.6(075.8)

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


Доп. точки доступа:
Огнева, Марина Валентиновна
Экземпляры всего: 38
ОХФ (2), ОХФ-ЧЗ-4 (1), ОУОЕН (35)
Найти похожие
12.
A994361-ОХФ
    Кислов, Алексей Геннадьевич.
    Логика высказываний: язык, алгебра, исчисления [Текст] : учебное пособие / А. Г. Кислов, Г. К. Ольховиков, С. Ю. Уколов ; Урал. федер. ун-т им. первого президента России Б. Н. Ельцина. - Екатеринбург : Издательство Уральского университета, 2012. - 112, [4] с. : ил., табл. - Библиогр.: с. 114 (14 назв.). - ISBN 978-5-7996-0773-9 : 64.00 р.
Рекомендовано метод. советом УрФУ в качестве учеб. пособия для студентов, обучающихся по прогр. бакалавриата по социал.-экон. и гуманитар. направлениям подгот.
УДК
510.63(075.8)
16(075.8)

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

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

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


Доп. точки доступа:
Ольховиков, Григорий Константинович
Уколов, Сергей Юрьевич
Экземпляры всего: 1
ОХФ (1)
Найти похожие
13.
Учебные отделы, 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)
Найти похожие
14.
Учебные отделы, 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)
Найти похожие
15.
Учебные отделы, A999794-ОХФ, A999795-ОХФ,
   Тетюев, Леонид Иванович
    Логика и язык [Текст] : учебное пособие для магистров гуманитарного направления / Л. И. Тетюев. - Саратов : Издательский центр "Наука".
   Ч. 2 : Основы языка теоретической логики и теории аргументации. - Саратов : Издательский центр "Наука", 2019. - 39, [1] с. : ил., табл. - Библиогр.: с. 39. - ISBN 978-5-9999-3135-1 : 100.00 р.
УДК
16(075.8)

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

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

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