Przejdź do głównej treści
Lógica matemática y computacional

Lógica matemática y computacional

Autor: Jiménez, C

Wydane przez Editorial Tébar Flores

Spanish 230 stron 2024 ISBN 9788473609920
77 czytelników w księgarniach Publica.la Czytelnicy spędzają z tą książką średnio 10 min Szacowany czas czytania: 4 godz. 13 min
PDF
Buy at Alpha CLOUD 🇨🇴

Dostępne w 1 księgarniach

Sprzedawane bezpośrednio przez niezależnego wydawcę Alpha CLOUD

O tej książce

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.  

Dostępność

Lógica matemática y computacional jest dostępna jako PDF w 1 księgarni internetowej. Kup ją bezpośrednio od wydawcy w Alpha CLOUD.

Język
Spanish
Udostępnij

Najczęstsze pytania

W jakich formatach dostępna jest Lógica matemática y computacional?
Lógica matemática y computacional jest dostępna jako PDF w 1 księgarni internetowej.
Gdzie mogę kupić Lógica matemática y computacional?
Możesz kupić Lógica matemática y computacional w Alpha CLOUD. Porównaj wszystkie opcje na liście na tej stronie.
Ile czasu zajmuje przeczytanie Lógica matemática y computacional?
Czytelnicy księgarni Publica.la spędzają z Lógica matemática y computacional średnio około 10 min.

Oceny i recenzje

Brak ocen. Bądź pierwszą osobą, która zrecenzuje tę książkę.

Zaloguj się aby ocenić i zrecenzować tę książkę.

Komentarze

Zaloguj się aby dołączyć do rozmowy.

Brak komentarzy.