Символическая логика: Пособие для практических занятий и самостоятельной работы

Скорочена інформація про документ
dc.contributor.authorМинаков, И.В.
dc.date.accessioned2014-06-05T09:07:01Z
dc.date.available2014-06-05T09:07:01Z
dc.date.issued2012
dc.descriptionМинаков Игорь Викторович, кандидат философских наук, доцент кафедры теоретической и практической философии Харьковского национального университета имени В.Н. Каразина.
dc.description.abstractИздание содержит материалы для практических занятий и самостоятельной работы студентов по курсу «Символическая логика»: тематический план учебной дисциплины, список тем курсовых работ, список рекомендованной литературы, списки ключевых значений и терминов, дополнительные и расширяющие вопросы для самостоятельной проработки, рекомендации, примеры выполнения заданий – по каждой теме, дополнения.
dc.identifier.citationМинаков И.В. Символическая логика: Пособие для практических занятий и самостоятельной работы / И.В. Минаков. – Харьков, 2012. – 47 с.
dc.identifier.urihttps://ekhnuir.karazin.ua/handle/123456789/9690
dc.language.isoru
dc.publisherХарьков
dc.subjectResearch Subject Categories::HUMANITIES and RELIGION::History and philosophy subjects::Philosophy subjects
dc.subjectResearch Subject Categories::SOCIAL SCIENCES::Social sciences::Education
dc.subjectформы высказываний
dc.subjectязык логики высказываний
dc.subjectотношение равносильности формул в логике высказываний. правило равносильной замены. тавтологии и противоречия
dc.subjectрасширение языка пропозициональной логики
dc.subjectполные системы логических связок. закон двойственности
dc.subjectнормальная форма формул логики высказываний
dc.subjectсемантическая проблема разрешения
dc.subjectконъюнктивные нормальные формы
dc.subjectпонятие логического следования
dc.subjectдизъюнктивные нормальные формы
dc.subjectпонятие логического вывода
dc.subjectсистемы натуральных исчислений высказываний
dc.subjectограниченные классические логики
dc.subjectаксеоматические исчисления высказываний
dc.subjectформализованная силлогистика Я.Лукасевича
dc.subjectязык логики предикатов первого порядка (синтаксический аспект)
dc.subjectтеория значения (логическая семантика) для языка логики предикатов
dc.subjectаксеоматическое исчисление предикатов (АИП)
dc.subjectобщее понятие формальной теории (логического исчисления)
dc.subjectпроблема оснований математики
dc.subjectтеоремы Гёделя
dc.titleСимволическая логика: Пособие для практических занятий и самостоятельной работы
dc.typeBook

Файли

Контейнер файлів

Зараз показуємо 1 - 2 з 2
Ескіз
Назва:
Методичка титул.pdf
Розмір:
101,3 KB
Формат:
Adobe Portable Document Format
Опис:
Завантажити
Ескіз
Назва:
Simvolicheskaya_logika.pdf
Розмір:
4,44 MB
Формат:
Adobe Portable Document Format
Опис:
Завантажити

Ліцензійна угода

Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
license.txt
Розмір:
7,8 KB
Формат:
Item-specific license agreed upon to submission
Опис:
Завантажити

Колекції

Навчальні видання. Навчально-науковий інститут філософії, культурології, політології