Логика второй ступени Введение
Краткое изложение основных фактов и некотрые исследования в области логики предикатов второго порядка.
978-3-8433-1755-9
3843317550
108
2011-08-29
49,00 €
rus
https://images.our-assets.com/cover/230x230/9783843317559.jpg
https://images.our-assets.com/fullcover/230x230/9783843317559.jpg
https://images.our-assets.com/cover/2000x/9783843317559.jpg
https://images.our-assets.com/fullcover/2000x/9783843317559.jpg
Логика второго порядка остается в настоящее время далеко не изученным до конца разделом математической логики в силу ряда возникающих в ней трудностей, не имеющих места в логике первого порядка. Тем не менее, она заслуживает внимания благодаря своим более широким, чем в логике первого порядка, выразительным возможностям. В общих чертах логика второго порядка может быть охарактеризована как такое расширение логики первого порядка, язык которой формализует понятия «произвольного свойства» и «произвольного от- ношения». Таким образом, это логическое исчисление более полно отражает средства и способы наших естественных, неформальных рассуждений. Первые формально-логические системы, такие, как система Г.Фреге, были в каком-то системами логики второго порядка. Исследованиями в этой области занимались такие крупные математики-логики, как Хенкин, Черч, Такеути и др. В своей работе автор иссследует ограничения и иллюстрирует возможности выразимости в языке второго порядка. Эта книга может также послужить введением в эту область математической логики.
https://morebooks.de/books/de/published_by/lap-lambert-academic-publishing/47/products
Mathematik
https://morebooks.de/store/de/book/%D0%BB%D0%BE%D0%B3%D0%B8%D0%BA%D0%B0-%D0%B2%D1%82%D0%BE%D1%80%D0%BE%D0%B9-%D1%81%D1%82%D1%83%D0%BF%D0%B5%D0%BD%D0%B8-%D0%B2%D0%B2%D0%B5%D0%B4%D0%B5%D0%BD%D0%B8%D0%B5/isbn/978-3-8433-1755-9