Новые поступления (книга в стадии обработки) Зиновьев, Александр Александрович. Очерки комплексной логики [Текст] : научное издание / Александр Александрович Зиновьев. - Москва : Эдиториал УРСС, 2000. - 557, [3] с. - ISBN 5-8360-0125-1 (в пер.) : 65.00 р.
Рубрики: логика--логика Кл.слова (ненормированные): комплексная логика -- многозначная логика -- логическое следование -- квазиследование -- физическое следование -- кванторов теория -- логика классов (множеств) -- логическая математика -- логическая физика -- логическая методология науки -- логика Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского |
Новые поступления (книга в стадии обработки) Войшвилло, Евгений Казимирович. Философско-методологические аспекты релевантной логики [Текст] : научное издание / Е. К. Войшвилло. - Москва : Изд-во Моск. ун-та, 1988. - 139, [5] с. - ISBN 5-211-00019-6 : 20.00 р.
Рубрики: логика--логика Кл.слова (ненормированные): релевантная логика -- парадоксы -- логическое следование -- семантика -- зависимость -- релевантность -- импликация -- логическая система -- классическая логика -- логика Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского |
Новые поступления (книга в стадии обработки) Никольская, И. Л. Математическая логика [Текст] : учеб. / И. Л. Никольская. - М. : Высшая школа, 1981. - 127 с. : ил. ; 20 см. - 0.25 р.
Рубрики: Математика--Математическая логика Кл.слова (ненормированные): математика -- математическая логика -- логические операции -- логическая равносильность -- логическое следование -- нормальные формы Аннотация: Книга предназначена для учащихся техникумов по специальности 1750 "Прикладная математика" и содержит теоретический материал, соответствующий программе курса "Математическая логика", а также упражнения для активного усвоения курса и приобретения необходимых навыков. Изложение базируется на знаниях по математике, полученных учащимися в восьмилетней школе, и на усвоенных ими языковых нормах. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. |
Новые поступления (книга в стадии обработки) Куликов, В. В. Дискретная математика [Текст] : учеб. пособие / В. В. Куликов. - М. : РИОР, 2012. - 174 с. : ил. ; 22 см. - (Высшее образование). - Библиогр.: с. 171 (8 назв.). - ISBN 978-5-369-00205-6 : 187.10 р. Гриф: рек. УМО по образованию в обл. телекоммуникаций в качестве учеб. пособия для студ. вузов, обуч. по спец. 071700 "Физика и техника оптической связи", 200900 "Сети связи и системы коммутации", 201000 "Многоканальные телекоммуникационные системы", 201100 "Радиосвязь, радиовещание и телевидение", 201200 "Средства связи с подвижными объектами", 201300 "Защищенные системы связи"
Рубрики: Математика--Дискретная математика Кл.слова (ненормированные): МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ЛОГИЧЕСКОЕ СЛЕДОВАНИЕ -- ТЕОРИЯ МНОЖЕСТВ -- ТЕОРИЯ АЛГОРИТМОВ -- ТЕОРИЯ ГРАФОВ -- КОМБИНАТОРИКА -- КОНЕЧНЫЕ АВТОМАТЫ -- АЛГОРИТМЫ Аннотация: В пособии рассмотрены элементы математической логики, теории множеств и теории графов, приведены основные принципы комбинаторики. Описаны алгоритмы, позволяющие решать различные задачи с помощью компьютера. Изложены основные понятия теории конечных автоматов. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. |
Новые поступления (книга в стадии обработки) Проблемы логики научного познания [Текст] : сб. статей / Ин-т философии (Москва) ; отв. ред. П. В. Таванец. - М. : Изд-во "Наука", 1964. - 410 с. : ил. ; 21 см. - Библиогр. в конце ст. - 1.78 р.
Кл.слова (ненормированные): ЛОГИКА НАУЧНОГО ПОЗНАНИЯ -- ДЕДУКТИВНЫЙ МЕТОД -- ВЕРОЯТНОСТНАЯ ЛОГИКА -- ЛОГИКА НАУКИ -- ЛОГИЧЕСКОЕ СЛЕДОВАНИЕ -- ФИЗИЧЕСКОЕ СЛЕДОВАНИЕ Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Таванец, П. В. |
Новые поступления (книга в стадии обработки) Проблемы логики и теории познания [Текст] : сборник / под ред. И. С. Нарского. - М. : Изд-во Моск. ун-та, 1968. - 319 с. ; 21 см. - Библиогр. в конце ст. - 1.22 р.
Кл.слова (ненормированные): ОТРАЖЕНИЕ СВОЙСТВ ОБЪЕКТОВ -- ЛОГИЧЕСКОЕ СЛЕДОВАНИЕ -- ТЕОРИЯ ПОЗНАНИЯ -- МНОГОЗНАЧНАЯ ЛОГИКА -- ФИЛОСОФСКИЕ ПРОБЛЕМЫ -- ВЕРОЯТНОСТНЫЕ МЕТОДЫ ИССЛЕДОВАНИЯ -- АЛГОРИТМИЧЕСКИЕ ПРЕДМЕТНЫЕ УКАЗАТЕЛИ Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Нарский, И. С. |
Новые поступления (книга в стадии обработки) Сидоренко, Е. А. Логическое следование и условные высказывания [Текст] : научное издание / Е. А. Сидоренко ; отв. ред. П. В. Таванец ; Ин-т философии. - М. : Изд-во "Наука", 1983. - 173 с. ; 21 см. - Библиогр.: с. 169-171 (60 назв.). - 0.95 р.
Рубрики: Философия--Логика Кл.слова (ненормированные): ТЕОРИЯ ИМПЛИКАЦИИ -- ЛОГИКА -- РЕЛЕВАНТНАЯ ЛОГИКА -- ЛОГИЧЕСКОЕ СЛЕДОВАНИЕ -- СИМВОЛИЧЕСКАЯ ЛОГИКА Аннотация: Рассматривается проблема непарадоксальной формализации логического следования, строится логика интенсионально понимаемых условных высказываний, анализируются логические критерии истинности контрфактических условных предложений. Эта книга по релевантной логике. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Таванец, П. В. |
Новые поступления (книга в стадии обработки) Стяжкин, Н. И. Становление идей математической логики [Текст] : научное издание / Н. И. Стяжкин ; отв. ред. А. Л. Субботин ; Акад. наук СССР (Москва). - М. : Изд-во "Наука", 1964. - 304 с. : ил. ; 20 см. - Библиогр.: с. 277-298 (460 назв.). - 0.95 р.
Кл.слова (ненормированные): МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ЛОГИЧЕСКОЕ СЛЕДОВАНИЕ -- СИМВОЛИЧЕСКАЯ ЛОГИКА -- ЛОГИСТИКА -- АЛГЕБРО-ЛОГИЧЕСКАЯ ПРОБЛЕМАТИКА Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Субботин, А. Л. |
Новые поступления (книга в стадии обработки) Исследование логических систем [Текст] : сборник / Ин-т философии (Москва) ; отв. ред. П. В. Табанец. - М. : Наука, 1970. - 334 с. : граф., рис., табл. ; 20 см. - Библиогр.: с. 329-331 . - 1.05 р.
Рубрики: Математика--Анализ Кл.слова (ненормированные): ЛОГИЧЕСКИЕ СИСТЕМЫ -- СИЛЛОГИСТИКА -- МОДАЛЬНЫЕ СИСТЕМЫ -- КОМПЛЕКСНАЯ ЛОГИКА -- ЛОГИЧЕСКОЕ СЛЕДОВАНИЕ Аннотация: Исследуются взаимоотношения формально-логических систем и способы их классификации. Анализируются такие проблемы, как логическое следование, естественные языки и языки логики, взаимоотношения систем многозначной логики. Рассматривается соотношение математической строгости и критерия практики в развитии математики. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Табанец, П. В. |
Новые поступления (книга в стадии обработки) Теория логического вывода [Текст] : научное издание / Ин-т философии (Москва) ; отв. ред. П. В. Таванец. - М. : Наука, 1973. - 272 с. : граф., рис., табл. ; 20 см. - Библиогр.: с. 270 . - 0.76 р.
Рубрики: Математика--Математическая логика Кл.слова (ненормированные): ЛОГИЧЕСКОЕ СЛЕДОВАНИЕ -- ТЕОРИЯ КВАНТОРОВ -- ЛОГИКА КЛАССОВ -- МОДАЛЬНАЯ ЛОГИКА -- ПАРАДОКС ЗЕНОНА -- ЛОГИЧЕСКИЕ ОПЕРАЦИИ Аннотация: Даны проблемы теории логического следования, в которых анализируются роль и место этой теории в логике, философии и методологии науки, рассматриваются проблемы общей теории дедукции, теории кванторов, логики классов, модальной логики, логики пространственно-временных отношений. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Таванец, П. В. |