Новые поступления (книга в стадии обработки) Логика [Текст] : учеб. пособие / В. Ф. Берков, В. И. Бартон, И. И. Дубинин ; ред. В. Ф. Берков. - Минск : Вышэйшая школа, 1994. - 296 с. ; 21 см. - ISBN 5-339-00939-4 : 2500р. р.
Рубрики: Философия--Логика Кл.слова (ненормированные): общение -- логика -- логика высказываний -- теория имен -- теория выводов -- логическая теория -- диалоговая ситуация Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Берков, В. Ф. Бартон, В. И. Дубинин, И. И. Берков, В. Ф. |
Новые поступления (книга в стадии обработки) Карпенко, Александр Степанович. Логики Лукасевича и простые числа [Текст] = Lukasiewicz' Logics and Prime Numbers : научное издание / А. С. Карпенко. - Москва : Наука, 2000. - 318, [2] с. - Библиогр. - ISBN 5-02-013048-6 (в пер.) : 40.00 р.
Рубрики: математика--математическая логика--теория чисел Кл.слова (ненормированные): логика высказываний -- простые числа -- Лукасевича логика Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского |
Новые поступления (книга в стадии обработки) Гамова, Алла Николаевна. Формальная логика [Текст] : учеб. пособие для студентов и аспирантов фак. гуманитар. и социал. наук / А. Н. Гамова. - Саратов : Издательство Саратовского университета, 2001. - 71, [1] с. - Библиогр. - ISBN 5-292-2589-5 : 20.00 р.
Рубрики: логика--логика математика--математическая логика Кл.слова (ненормированные): формальная логика -- суждения -- умозаключения -- математическая логика -- логика высказываний -- логика предикатов Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского |
Новые поступления (книга в стадии обработки) Верещагин, Николай Константинович Лекции по математической логике и теории алгоритмов [Текст] / Н. К. Верещагин, А. Шень. - Москва : Моск. центр непрерыв. мат. образования. - (Современные лекционные курсы. Математическая логика и теория алгоритмов). Ч. 2 : Языки и исчисления. - Москва : Моск. Центр непрерыв. мат. образования, 2000. - 286, [2] с. - ISBN 5-900916-66-9 : 40.00 р. Авт. и загл. указаны на тит. л.
Рубрики: математика--математическая логика Кл.слова (ненормированные): математическая логика -- логика высказываний -- исчисления высказываний -- исчисления предикатов -- языки первого порядка Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского Доп. точки доступа: Шень, А. |
Новые поступления (книга в стадии обработки) Тетерин, П. Г. Математическая логика: Синтез, декомпозиция, оценка и отбор высказываний: Обоснование целей, критериев и требований к новому [Текст] : науч. изд. / П. Г. Тетерин. - Саратов : [б. и.], 2002. - 76 с. - Библиогр. - ISBN Б. и. : 20.00 р.
Рубрики: математика--математическая логика Кл.слова (ненормированные): математическая логика -- синтез -- логика высказываний -- декомпозиция Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского |
Новые поступления (книга в стадии обработки) Гамова, Алла Николаевна. Формальная логика [Текст] : учеб. пособие для студентов и аспирантов фак. гуманитар. и социал. наук / А. Н. Гамова. - 2-е изд., доп. - Саратов : Издательство Саратовского университета, 2003. - 68, [4] с. : ил. - Библиогр. - ISBN 5-292-02575-5 : 25.00 р.
Рубрики: логика--логика математика--математическая логика Кл.слова (ненормированные): формальная логика -- суждения -- умозаключения -- математическая логика -- логика высказываний -- логика предикатов Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского |
Новые поступления (книга в стадии обработки) Светилинъ, Александръ Емельяновичъ (1842-1887). Учебникъ формальной логики [Текст] : учебник / А. Е. Светилинъ. - Санкт-Петербург : Тип. А. Траншеля, 1871. - [2], XII, 217, [3] с. - [Учебник формальной логики] . - ISBN [Б. и.] (в пер.) : 8.34 р.
Рубрики: логика--логика Кл.слова (ненормированные): формальная логика -- суждения -- умозаключения -- логика высказываний Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского |
Новые поступления (книга в стадии обработки) Молчанов, Владимир Александрович. Логика высказываний [Текст] : учебное пособие для студентов факультета компьютерных наук и информационных технологий / В. А. Молчанов ; Сарат. гос. ун-т им. Н. Г. Чернышевского. - Саратов : Издательство Саратовского университета, 2014. - 60, [3] с. : рис., табл. - Библиогр.: с. 59. - ISBN 978-5-292-04256-3 : 182.81 р.
Рубрики: математика--математическая логика Кл.слова (ненормированные): математическая логика -- логика высказываний -- алгебра высказываний -- аксиоматика -- исчисления высказываний Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского |
Новые поступления (книга в стадии обработки) Лапшева, Елена Евгеньевна. Математическая логика [Текст] : учебное пособие для студентов факультета компьютерных наук и информационных технологий / Е. Е. Лапшева, М. В. Огнева ; Сарат. гос. ун-т им. Н. Г. Чернышевского. - Саратов : Издательство Саратовского университета, 2015. - 124 с. : ил. - Библиогр.: с. 115 (4 назв.). - ISBN 978-5-292-04346-1 : 261.32 р.
Кл.слова (ненормированные): математическая логика -- логические функции -- Карно-Вейча метод -- алгебра логики -- логика высказываний Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского Доп. точки доступа: Огнева, Марина Валентиновна |
Новые поступления (книга в стадии обработки) Кислов, Алексей Геннадьевич. Логика высказываний: язык, алгебра, исчисления [Текст] : учебное пособие / А. Г. Кислов, Г. К. Ольховиков, С. Ю. Уколов ; Урал. федер. ун-т им. первого президента России Б. Н. Ельцина. - Екатеринбург : Издательство Уральского университета, 2012. - 112, [4] с. : ил., табл. - Библиогр.: с. 114 (14 назв.). - ISBN 978-5-7996-0773-9 : 64.00 р. Рекомендовано метод. советом УрФУ в качестве учеб. пособия для студентов, обучающихся по прогр. бакалавриата по социал.-экон. и гуманитар. направлениям подгот.
Рубрики: математика--математическая логика логика--логика Кл.слова (ненормированные): логика -- логика высказываний -- алгебра логики -- алгебра высказываний -- аксиоматика -- исчисления высказываний Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского Доп. точки доступа: Ольховиков, Григорий Константинович Уколов, Сергей Юрьевич |
Новые поступления (книга в стадии обработки) Игошин, Владимир Иванович. Сборник задач по математической логике и теории алгоритмов [Текст] : учебное пособие / В. И. Игошин. - Москва : КУРС : ИНФРА-М, 2017. - 392 с. : ил., табл. - (Бакалавриат). - Библиогр.: с. 388-390 (50 назв.). - ISBN 978-5-906818-08-9 (КУРС) (в пер.). - ISBN 978-5-16-011429-3 (ИНФРА-М) : 1078.00 р. Рекомендовано УМО по образованию в обл. подгот. пед. кадров в качестве учеб. пособия для студентов вузов, обучающихся по направлению 44.03.01 "Педагогическое образование" (квалификация Бакалавр)
Рубрики: математика--математическая логика Кл.слова (ненормированные): математическая логика -- алгоритмов теория -- булевы функции -- логика предикатов -- логика высказываний -- исчисления высказываний Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского |
Новые поступления (книга в стадии обработки) Розен, Виктор Владимирович Введение в дискретную математику [Текст] : учебное пособие для студентов, изучающих курс дискретной математики и смежные дисциплины : 2 ч. / В. В. Розен, Ю. А. Бродская ; Сарат. нац. исслед. гос. ун-т им. Н. Г. Чернышевского. - Саратов : Издательство Саратовского университета, 2016 - . - ISBN 978-5-292-04411-6. Ч. 1. - Саратов : Издательство Саратовского университета, 2016. - 90, [2] с. : ил. - ). - Библиогр.: с. 89 (13 назв.). - ISBN 978-5-292-04407-9 (ч. 1) : 233.59 р.
Рубрики: математика--комбинаторный анализ--теория графов Кл.слова (ненормированные): дискретная математика -- математическая логика -- математические структуры -- логика высказываний -- логика предикатов -- бинарные отношения -- универсальная алгебра -- полугруппы -- кольца Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского Доп. точки доступа: Бродская, Юлия Анатольевна |
Новые поступления (книга в стадии обработки) Берков, В. Ф. Логика: задачи и упражнения, практикум [Текст] : учеб. пособие для студентов вузов / В. Ф. Берков. - Минск : ТетраСистемс, 1998. - 223 с. : ил. ; 20см. - ISBN 9856317304 : 12.00 р.
Рубрики: Философия--Логика Кл.слова (ненормированные): логика -- логика высказываний -- силлогизмы -- имена -- недедуктивные выводы -- модальность -- научное познание -- словесный диалог -- логика отношений -- логика текста Аннотация: В книге приведены задачи и упражнения, выполнение которых будет способствовать усвоению теоретических положений логики и приобретению практических навыков правильных рассуждений, уточнения формулировок, логического анализа учебных, научных, художественных и прочих текстов. Задачи и упражнения подобраны в соответствии с требованиями программы курса логики для вузов Республики Беларусь. Упражнения предпосланы краткие теоретические сведения. Для студентов вузов. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. |
Новые поступления (книга в стадии обработки) Бочаров, В. А. Основы логики [Текст] : учебник для вузов / В. А. Бочаров, В. И. Маркин. - М. : ИНФРА-М, 2002. - 296 с. ; 22см. - (Высшее образование). - ISBN 5160008705 : 77.00 р.
Рубрики: Философия--Логика Кл.слова (ненормированные): философия -- логика -- логические законы -- логические теории -- логика высказываний -- логика предикатов -- силлогистика Аннотация: Представляет собой введение в проблематику современной логики, содержит изложение основных ее разделов. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Маркин, В. И. |
Новые поступления (книга в стадии обработки) Ивин, А. А. Логика [Текст] : учебник для студ.вузов / А.А.Ивин. - М. : Гардарики, 2002. - 352 с. ; 22см. - (Disciplinae). - ISBN 5-7975-0122-8 : 75.00 р. Рекомендовано М-вом образования РФ
Рубрики: Философия--Логика Кл.слова (ненормированные): философия -- логика -- высказывания -- доказательство -- индуктивные рассуждения -- логика высказываний -- неклассическая логика -- софизмы -- логические парадоксы -- классическая логика Аннотация: Излагаются основные понятия и операции современной логики.Главное внимание уделяется законам правильного мышления,применению логического анализа при решении содержательно интересных проблем. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. |
Новые поступления (книга в стадии обработки) Муха, Ю. П. Математическая логика и теория алгоритмов [Текст] : учеб. пособие / Ю. П. Муха, О. А. Авдеюк ; Волгоградский гос. техн. ун-т. - Волгоград : РПК "Политехник", 2005. - 92 с. : табл. ; 20 см. - Библиогр.: с. 92 (10 назв.). - ISBN 5-230-04465-5 : 80.00 р.
Рубрики: Математика--Математическая логика Математика--Теория алгоритмов Кл.слова (ненормированные): математика -- математическая логика -- теория алгоритмов -- логика высказываний -- логика предикатов -- алгебра логики Аннотация: Излагаются основные положения математической логики и теории алгоритмов. Особое внимание уделяется алгебре логики, методам минимизации переключательных функций, синтезу и анализу логических схем. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Авдеюк, О. А. |
Новые поступления (книга в стадии обработки) Светлов, В. А. Логика: экзаменационные ответы для студентов вузов [Текст] : учеб. пособие / В. А. Светлов. - СПб. [и др.] : Питер, 2008. - 160 с. : ил. ; 21 см. - (Завтра экзамен). - ISBN 978-5-469-00910-8 : 61.00 р.
Рубрики: Философия--Логика Кл.слова (ненормированные): СИМВОЛИЧЕСКАЯ ЛОГИКА -- СУЖДЕНИЯ -- УМОЗАКЛЮЧЕНИЯ -- СИЛЛОГИЗМЫ -- ЛОГИКА ВЫСКАЗЫВАНИЙ -- ПРЕДИКАТЫ -- ЛОГИКА ПРЕДИКАТОВ Аннотация: Данное издание подготовлено на основе авторских курсов по логике для специалистов самого разного профиля. Написанная в форме ответов на вопросы, эта книга позволяет быстро повторить все основные темы годового курса по логике. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. |
Новые поступления (книга в стадии обработки) Попов, Ю. П. Логика [Текст] : учеб. пособие / Ю. П. Попов. - 3-е изд., перераб. и доп. - М. : Кнорус, 2009. - 304 с. : ил. ; 22 см. - Библиогр.: с. 294 (14 назв.). - ISBN 978-5-390-00251-3 : 150.00 р. Гриф: рек. Гос. образоват. учреждением высш. проф. образования "МПГУ" в качестве учеб. пособия для студ. вузов, обуч. по напр. подг. 520400 (030100) - философия и спец. 020100 (030101) - философия
Рубрики: Философия--Логика Кл.слова (ненормированные): ПОНЯТИЕ -- СУЖДЕНИЕ -- УМОЗАКЛЮЧЕНИЕ -- ДОКАЗАТЕЛЬСТВО -- ЛОГИКА ВЫСКАЗЫВАНИЙ -- ЛОГИКА ПРЕДИКАТОВ -- СИМВОЛИЧЕСКАЯ ЛОГИКА Аннотация: Пособие содержит основные темы курса «Логика», соответствующие общепринятой программе преподавания этой дисциплины. Благодаря простоте изложения и легкости стиля полезно не только как учебное пособие, но и как популяризирующее эту издание. Много внимания уделяется философско-методологическим проблемам логики. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. |
Новые поступления (книга в стадии обработки) Серебряков, А. В. Элементарный курс математической логики [Текст] : учеб. пособие для студентов всех спец. / А. В. Серебряков ; Саратовский гос. техн. ун-т. - Саратов : СГТУ, 2011. - 32 с. : ил. ; 21 см. - Библиогр.: с. 31 (13 назв.). - ISBN 978-5-7433-2368-5 : 8.19 р.
Рубрики: Математика--Математическая логика Кл.слова (ненормированные): МНОЖЕСТВА -- ФУНКЦИИ -- ЛОГИЧЕСКИЕ ФУНКЦИИ -- ЛОГИКА ВЫСКАЗЫВАНИЙ -- ЛОГИКА ПРЕДИКАТОВ Аннотация: Пособие содержит начальные понятия о множествах и функциях; рассмотрены основные законы алгебры двузначных логических функций с применением в логике высказываний и предикатов. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. |
Новые поступления (книга в стадии обработки) Калужнин, Л. А. Что такое математическая логика? [Текст] : научное издание / Л. А. Калужнин. - М. : Изд-во "Наука", 1964. - 152 с. : ил., граф., табл. ; 20 см. - Библиогр.: с. 149-150 (29 назв.). - 0.21 р.
Кл.слова (ненормированные): ЛОГИКА ВЫСКАЗЫВАНИЙ -- ФОРМУЛЫ ЛОГИКИ -- ПРЕДИКАТЫ -- КВАНТОРЫ -- МАТЕМАТИЧЕСКАЯ ЛОГИКА Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. |