{"product_id":"logica-formal-von-lucien-sina-9783696392475","title":"Lógica Formal","description":"A lógica está entre os fundamentos da Matemática, da Ciência da Computação e da filosofia analítica. Ela fornece os métodos para analisar argumentos, formular demonstrações rigorosas e compreender os limites dos sistemas formais.\n\nEste livro apresenta uma introdução abrangente à lógica formal. Da lógica proposicional e da lógica de predicados à lógica modal e às lógicas não clássicas, os principais conceitos, métodos e técnicas são desenvolvidos de forma sistemática e acessível. Entre os temas abordados estão equivalências lógicas, formas normais, o método da resolução, teoria da prova, teoria dos modelos e procedimentos de demonstração automática de teoremas.\n\nUm destaque especial é dedicado aos Teoremas da Incompletude de Gödel, que evidenciam os limites fundamentais dos sistemas formais e figuram entre os resultados mais importantes da lógica moderna. A obra também apresenta abordagens contemporâneas, como a lógica fuzzy, a lógica default e a programação por conjuntos de respostas, ampliando a visão sobre o raciocínio lógico em contextos de incerteza e conhecimento incompleto.\n\nCom numerosos exercícios e soluções completas, apresentadas passo a passo de forma didática, o livro é adequado tanto para o estudo individual quanto como material de apoio em cursos universitários.\n\nDestinado a estudantes de Matemática, Ciência da Computação, Engenharia e áreas afins, esta obra oferece uma base sólida para a compreensão da lógica formal e de seu papel central na matemática e na computação modernas.\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783696392475\"\u003e\u003ch3\u003eLógica proposicional, lógica de predicados, lógica modal e lógicas não clássicas\u003c\/h3\u003e\u003c\/div\u003e","brand":"Autorenwelt Shop","offers":[{"title":"Softcover - 9783696392475","offer_id":58592491962693,"sku":"9783696392475","price":39.99,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/73461_00c1c2e0-570a-425a-a2cb-01be5e364bfd.jpg?v=1784263568","url":"https:\/\/shop.autorenwelt.de\/products\/logica-formal-von-lucien-sina-9783696392475","provider":"Autorenwelt Shop","version":"1.0","type":"link"}