Шиханович Ю.А. - Логические и математические исчисления. Учебное пособие
«Логические и математические исчисления. Учебное пособие» /Шиханович Ю.А. – М.: Научный мир, 2011 – 256 с., ISBN 978-5-91522-246-4. Содержание пособия основано на материалах лекций, которые автор читал студентам Отделения структурной и прикладной лингвистики филологического факультета МГУ им. М.В. Ломоносова и Отделения теоретической и прикладной лингвистики Российского государственного гуманитарного университета.
Излагаются материалы о логических и математических исчислениях (конструкциях, в которых формализовано центральное понятие математики – понятие доказательства); рассмотрено понятие исчисления.
Предполагается, что читатель знаком с основными понятиями и фактами теории алгоритмов; требуется владение материалом книги Ю.А. Шихановича «Введение в математику» (Москва, Научный мир, 2005), термины и обозначения из которой постоянно используются в данной книге и книги Ю.А. Шихановича «Минимум по теории алгоритмов для нематематиков» (Москва, Научный мир, 2009).
В основной части пособия (главы 1-10) рассматриваются логические и математические исчисления, а в дополнениях (главы X, XI) приводятся примеры других исчислений; дается представление об общем понятии исчисления, излагаются 2 подхода к его формальному описанию. Главы и разделы книги сопровождаются задачами.
Книга предназначена для студентов и аспирантов нематематических вузов.