Архив электронных ресурсов
[Зарегистрироваться]
 

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

Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс: http://dspace.univer.kharkov.ua/handle/123456789/9690

Название: Символическая логика: Пособие для практических занятий и самостоятельной работы
Авторы: Минаков, И.В.
Ключевые слова: Research Subject Categories::HUMANITIES and RELIGION::History and philosophy subjects::Philosophy subjects
Research Subject Categories::SOCIAL SCIENCES::Social sciences::Education
формы высказываний
язык логики высказываний
отношение равносильности формул в логике высказываний. правило равносильной замены. тавтологии и противоречия
расширение языка пропозициональной логики
полные системы логических связок. закон двойственности
нормальная форма формул логики высказываний
семантическая проблема разрешения
конъюнктивные нормальные формы
понятие логического следования
дизъюнктивные нормальные формы
понятие логического вывода
системы натуральных исчислений высказываний
ограниченные классические логики
аксеоматические исчисления высказываний
формализованная силлогистика Я.Лукасевича
язык логики предикатов первого порядка (синтаксический аспект)
теория значения (логическая семантика) для языка логики предикатов
аксеоматическое исчисление предикатов (АИП)
общее понятие формальной теории (логического исчисления)
проблема оснований математики
теоремы Гёделя
Дата публикации: 2012
Издатель: Харьков
Библиографическое описание: Минаков И.В. Символическая логика: Пособие для практических занятий и самостоятельной работы / И.В. Минаков. – Харьков, 2012. – 47 с.
Реферат: Издание содержит материалы для практических занятий и самостоятельной работы студентов по курсу «Символическая логика»: тематический план учебной дисциплины, список тем курсовых работ, список рекомендованной литературы, списки ключевых значений и терминов, дополнительные и расширяющие вопросы для самостоятельной проработки, рекомендации, примеры выполнения заданий – по каждой теме, дополнения.
Описание: Минаков Игорь Викторович, кандидат философских наук, доцент кафедры теоретической и практической философии Харьковского национального университета имени В.Н. Каразина.
URI: http://dspace.univer.kharkov.ua/handle/123456789/9690
Располагается в коллекциях:Навчальні видання. Філософський факультет

Файлы этого ресурса:

Файл Описание РазмерФормат
Методичка титул.pdf101,3 kBAdobe PDFЭскиз
Просмотреть/Открыть
Simvolicheskaya_logika.pdf4,55 MBAdobe PDFЭскиз
Просмотреть/Открыть
Просмотр статистики

Все ресурсы в архиве защищены авторским правом, все права сохранены.

 

Valid XHTML 1.0! Яндекс цитирования DSpace Software Copyright   ©   2002-2008   MIT   and   Hewlett-Packard - Обратная связь