Электронные книги

Жанры
Реклама
Последние комментарии
От партнёров
Облако тегов

Наука и учебаЭлементарное введение в символическую логику

Элементарное введение в символическую логику
Автор: И. Н. Бродский
Название: Элементарное введение в символическую логику
Издательство: Ленинградского университета
Год: 1964
Страниц: 64
Формат: DJVU
Размер: 2,3 МБ
Качество: Хорошее, 300дпи, цветные обложки

Работа представляет собой учебно-методическое пособие для заочников по разделу «Символическая логика» из курса формальной логики, читаемого на философском факультете ЛГУ. В ней излагается круг вопросов, связанных с так называемым классическим исчислением высказываний, и даются краткие сведения о логике предикатов. Пособие рассчитано на студентов философских факультетов университетов.

ОГЛАВЛЕНИЕ:
Введение (5).
§1. Элементарные и сложные высказывания (4).
§2. Логико-предметный язык и логико-предметные формулы (6).
§3. Таблицы истинности и семантика основных логических связок (10).
§4. Логический язык и логические формулы (15).
§5. Равносильность логических формул (18).
§6. Тождественно истинные и тождественно ложные логические формулы (24).
§7. Конъюнктивная нормальная форма (28).
§8. Совершенная конъюнктивная нормальная форма (33).
§9. Сокращенная конъюнктивная нормальная форма (37).
§10. Дизъюнктивные нормальные формы (40).
§11. Аксиоматическое представление логики высказываний 45 §12. Натуральное исчисление (52).
§13. О логике предикатов (56).

 



Нажмите для скачивания Elementarnoe-vvedenie1964.rar!Elementarnoe-vvedenie1964.rar
Размер: 1.74 Mb(cкачиваний: 0)




Похожие книги

Информация

Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикации.


  • Valid XHTML 1.0 Transitional