Исчисления высказываний классической логики. Гуров С.И.

UptoLike

Исчисления высказываний классической логики. Гуров С.И.

РЕШЕНИЕ (файл) вывод, красное-белое: 

Читать

ВУЗ: 

МГУ | Москва

Дисциплина: 

МГУ | Москва - Математика

Составители: 

Формат файла: 

PDF

Ключевые слова: 

  • учебник
  • учебное пособие

Год: 

  • 2007

Количество страниц: 

135
Источник файла
Предлагаемое учебное пособие предназначено для студентов, начинающих изучать математическую логику, оно также может быть использовано при самообразовании. При изложении материала подчёркиваются алгебраические аспекты исчислений высказываний классической логики. Изложены методы характеризации формул логики высказываний, подробно рассмотрены гильбертовские исчисления, система натурального вывода и исчисление секвенций для исчисления высказываний. Для каждой из трёх систем доказываются её корректность, полнота и анализируются отличительные особенности выводов теорем. Пособие содержит большое количество примеров, позволяющих читателю легко освоиться с вводимыми понятиями.Электронная версия пособия размещена на сайте факультета вычислительной математики и кибернетики МГУ им. М.В. Ломоносова &lt-a href="http://www.cs.msu.su" target="_blank"&gt-(www.cs.msu.su)&lt-/a&gt-.

Рекомендуемые учебно-методические материалы

Лекции по функциональному анализу для начинающих специалистов по математической физике. Арсеньев А.А.
Просмотреть (PDF)
Арсеньев А.А.
Арсеньев А.А. Лекции по функциональному анализу для начинающих специалистов по математической физике. - М.: НИЦ "Регулярная и хаотическая динамика", 2009. - 512 с.
Визуализация в научных исследованиях. Ечкина Е.Ю
Просмотреть (PDF)
Ечкина Е.Ю., Базаров C.Б., Иновенков И.Н.
Ечкина Е.Ю., Базаров C.Б., Иновенков И.Н. Визуализация в научных исследованиях: Учебно-методическое пособие для студентов 4 курса. - М.: 2006. - 60 с.
Новационные методы анализа стохастических процессов и структур в оптике. Фрактальные и мультифрактальные методы, вейвлет-преобразования. Короленко П.В
Просмотреть (PDF)
Короленко П.В., Маганова М.С., Меснянкин А.В.
Специализированный практикум с использованием системы Maple для решения задач математической физики. Ечкина Е.Ю.
Просмотреть (PDF)
Ечкина Е.Ю.
Ечкина Е.Ю. Специализированный практикум с использованием системы Maple для решения задач математической физики. - М.: МАКС Пресс, 2007.
Исчисления высказываний классической логики. Гуров С.И.
Просмотреть (PDF)
Гуров С.И.
Гуров С.И. Исчисления высказываний классической логики: Учебное пособие. - М.: Издательский отдел факультета ВМиК им. М. В. Ломоносова- МАКС Пресс, 2007. - 134 с.