{"product_id":"formale-logik-9783696394318","title":"Formale Logik","description":"\u003cp\u003e • Author(s): Lucien Sina\u003cbr\u003e • Publisher: Bod - Books on Demand\u003cbr\u003e • Publisher Imprint: Bod - Books on Demand\u003cbr\u003e • BISAC: Logic\u003c\/p\u003e\u003cp\u003eWarum sind manche Schl�sse zwingend, und wo liegen die Grenzen formaler Systeme? Dieses Buch f�hrt verst�ndlich und systematisch in die formale Logik ein. Behandelt werden die Aussagenlogik und die Pr�dikatenlogik ebenso wie �quivalenzen, Normalformen, Resolution und Verfahren des automatischen Schlie ens. Schritt f�r Schritt werden die zentralen Begriffe und Methoden entwickelt, sodass auch Einsteiger den Aufbau logischer Systeme gut nachvollziehen k�nnen. Erg�nzt wird dies durch einen Zugang zu Modallogik und nichtklassischen Logiken wie Fuzzy-Logik, Defaultlogik und Antwortmengenprogrammierung. Ein besonderer Schwerpunkt liegt auf den G�delschen Unvollst�ndigkeitss�tzen, die zeigen, dass selbst formale Systeme prinzipielle Grenzen haben. Ein klar geschriebenes Buch f�r alle, die pr�ziser denken, sicherer argumentieren und die Grundlagen moderner Mathematik und Informatik verstehen m�chten.\u003c\/p\u003e","brand":"Bod - Books on Demand","offers":[{"title":"Paperback","offer_id":47882770645143,"sku":"9783696394318","price":5807.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9783696394318.webp?v=1781096945","url":"https:\/\/atlanticbooks.com\/products\/formale-logik-9783696394318","provider":"Atlantic Books","version":"1.0","type":"link"}