Anwendungen und Metatheorie

{"ID":4105551,"post_title":"Anwendungen und Metatheorie","title":"Anwendungen und Metatheorie","post_content":"Band II: Anwendungen und Metatheorie Dieser Band kn\u00fcpft sowohl inhaltlich als auch methodisch nahtlos an den ersten Band von Sprache, Beweis und Logik an. Dabei f\u00fchrt Band II weit \u00fcber die \u00fcblichen Einf\u00fchrungen hinaus und eignet sich als Textgrundlage f\u00fcr einen Fortsetzungskurs zur \u00fcblichen Logikeinf\u00fchrung. Zusammen ergeben beide B\u00e4nde somit eine homogene Einf\u00fchrung in die Logik, f\u00fcr die bislang Texte verschiedener Autoren erforderlich waren. Zu den behandelten Themenbereichen z\u00e4hlen: Theorie der generalisierten Quantoren, numerische Aussagen, Russells Kennzeichnungstheorie vs. Pr\u00e4suppositionen, naive Mengentheorie und ZFC, mathematische Induktion, induktive Korrektheitsbeweise von Programmen, Hornformeln, Resolutionsverfahren, Skolemisierung, Unifikation, Beweise von Korrektheit, Vollst\u00e4ndigkeit und Kompaktheit f\u00fcr Aussagen- und Pr\u00e4dikatenlogik, das Theorem von L\u00f6wenheim und Skolem, Skolems ?Paradox?; Nichtstandardmodelle der Arithmetik, G\u00f6dels Unvollst\u00e4ndigkeitstheorem. Die im Buch erw\u00e4hnte Software ist vergriffen und nicht mehr erh\u00e4ltlich.","image":"https:\/\/images.thalia.media\/00\/-\/74f7a1b5469a4935ba352e5bd982c778\/sprache-beweis-und-logik-band-ii-taschenbuch-john-barwise.jpeg","url":"https:\/\/www.vergleiche.ch\/unterhaltung\/product\/anwendungen-und-metatheorie\/","min_price":68.900000000000005684341886080801486968994140625,"low_price_merchant_id":70254503,"deeplink":"https:\/\/www.awin1.com\/pclick.php?p=40992870740&a=401125&m=13971&pref1=9783897854413","ean":9783897854413,"brand":"undefined"}