Новые поступления (книга в стадии обработки) Карпенко, Александр Степанович. Логики Лукасевича и простые числа [Текст] = Lukasiewicz' Logics and Prime Numbers : научное издание / А. С. Карпенко. - Москва : Наука, 2000. - 318, [2] с. - Библиогр. - ISBN 5-02-013048-6 (в пер.) : 40.00 р.
Рубрики: математика--математическая логика--теория чисел Кл.слова (ненормированные): логика высказываний -- простые числа -- Лукасевича логика Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского |
Новые поступления (книга в стадии обработки) Тетерин, П. Г. Математическая логика: Синтез, декомпозиция, оценка и отбор высказываний: Обоснование целей, критериев и требований к новому [Текст] : науч. изд. / П. Г. Тетерин. - Саратов : [б. и.], 2002. - 76 с. - Библиогр. - ISBN Б. и. : 20.00 р.
Рубрики: математика--математическая логика Кл.слова (ненормированные): математическая логика -- синтез -- логика высказываний -- декомпозиция Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского |
Новые поступления (книга в стадии обработки) Новак, Вилем. Математические принципы нечёткой логики [Текст] = Mathematical Principles of Fuzzy Logic : научное издание / В. Новак, И. Перфильева, И. Мочкорж ; пер. с англ. под ред. А. Н. Аверкина. - Москва : ФИЗМАТЛИТ, 2006. - 347, [5] с. - [Математические принципы нечеткой логики] . - Библиогр.: с. 335-343 (143 назв.). - Предм. указ.: с. 344-347. - ISBN 5-9221-0399-7 (рус.) (в пер.). - ISBN 0-7923-8595-0 (англ.) : 217.36 р.
Рубрики: математика--математическая логика Кл.слова (ненормированные): нечеткая логика -- алгебра логики -- моделей теория -- функциональные системы -- нечеткие множества -- топосы -- алгебраические структуры Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского Доп. точки доступа: Перфильева, Ирина Мочкорж, Иржи Аверкин, А. Н. |
Новые поступления (книга в стадии обработки) Наголкин, Андриан Николаевич. Алгебра логики в золотом сечении. Ещё один шаг в область нечётких логик и компьютерного интеллекта [Текст] : научное издание / А. Н. Наголкин. - Москва : МАКС Пресс, 2006. - 180, [4] с. : портр. - Библиогр.: с. 180-181 (26 назв.). - ISBN 5-317-01731-9 (в пер.) : 90.00 р.
Рубрики: математика--математическая логика вычислительная техника--искусственный интеллект Кл.слова (ненормированные): алгебра логики -- нечеткая логика -- искусственный интеллект -- компьютерный интеллект -- золотое сечение -- нейронные сети Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского |
Новые поступления (книга в стадии обработки) Мендельсон, Э. Введение в математическую логику [Текст] / Э. Мендельсон ; пер. с англ. Ф. А. Кабакова ; под ред. С. И. Адяна. - 3.изд. - М. : Наука, 1984. - 320 с. ; 22см. - 1.80 р.
Рубрики: Математика--Математическая логика Кл.слова (ненормированные): исчисление -- тавтологии -- кванторы -- теоремы -- изоморфизмы -- арифметика -- арифметические функции -- теорема Гёделя -- теорема Тарского -- система Робинсона -- числа -- порядковые числа -- Гёдель -- Хартогс -- теорема Хартогса -- алгорифмы Маркова -- алгорифмы Тьюринга -- алгорифмы -- Марков -- Тьюринг Аннотация: В книге освещается широкий круг вопросов. В ней излагаются следующие темы: логика высказываний и логика предиктов, элементарные теории, формализованная арифметика, аксиоматическая теория множеств, теория алгоритмов. Изложению присуща ясность, простота и лаконичность. Значительная роль в книге отведена упражнениям, куда вынесена часть материала, используемого в основном тексте. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Кабаков, Ф. А. Адян, С. И. |
Новые поступления (книга в стадии обработки) Кэрролл, Л. Логическая игра [Текст] / Л. Кэрролл. - Пер. с англ. Ю. А. Данилова. - М. : Наука, 1991. - 192 с. ; 20см. - ISBN 5-02-014220-4 : 3.00 р.
Рубрики: Математика--Математическая логика Кл.слова (ненормированные): математическая логика -- математика -- силлогизм -- сориты -- графические изображения -- логические игры -- диаграммы Аннотация: Сборник логических задач знакомит читателя с оригинальным графическим методом решения силлогизмов и соритов. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. |
Новые поступления (книга в стадии обработки) Столяр, А. А. Как математика ум в порядок приводит [Текст] / А. А. Столяр. - 2-е изд. - Минск : Высшая школа, 1991. - 207 с. : ил. ; 16 см. - ISBN 5-339-00587-9 : 1.00 р.
Рубрики: Математика--Математическая логика Кл.слова (ненормированные): математика -- математическая логика -- множества -- многоугольники -- конъюнкции -- дизъюнкции -- импликации -- булева алгебра Аннотация: Излагается логика математики, как одна и та же математическая теория описывает различные системы объектов одинаковой структуры. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. |
Новые поступления (книга в стадии обработки) Наголкин, А. Н. Алгебра логики в золотом сечении [Текст] : еще один шаг в область нечетких логик и компьютерного интеллекта / А. Н. Наголкин. - М. : МАКС Пресс, 2006. - 184 с. : ил. ; 22 см. - Библиогр.: с. 180-181 (26 назв.). - ISBN 5-317-01731-9 : 180.00 р.
Рубрики: Математика--Математическая логика Кл.слова (ненормированные): математика -- математическая логика -- алгебра логики -- переменная -- логические векторы -- золотое сечение Аннотация: В книге предложена оригинальная базовая основа алгебры логики, состоящая из двух корневых функций - обобщения и отрицания переменных. Значения логических векторов зависят от порядка расположения в них переменных. Порядок расположения переменных в логических векторах определяется временем возникновения переменных или присваиваемым им приоритетам. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. |
Новые поступления (книга в стадии обработки) Успенский, В. А. Теорема Геделя о неполноте [Текст] : научно-популярная литература / В. А. Успенский. - М. : Наука, 1982. - 112 с. ; 21 см. - (Популярные лекции по математике). - 15.00 р.
Рубрики: Математика--Математическая логика Кл.слова (ненормированные): МАТЕМАТИКА -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ТЕОРЕМА ГЕДЕЛЯ -- ТЕОРЕМА О НЕПОЛНОТЕ -- АРИФМЕТИКА Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова) |
Новые поступления (книга в стадии обработки) Проблемы математической логики. Сложность алгоритмов и классы вычислимых функций [Текст] : сб. пер. / под ред. В. А. Козмидиади, А. А. Мучника. - М. : Мир, 1970. - 432 с. : ил. ; 21 см. - (Б-ка "Кибернетического Сборника"). - Библиогр. в конце ст. - 1.94 р.
Рубрики: Математика--Математическая логика Кл.слова (ненормированные): АЛГОРИТМЫ АДАПТАЦИИ -- РЕКУРСИВНЫЕ ФУНКЦИИ -- ВЫЧИСЛИТЕЛЬНАЯ СИСТЕМА -- ВЫЧИСЛИТЕЛЬНЫЕ УСТРОЙСТВА -- КОНЕЧНЫЕ АВТОМАТЫ -- ВЫЧИСЛИТЕЛЬНЫЕ МАШИНЫ Аннотация: Содержит работы по актуальным проблемам математической логики. Эти работы посвящены оценкам сложности алгоритмов и вычислений, классификациям рекурсивных функций и различным типам вычислительных устройств, связанных с такими классификациями. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Козмидиади, В. А. Мучник, А. А. |
Новые поступления (книга в стадии обработки) Шенфилд, Д. Математическая логика [Текст] : научное издание / Д. Шенфилд ; пер. с англ. И. А. Лаврова, И. А. Мальцева ; под ред. Ю. Л. Ершова. - М. : Наука, 1975. - 528 с. ; 20 см. - (Математическая логика и основания математики). - 2.16 р.
Рубрики: Математика--Математическая логика Кл.слова (ненормированные): ТЕОРИЯ РЕКУРСИИ -- ТЕОРИЯ ПЕРВОГО ПОРЯДКА -- ТЕОРИЯ МОДЕЛЕЙ -- НАТУРАЛЬНЫЕ ЧИСЛА -- ТЕОРИЯ МНОЖЕСТВ Аннотация: В этой книге значительно расширен курс математической логики, часть материала взята из курса по теории рекурсии. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Лавров, И. А. Мальцев, И. А. Ершов, Ю. Л. |
Новые поступления (книга в стадии обработки) Пензов, Ю. Е. Элементы математической логики и теории множеств [Текст] : научное издание / Ю. Е. Пензов. - Саратов : Изд-во Сарат. ун-та , 1968. - 143 с. : ил. ; 20 см. - Библиогр.: с. 141 (16 назв.). - 0.60 р.
Рубрики: Математика--Математическая логика Кл.слова (ненормированные): ТЕОРИЯ МНОЖЕСТВ -- ЛОГИКА МАТЕМАТИЧЕСКАЯ -- ЛОГИКА -- ЛОГИКА ПРЕДИКАТОВ -- БИНАРНЫЕ ОТНОШЕНИЯ -- ПРЕОБРАЗОВАНИЯ МНОЖЕСТВ Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. |
Новые поступления (книга в стадии обработки) Фрейденталь, Х. Язык логики [Текст] / Х. Фрейденталь ; пер. с англ. Ю. А. Петрова ; под ред. Ю. А. Гастева = The language of logic / H. Freudenthal : научное издание. - М. : Изд-во "Наука", 1969. - 135 с. ; 20 см. - 0.49 р. Тит. л. парал. на англ. яз.
Кл.слова (ненормированные): МНОЖЕСТВА -- ОТОБРАЖЕНИЯ -- ВЫСКАЗЫВАНИЯ -- СУБЪЕКТ -- ПРЕДИКАТ -- ФОРМАЛЬНАЯ ЛОГИКА -- ЯЗЫК -- МЕТАЯЗЫК Аннотация: В книге в доступной форме дается представление о логике, но также есть более углубленный раздел. Основы "языка логики" это тот язык на котором читатель мог бы и говорить за тем, не рискуя быть смешным, как всякий полузнайка ("запас слов" сознательно ограничен, но зато теперь читатель сможет, если захочет, смело пользоваться и более трудными "словарями" и "грамматиками"), и читать книги, написанные на этом языке. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Петров, Ю. А. Гастев, Ю. А. |
Новые поступления (книга в стадии обработки) Неоклассическая логика [Текст] : научное издание / Ин-т философии (Москва) ; отв. ред. П. В. Таванец. - М. : Изд-во "Наука", 1970. - 383 с. ; 22 см. - 1.18 р.
Рубрики: Математика--Математическая логика Кл.слова (ненормированные): КЛАССИЧЕСКАЯ ЛОГИКА -- КОМПЛЕКСНАЯ ЛОГИКА -- СИСТЕМЫ ЛОГИЧЕСКОГО СЛЕДОВАНИЯ -- СИЛЛОГИСТИКА КЛАССОВ -- ТЕОРЕМЫ ТЕОРИИ КВАНТОВ -- СИСТЕМЫ ВЫРАЖЕННОГО СЛЕДОВАНИЯ -- МАТЕРИАЛЬНАЯ ИМПЛИКАЦИЯ -- ЛОГИКА ВРЕМЕНИ Аннотация: В книге дается общая характеристика неоклассической логики, которая является разделом современной математической логики, рассказывается о перспективах ее развития и о возможности приложения ее в науке и технике. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Таванец, П. В. |
Новые поступления (книга в стадии обработки) Мендельсон, Э. Введение в математическую логику [Текст] / Э. Мендельсон ; пер. c англ. Ф. А. Кабакова ; под ред. С. И. Адяна = Introduction to mathematical logic / E. Mendelson : научное издание. - 2-е изд., испр. - М. : Изд-во "Наука", 1976. - 320 с. ; 22 см. - Библиогр.: с. 296-309. - 1.65 р. Загл. парал. на англ. яз.
Рубрики: Математика--Математическая логика Кл.слова (ненормированные): ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ -- ТЕОРИИ ПЕРВОГО ПОРЯДКА -- ФОРМАЛЬНАЯ АРИФМЕТИКА -- АКСИОМАТИЧЕСКАЯ ТЕОРИЯ МНОЖЕСТВ -- ЭФФЕКТИВНАЯ ВЫЧИСЛИМОСТЬ -- ДОКАЗАТЕЛЬСТВО НЕПРОТИВОРЕЧИВОСТИ АРИФМЕТИКИ Аннотация: В книге дается доступное для начинающего читателя и достаточно полное изложение основных разделов современной математической логики и многих ее приложений. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Кабаков, Ф. А. Адян, С. И. |
Новые поступления (книга в стадии обработки) Мельников, Г. П. Азбука математической логики [Текст] : научное издание / Г. П. Мельников. - М. : Изд-во "Знание", 1967. - 103 с. : ил. ; 21 см. - 0.19 р.
Кл.слова (ненормированные): ЛОГИКА -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ЛОГИЧЕСКИЕ ОТНОШЕНИЯ -- ИМПЛИКАЦИЯ -- МАТЕМАТИКА Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. |
Новые поступления (книга в стадии обработки) Слупецкий, Е. Элементы математической логики и теории множеств [Текст] : научное издание / Е. Слупецкий, Л. Борковский ; пер. с пол. О. Ф. Серебрянникова. - М. : Прогресс, 1965. - 386 с. ; 21 см. - . - 1.23 р.
Рубрики: Математика--Математическая логика Кл.слова (ненормированные): ТЕОРИЯ МНОЖЕСТВ -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ЛОГИКА -- ТЕОРЕТИЧЕСКАЯ ЛОГИКА -- СИМВОЛИЧЕСКАЯ ЛОГИКА -- МАТЕМАТИКА Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Борковский, Л. Серебрянников, О. Ф. |
Новые поступления (книга в стадии обработки) Стяжкин, Н. И. Становление идей математической логики [Текст] : научное издание / Н. И. Стяжкин ; отв. ред. А. Л. Субботин ; Акад. наук СССР (Москва). - М. : Изд-во "Наука", 1964. - 304 с. : ил. ; 20 см. - Библиогр.: с. 277-298 (460 назв.). - 0.95 р.
Кл.слова (ненормированные): МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ЛОГИЧЕСКОЕ СЛЕДОВАНИЕ -- СИМВОЛИЧЕСКАЯ ЛОГИКА -- ЛОГИСТИКА -- АЛГЕБРО-ЛОГИЧЕСКАЯ ПРОБЛЕМАТИКА Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Субботин, А. Л. |
Новые поступления (книга в стадии обработки) Левин, В. И. Логико-математические методы в технических, гуманитарных и общественных науках [Текст] : монография / В. И. Левин ; Пензенский гос. техн. ун-т. - Пенза : ПензГТУ, 2014. - 384 с. : ил. ; 20 см. - (Система открытого образования). - Библиогр. в конце глав. - ISBN 978-5-98903-213-6 : 200.00 р.
Рубрики: Математика--Математическая логика Кл.слова (ненормированные): ЛОГИКО-МАТЕМАТИЧЕСКИЕ МЕТОДЫ -- НЕПРЕРЫВНАЯ ЛОГИКА -- АВТОМАТНО-ЛОГИЧЕСКАЯ ТЕОРИЯ -- ЛОГИКА МЫШЛЕНИЯ -- ДИНАМИЧЕСКИЕ ПРОЦЕССЫ -- БИБЛЕЙСКАЯ КРИТИКА Аннотация: Изложен математический аппарат непрерывной логики и методика его применения к решению различных задач в технике, естественных, гуманитарных и общественных наук. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. |
Новые поступления (книга в стадии обработки) Гильберт, Д. Основания математики [Текст] / Д. Гильберт, П. Бернайс ; пер. с нем. Н. М. Нагорного ; под ред. С. И. Адяна = Grundlagen der mathematik / D. Hilbert, P. Bernays : логические исчисления и формализация арифметики : монография. - М. : Наука, 1979. - 560 с. ; 22 см. - (Математическая логика и основания математики). - 2.70 р. Тит. л. парал. на нем. яз.
Рубрики: Математика--Основания математики Кл.слова (ненормированные): АКСИОМАТИКА ГИЛЬБЕРТА -- ЭЛЕМЕНТАРНАЯ АРИФМЕТИКА -- ТЕОРИЯ ИСТИННОСТНЫХ ФУНКЦИЙ -- ТЕОРИЯ ДОКАЗАТЕЛЬСТВ -- РЕКУРСИВНЫЕ ОПРЕДЕЛЕНИЯ Аннотация: Монография занимает уникальное место в мировой математической литературе. Издание подвело итог процессу становления математической логики как самостоятельной математической дисциплины со своей проблематикой и своими методами. Эта книга оказала решающее влияние на дальнейшее развитие математической логики. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Бернайс, П. Bernays P. Нагорный, Н. М. Адян, С. И. |