Nouveauté

Lógica formal - Lógica proposicional, lógica de predicados, lógica modal y lógicas no clásicas

Lógica formal - Lógica proposicional, lógica de predicados, lógica modal y lógicas no clásicas
9,99€
  • Pagination : 808
  • EAN : 9783696301569
  • Protection numérique : Digital watermarking

ebook

Achat immédiat, sans abonnement.

Le saviez vous ?

Lisez votre e-book sur ordinateur, tablette et mobile grâce aux applications :


Vivlio et Cultura
partenaires pour vos
lectures numériques
Tout est synchronisé
grâce à votre compte
Cultura
Une aide en ligne pour
vous accompagner

Coups de cœur Cultura

Tous les passeurs de culture peuvent partager leurs découvertes !
Tu as aimé ce produit ? Partage dès maintenant ton coup de coeur :

loader
loader
loader
loader
loader
loader
loader
loader

description

descriptif du fournisseur
¿Por qué algunos razonamientos son necesariamente válidos, mientras que otros, aunque parezcan convincentes, contienen errores ocultos? ¿Y por qué incluso las teorías matemáticas más poderosas encuentran límites que no pueden superar? La lógica es mucho más que un conjunto de símbolos y reglas: es el lenguaje del pensamiento riguroso y una de las bases fundamentales de las matemáticas, la informática y la filosofía. Este libro ofrece una introducción clara y sistemática a la lógica formal moderna. Desde la lógica proposicional y la lógica de predicados hasta la lógica modal y diversas lógicas no clásicas, el lector descubrirá cómo analizar argumentos, construir demostraciones y comprender los principios que hacen posible el razonamiento formal. Junto a temas clásicos como equivalencias, formas normales y resolución, se presentan métodos de razonamiento automático y los célebres teoremas de incompletitud de Gödel, que revelan los límites inherentes de todo sistema formal suficientemente potente. Con numerosos ejemplos y ejercicios, esta obra es ideal para estudiantes, docentes y cualquier persona interesada en desarrollar un pensamiento más claro, preciso y crítico. Una invitación a descubrir la lógica no solo como una herramienta, sino como una de las ideas más profundas e influyentes de la historia del conocimiento.
 
Lógica formal - Lógica proposicional, lógica de predicados, lógica modal y lógicas no clásicas

Lógica formal - Lógica proposicional, lógica de predicados, lógica modal y lógicas no clásicas


On vous recommande avec votre achat
Lógica formal - Lógica proposicional, lógica de predicados, lógica modal y lógicas no clásicas

Lógica formal - Lógica proposicional, lógica de predicados, lógica modal y lógicas no clásicas

9,99
+