Пономарев математическая логика

  • Пономарев В.Ф. Математическая логика. Часть 1. Логика высказываний. Логика предикатов. Учебное пособие. – Калининград: КГТУ, 2001. – 140 с.
    Учебное пособие предназначено для студентов университета, изучающих “Математическую логику”. В нем изложены основные принципы формирования языка, основные правила дедуктивного вывода, основные механизмы доказательства истинности заключения в логике высказываний и логике предикатов. Все доказательства подкреплены множеством примеров.
  • Пономарев В.Ф. Математическая логика. Часть 2. Логика реляционная. Логика нечеткая. Учебное пособие – Калининград: КГТУ, 2001. -106 с.
    Учебное пособие предназначено для студентов университета, изучающих “Математическую логику”. В нем изложены основные принципы формирования языка, основные правила и механизмы доказательства истинности заключения в реляционной и нечеткой логике. Все доказательства подкреплены множеством примеров. Каждый студент выполняет расчетно-графические работы по реляционной логике.