Учебная литература, A852587-ОХФ, A852588-ОХФ, A852589-ОХФ, Бочаров, Вячеслав Александрович. Основы логики [Текст] : учебник / В. А. Бочаров, В. И. Маркин. - Москва : Космополис, 1994. - 272 с. - ISBN 5-900360-11-3 : 3000.00 р. На обл. и тит. л.: Прогр."Обновление гуманит. образования в России"
Рубрики: логика--логика Кл.слова (ненормированные): логика высказываний -- логика предикатов -- дедуктивные рассуждения -- правдоподобные рассуждения -- силлогистика -- понятия -- определения Доп. точки доступа: Маркин, Владимир Ильич Экземпляры всего: 4 ОХФ (3), ОУОГН (1) |
A852599-ОХФ Логика и клиническая диагностика: Теоретические основы [Текст] : учеб. для мед. вузов / В. А. Смирнов, А. М. Анисов, Г. П. Арутюнов. - Москва : Наука, 1994. - 297 с. : ил., табл. - ISBN 5-02-013593-3 : 3000.00 р. На обл. и тит. л.: Прогр."Обновление гуманит. образования в России"
Рубрики: логика; медицина--логика--патология Кл.слова (ненормированные): логика рассуждений -- логика предикатов -- рассуждения правдоподобные -- диагноз -- клиническая диагностика -- дифференциальная диагностика -- понятия -- логика высказываний Доп. точки доступа: Смирнов, В. А. Анисов, А. М. Арутюнов, Г. П. Экземпляры всего: 1 ОХФ (1) |
A874583-ОХФ Карпенко, Александр Степанович. Логики Лукасевича и простые числа [Текст] = Lukasiewicz' Logics and Prime Numbers / А. С. Карпенко. - Москва : Наука, 2000. - 318, [2] с. - Библиогр. - ISBN 5-02-013048-6 (в пер.) : 40.00 р.
Рубрики: математика--математическая логика--теория чисел Кл.слова (ненормированные): логика высказываний -- простые числа -- Лукасевича логика Экземпляры всего: 1 ОХФ (1) |
A874787-ОХФ, A874918-ОХФ, A874919-ОХФ, A874920-ОХФ Гамова, Алла Николаевна. Формальная логика [Текст] : учеб. пособие для студентов и аспирантов фак. гуманитар. и социал. наук / А. Н. Гамова. - Саратов : Издательство Саратовского университета, 2001. - 71, [1] с. - Библиогр. - ISBN 5-292-2589-5 : 20.00 р.
Рубрики: логика--логика математика--математическая логика Кл.слова (ненормированные): формальная логика -- суждения -- умозаключения -- математическая логика -- логика высказываний -- логика предикатов Экземпляры всего: 4 ОХФ (4) |
A875392-ОХФ Верещагин, Николай Константинович Лекции по математической логике и теории алгоритмов [Текст] / Н. К. Верещагин, А. Шень. - Москва : Моск. центр непрерыв. мат. образования. - (Современные лекционные курсы. Математическая логика и теория алгоритмов). Ч. 2 : Языки и исчисления. - Москва : Моск. Центр непрерыв. мат. образования, 2000. - 286, [2] с. - ISBN 5-900916-66-9 : 40.00 р. Авт. и загл. указаны на тит. л.
Рубрики: математика--математическая логика Кл.слова (ненормированные): математическая логика -- логика высказываний -- исчисления высказываний -- исчисления предикатов -- языки первого порядка Доп. точки доступа: Шень, А. Экземпляры всего: 1 ОХФ (1) |
A881629-ОХФ, A881798-ОХФ Тетерин, П. Г. Математическая логика: Синтез, декомпозиция, оценка и отбор высказываний: Обоснование целей, критериев и требований к новому [Текст] : науч. изд. / П. Г. Тетерин. - Саратов : [б. и.], 2002. - 76 с. - Библиогр. - ISBN Б. и. : 20.00 р.
Рубрики: математика--математическая логика Кл.слова (ненормированные): математическая логика -- синтез -- логика высказываний -- декомпозиция Экземпляры всего: 2 ОХФ (2) |
A882505-ОХФ Мощенский, Андрей Владимирович. Математические основы информатики [Текст] : пособие для студентов / А. В. Мощенский, В. А. Мощенский. - Минск : Изд-во Белорус. ун-та, 2002. - 149, [3] с. - ISBN 985-445-564-5 : 45.00 р.
Рубрики: математика--математическая логика Кл.слова (ненормированные): информатика -- множеств теория -- комбинаторика -- алгоритмы -- логика высказываний -- формальная грамматика -- конечные автоматы Доп. точки доступа: Мощенский, Владимир Андреевич Экземпляры всего: 1 ОХФ (1) |
A885327-ОХФ, A885328-ОХФ, A885329-ОХФ Гамова, Алла Николаевна. Формальная логика [Текст] : учеб. пособие для студентов и аспирантов фак. гуманитар. и социал. наук / А. Н. Гамова. - 2-е изд., доп. - Саратов : Издательство Саратовского университета, 2003. - 68, [4] с. : ил. - Библиогр. - ISBN 5-292-02575-5 : 25.00 р.
Рубрики: логика--логика математика--математическая логика Кл.слова (ненормированные): формальная логика -- суждения -- умозаключения -- математическая логика -- логика высказываний -- логика предикатов Держатели документа: ЗНБ СГУ Экземпляры всего: 3 ОХФ (3) |
A976195-ОХФ Светилинъ, Александръ Емельяновичъ (1842-1887). Учебникъ формальной логики [Текст] / А. Е. Светилинъ. - Санкт-Петербург : Тип. А. Траншеля, 1871. - [2], XII, 217, [3] с. - [Учебник формальной логики] . - ISBN [Б. и.] (в пер.) : 8.34 р.
Рубрики: логика--логика Кл.слова (ненормированные): формальная логика -- суждения -- умозаключения -- логика высказываний Экземпляры всего: 1 ОХФ (1) |
Учебная литература, A992038-ОХФ, A992039-ОХФ, A992040-ОХФ, Молчанов, Владимир Александрович. Логика высказываний [Текст] : учебное пособие для студентов факультета компьютерных наук и информационных технологий / В. А. Молчанов ; Сарат. гос. ун-т им. Н. Г. Чернышевского. - Саратов : Издательство Саратовского университета, 2014. - 60, [3] с. : рис., табл. - Библиогр.: с. 59. - ISBN 978-5-292-04256-3 : 182.81 р.
Рубрики: математика--математическая логика Кл.слова (ненормированные): математическая логика -- логика высказываний -- алгебра высказываний -- аксиоматика -- исчисления высказываний Экземпляры всего: 38 ОХФ (3), ОУОЕН (35) |
Учебная литература, A994299-ОХФ, A994300-ОХФ, A994301-ОХФ-ЧЗ-4, Лапшева, Елена Евгеньевна. Математическая логика [Текст] : учебное пособие для студентов факультета компьютерных наук и информационных технологий / Е. Е. Лапшева, М. В. Огнева ; Сарат. гос. ун-т им. Н. Г. Чернышевского. - Саратов : Издательство Саратовского университета, 2015. - 124 с. : ил. - Библиогр.: с. 115 (4 назв.). - ISBN 978-5-292-04346-1 : 261.32 р., 261.31 р.
Кл.слова (ненормированные): математическая логика -- логические функции -- Карно-Вейча метод -- алгебра логики -- логика высказываний Доп. точки доступа: Огнева, Марина Валентиновна Экземпляры всего: 38 ОХФ (2), ОХФ-ЧЗ-4 (1), ОУОЕН (35) |
A994361-ОХФ Кислов, Алексей Геннадьевич. Логика высказываний: язык, алгебра, исчисления [Текст] : учебное пособие / А. Г. Кислов, Г. К. Ольховиков, С. Ю. Уколов ; Урал. федер. ун-т им. первого президента России Б. Н. Ельцина. - Екатеринбург : Издательство Уральского университета, 2012. - 112, [4] с. : ил., табл. - Библиогр.: с. 114 (14 назв.). - ISBN 978-5-7996-0773-9 : 64.00 р. Рекомендовано метод. советом УрФУ в качестве учеб. пособия для студентов, обучающихся по прогр. бакалавриата по социал.-экон. и гуманитар. направлениям подгот.
Рубрики: математика--математическая логика логика--логика Кл.слова (ненормированные): логика -- логика высказываний -- алгебра логики -- алгебра высказываний -- аксиоматика -- исчисления высказываний Доп. точки доступа: Ольховиков, Григорий Константинович Уколов, Сергей Юрьевич Экземпляры всего: 1 ОХФ (1) |
Учебная литература, 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 "Педагогическое образование" (квалификация Бакалавр)
Рубрики: математика--математическая логика Кл.слова (ненормированные): математическая логика -- алгоритмов теория -- булевы функции -- логика предикатов -- логика высказываний -- исчисления высказываний Экземпляры всего: 80 ОХФ (1), ОХФ-ЧЗ-4 (1), ОУОЕН (78) |
Учебная литература, 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 р.
Рубрики: математика--комбинаторный анализ--теория графов Кл.слова (ненормированные): дискретная математика -- математическая логика -- математические структуры -- логика высказываний -- логика предикатов -- бинарные отношения -- универсальная алгебра -- полугруппы -- кольца Доп. точки доступа: Бродская, Юлия Анатольевна Экземпляры всего: 38 ОХФ (3), ОУОЕН (35) |
Учебная литература, A999794-ОХФ, A999795-ОХФ, Тетюев, Леонид Иванович Логика и язык [Текст] : учебное пособие для магистров гуманитарного направления / Л. И. Тетюев. - Саратов : Издательский центр "Наука". Ч. 2 : Основы языка теоретической логики и теории аргументации. - Саратов : Издательский центр "Наука", 2019. - 39, [1] с. : ил., табл. - Библиогр.: с. 39. - ISBN 978-5-9999-3135-1 : 100.00 р.
Рубрики: логика--логика Кл.слова (ненормированные): логика -- теоретическая логика -- аргументация -- логика высказываний -- истина -- суждения Экземпляры всего: 3 ОХФ (2), ОУОГН (1) |