Buchcover von Логика второй ступени Введение
Buchtitel:

Логика второй ступени Введение

Краткое изложение основных фактов и некотрые исследования в области логики предикатов второго порядка.

LAP LAMBERT Academic Publishing (29.08.2011 )

Books loader

Omni badge gutscheinfähig
ISBN-13:

978-3-8433-1755-9

ISBN-10:
3843317550
EAN:
9783843317559
Buchsprache:
Russisch
Klappentext:
Логика второго порядка остается в настоящее время далеко не изученным до конца разделом математической логики в силу ряда возникающих в ней трудностей, не имеющих места в логике первого порядка. Тем не менее, она заслуживает внимания благодаря своим более широким, чем в логике первого порядка, выразительным возможностям. В общих чертах логика второго порядка может быть охарактеризована как такое расширение логики первого порядка, язык которой формализует понятия «произвольного свойства» и «произвольного от- ношения». Таким образом, это логическое исчисление более полно отражает средства и способы наших естественных, неформальных рассуждений. Первые формально-логические системы, такие, как система Г.Фреге, были в каком-то системами логики второго порядка. Исследованиями в этой области занимались такие крупные математики-логики, как Хенкин, Черч, Такеути и др. В своей работе автор иссследует ограничения и иллюстрирует возможности выразимости в языке второго порядка. Эта книга может также послужить введением в эту область математической логики.
Verlag:
LAP LAMBERT Academic Publishing
Webseite:
https://www.lap-publishing.com/
von (Autor):
Дмитрий Смелянский
Seitenanzahl:
108
Veröffentlicht am:
29.08.2011
Lagerbestand:
Lieferbar
Kategorie:
Mathematik
Preis:
49,00 €
Stichworte:
логика, интерпретация, выразимость, определимость, Логика, Интерпретация

Books loader

Adyen::diners Adyen::jcb Adyen::discover Adyen::amex Adyen::mc Adyen::visa Adyen::cup Adyen::unionpay Adyen::paypal Paypal Überweisung

  0 Produkte im Warenkorb
Warenkorb bearbeiten
Loading frontend
LOADING