Vai al contenuto principale
Lógica matemática y computacional

Lógica matemática y computacional

Di Jiménez, C

Pubblicato da Editorial Tébar Flores

Spanish 230 pagine 2024 ISBN 9788473609920
77 lettori nelle librerie Publica.la I lettori trascorrono in media 10 min con questo libro Tempo di lettura stimato: 4 h 13 min
PDF
Buy at Alpha CLOUD 🇨🇴

Disponibile in 1 librerie

Venduto direttamente dall'editore indipendente Alpha CLOUD

Informazioni su questo libro

Este manual de Lógica ofrece un curso teórico-práctico con numerosos ejemplos resueltos y ejercicios propuestos que introducirán al lector en los aspectos de esta ciencia que más han impactado en el campo del saber y en la tecnología más puntera.   Los primeros capítulos están orientados a estudiantes de Filosofía en lo que respecta al arte de pensar y argumentar, mientras que la obra completa es de amplia aplicación en facultades de Ingeniería, Ingeniería Informática y Ciencias Matemáticas (STEM) por el potencial para fomentar la capacidad de abstracción y razonamiento formalizado.   Lógica matemática y computacional permitirá al lector profundizar en los mecanismos que constituyen la Inteligencia Artificial y la verificación formal de programas de ordenador actuales.     La presente edición incluye:  - Lógica proposicional: desde la definición del lenguaje hasta los sistemas deductivos, incluyendo la deducción natural.  - Lógica de predicados de primer orden: con explicaciones y ejemplos sobre la semántica de las interpretaciones, las equivalencias y los sistemas deductivos, incluida la resolución.  - Lógica de Hoare: explicación completa para la verificación de programas secuenciales con gran cantidad de ejercicios.  - Lógica modal: desde ejemplos de tipos de relaciones hasta la deducción natural.  - Lógica temporal: expone de forma didáctica cómo razonar con conceptos de tiempo.  

Disponibilità

Lógica matemática y computacional è disponibile come PDF in 1 libreria online. Acquistalo direttamente dal suo editore su Alpha CLOUD.

Lingua
Spanish
Condividi

Domande frequenti

In quali formati è disponibile Lógica matemática y computacional?
Lógica matemática y computacional è disponibile come PDF in 1 libreria online.
Dove posso comprare Lógica matemática y computacional?
Puoi comprare Lógica matemática y computacional su Alpha CLOUD. Confronta tutte le opzioni nell’elenco di questa pagina.
Quanto tempo ci vuole per leggere Lógica matemática y computacional?
I lettori delle librerie Publica.la trascorrono in media circa 10 min con Lógica matemática y computacional.

Valutazioni e recensioni

Ancora nessuna valutazione. Sii il primo a recensire questo libro.

Accedi per valutare e recensire questo libro.

Commenti

Accedi per unirti alla conversazione.

Ancora nessun commento.