Фундаментальная библиотека ФГБОУ ВО СПХФУ Минздрава России

Версия для слабовидящих: Вкл Выкл Изображения: Вкл Выкл Размер шрифта: A A A Цветовая схема: A A A A

Главная

ИРБИС64+

Упрощенный режим

Описание

Базы данных

ЭБС IPRBooks- результаты поиска

Вид поиска

Электронный каталог

Картотека журнальных статей

Систематический имидж-каталог

Авторефераты диссертаций

Учебники и учебно-методические пособия СПХФУ

ЭБС IPRBooks

ЭБС Консультант студента

ЭБС Юрайт

Диссертации, защищенные в СПХФУ

Журнальный фонд СПХФУ

Библиотечный фонд техникума

ВКР

Область поиска

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>K=символическая логика<.>)

Общее количество найденных документов : 4
Показаны документы с 1 по 4

Вид документа : Однотомное издание
Шифр издания : 8091
Автор(ы) : Жоль К. К.
Заглавие : Логика : Учебное пособие для вузов
Выходные данные : Москва: ЮНИТИ-ДАНА, 2012
Колич.характеристики :400 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 5-238-00664-0: Б.ц.
УДК : 16(075.8)
ББК : 87.4я73
Ключевые слова (''Своб.индексиров.''): классическая логика--логика--логическая семантика--логическое исследование--логическое программирование--математическая логика--символическая логика--учебное пособие
Аннотация: Дается изложение важнейших понятий, идей и методов современной символической логики, являющейся расширением математической логики. В общедоступной форме объясняются смысл и предметная направленность логических исследований, их связь с философией, кибернетикой и другими науками. Впервые в одной книге, имеющей характер учебного пособия, рассчитанного не только на студентов первых курсов вузов и колледжей и старшеклассников, а также всех, кто серьезно интересуется логикой и хочет иметь ясные представления о ней, излагаются не только основы классической логики, но и описываются неклассические логики, в отдельной главе дается характеристика логической семантики и демонстрируется практическая ценность логики для решения проблем, связанных с логическим программированием компьютеров.
(для доступа требуется авторизация)

Найти похожие

Вид документа : Однотомное издание
Шифр издания : 7203
Автор(ы) : Бочаров В. А., Маркин В. И.
Заглавие : Силлогистические теории : Монография
Выходные данные : Москва: Прогресс-Традиция, 2010
Колич.характеристики :336 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-89826-361-4: Б.ц.
УДК : 16
ББК : 87.4
Ключевые слова (''Своб.индексиров.''): монография--силлогистика--силлогистическая теория--символическая логика--система силлогистики
Аннотация: Монография является итогом многолетних исследований силлогистических теорий с точки зрения символической логики. Дается детальная классификация систем силлогистики в зависимости от выразительных возможностей их языков и принимаемых в них условий истинности категорических высказываний. Осуществляется формальная реконструкция ряда имеющихся в истории логики силлогистик - силлогистик Аристотеля, Л. Кэрролла, Б. Больцано, Дж. Венна, Н.А. Васильева, а также традиционной и фундаментальной силлогистики. Устанавливаются метатеоретические взаимосвязи между различными системами силлогистики, а также между силлогистиками и современными логическими теориями. Для нескольких систем силлогистики предлагаются адекватные интенсиональные семантики. Впервые ставится и исследуется проблема полноты множества логических констант в силлогистической теории.
(для доступа требуется авторизация)

Найти похожие

Вид документа : Однотомное издание
Шифр издания : 74181
Автор(ы) : Королев В.Т., Ловцов Д.А., Радионов В.В.
Заглавие : Системный анализ. Логические методы. Часть вторая: Учебное пособие. Системный анализ. Логические методы. Часть вторая
Выходные данные : : Российский государственный университет правосудия Б.м., 2017
Колич.характеристики :164 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-93916-638-6: Б.ц.
УДК : 16
ББК : 87.4
Ключевые слова (''Своб.индексиров.''): системный анализ--логический метод--логическая форма--псевдоформальная логика--символическая логика
Аннотация: Учебное пособие соответствует программе учебной дисциплины «Системный анализ» (раздел «Логические методы»), изучаемой в РГУП на экономическом факультете для подготовки бакалавров по направлениям 38.03.01 — «Экономика», 38.03.02 — «Менеджмент», 38.03.04 — «Государственное и муниципальное управление». В пособии рассматриваются методы традиционной формальной логики (логические формы и законы), современной псевдоформальной логики (темпоральной логики, причинно-следственных и пространственных отношений) и современной символической (теоретической, математической, нечеткой) логики. Предназначено для студентов, магистрантов юридических и экономического факультетов, аспирантов и преподавателей при изучении логических методов как продуктивного формализованного средства системного анализа.
(для доступа требуется авторизация)

Найти похожие

Вид документа : Однотомное издание
Шифр издания : 88176
Автор(ы) : Дегтярев М. Г., Хмелевская С. А.
Заглавие : Логика : Учебник
Выходные данные : Москва, Саратов: ПЕР СЭ, Ай Пи Эр Медиа, 2019
Колич.характеристики :288 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-4486-0487-4: Б.ц.
УДК : 510
ББК : 87.4
Ключевые слова (''Своб.индексиров.''): абстрактное мышление--дедуктивное умозаключение--индуктивное умозаключение--логика--логика высказываний--логика предикатов--логический принцип--процесс познания--символическая логика--язык логики
Аннотация: Предлагаемый учебник — систематизированное изложение курса логики, читаемого для студентов юридических вузов. Помимо теоретического изложения тем курса, учебник содержит задачи и упражнения, а также логический и юридический практикум, где разбираются логические проблемы из различных областей юридической деятельности. В учебнике удачно сочетается традиционная тематика с современным уровнем логико-методологических исследований. Рекомендуется студентам, аспирантам, преподавателям юридических вузов.
(для доступа требуется авторизация)

Тематический навигатор

Статистика обращений

Статистика за 29.06.2024
Число запросов	0
Число посетителей	0
Число заказов	0

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)