Logica Matematica Y Computacional
Jiménez De Parga, Carlos
ISBN 10: 8473609913 ISBN 13: 9788473609913
Verlag: Editorial Tébar Flores, 2024
Neu
Softcover
Verkäufer
Grand Eagle Retail, Bensenville, IL, USA
Verkäuferbewertung 5 von 5 Sternen
AbeBooks-Verkäufer seit 12. Oktober 2005
Dieser Artikel ist nicht mehr verfügbar.
Beschreibung
Beschreibung:
Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Bestandsnummer des Verkäufers 9788473609913
Inhaltsangabe:
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.
Über die Autorin bzw. den Autor: Carlos Jiménez de Parga (Murcia, 1974) es Doctor en Ingeniería Informática por la Universidad Nacional de Educación a Distancia (UNED). Imparte docencia como profesor-tutor de Lógica y Matemática Discreta en el Centro Asociado de la UNED en Cartagena desde 2015. Ingeniero Técnico en Informática de Sistemas por la Universidad Politécnica de Valencia y Universidad de Murcia y Licenciado en Ingeniería Informática por la UNED. Comenzó a trabajar como Ingeniero Técnico en el año 1999 en desarrollo software C++. Actualmente trabaja como investigador en un proyecto combinado de Informática Gráfica e
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Bibliografische Details
Titel: Logica Matematica Y Computacional
Verlag: Editorial Tébar Flores
Erscheinungsdatum: 2024
Einband: Softcover
Zustand: new
Beste Suchergebnisse bei AbeBooks
Foto des Verkäufers
Lógica matemática y computacional
Anbieter: Agapea Libros, Malaga, MA, Spanien
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Idioma/Language: Español. 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. *** Nota: Los envíos a España peninsular, Baleares y Canarias se realizan a través de mensajería urgente. No aceptamos pedidos con destino a Ceuta y Melilla. Bestandsnummer des Verkäufers 25262235