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

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

Файли

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

Зараз показуємо 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
Опис:
Завантажити

Колекції

Навчальні видання. Філософський факультет