Fundamentals of Logic and Computation / Hou, Zhe  

Público ISBD Ningún comentario para este registro. Título : Fundamentals of Logic and Computation : With Practical Automated Reasoning and Verification Tipo de documento: documento electrónico Autores: Hou, Zhe, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2021 Número de páginas: X, 222 p. 34 ilustraciones, 6 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-87882-5 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: Unidades aritméticas y lógicas informáticas.  Ciencias de la Computación  Teoría de las máquinas  Ordenadores  Estructuras aritméticas y lógicas  Teoría de la Computación  Lenguajes formales y teoría de los autómatas  Rendimiento y confiabilidad del hardware Clasificación: 004.01513 Resumen: Aunque los campos de la lógica y la computación están intrínsecamente relacionados, la mayoría de los cursos tratan los dos temas por separado. Este libro de texto único tiene como objetivo comprimir y unificar conceptos importantes de razonamiento lógico y teoría computacional, facilitando una comprensión profunda. El libro, que ofrece teoría con enfoques prácticos, presenta los primeros capítulos acompañados de ejercicios en Isabelle/HOL, un demostrador de teoremas popular y fácil de usar. Los últimos capítulos abordan el modelado y la verificación en Process Analysis Toolkit (PAT), un verificador de modelos rico en funciones basado en Communicating Sequential Processes de Hoare. La exposición se centra en la sintaxis, la semántica y la teoría de la prueba de diversas lógicas, así como en la teoría de los autómatas, los lenguajes formales, la computabilidad y la complejidad. También desarrolla un conjunto híbrido de habilidades de demostración práctica de teoremas y verificación de modelos, que proporcionará una base sólida para futuras investigaciones o trabajos que involucren métodos formales. Temas y características: Ofrece una transición de la lógica a la computación a través de lógica temporal lineal y máquinas de estado Incluye ejercicios de aplicaciones de software ampliamente utilizadas Proporciona tutoriales de nivel básico para Isabelle/HOL y PAT Emplea muchos ejemplos de Archives of Formal Proofs, así como muchos ejemplos de modelos PAT Presenta la lógica clásica y no clásica en una presentación integrada Analiza el cálculo lambda, funciones recursivas y máquinas de Turing Concluye abordando la correspondencia Curry-Howard, que unifica la lógica y la computación El trabajo es óptimo para estudiantes universitarios que aspiran a obtener un título en informática . Además, será un volumen fundamental excelente para estudiantes de investigación que estén considerando programas de investigación de grado superior. Zhe Hou es profesora en la Escuela de Tecnología de la Información y las Comunicaciones de la Universidad Griffith, Nathan, Australia. Sus líneas de investigación incluyen IA explicable, sistemas autónomos, verificación formal y razonamiento automatizado. Nota de contenido: 1. Introduction to Logic -- 2. First-order Logic -- 3. Non-classical Logics -- 4. Automata Theory and Formal Languages -- 5. Turing Machines and Computability -- 6. Logic is Computation. Tipo de medio : Computadora Summary : Although the fields of logic and computation are intrinsically related, most courses treat the two topics separately. This unique textbook aims to compress and unify important concepts of logical reasoning and computational theory, facilitating an in-depth understanding. Delivering theory with practical approaches, the book features early chapters accompanied by exercises in Isabelle/HOL, a popular and user-friendly theorem prover. Latter chapters address modelling and verification in Process Analysis Toolkit (PAT), a feature-rich model checker based on Hoare's Communicating Sequential Processes. The exposition focuses on the syntax, semantics and proof theory of various logics, as well as on automata theory, formal languages, computability, and complexity. It also builds a hybrid skill set of practical theorem proving and model checking, which will provide a solid grounding for future research or work involving formal methods. Topicsand features: Offers a transition from logic to computation via linear temporal logic and state machines Includes exercises from widely-used software applications Provides entry-level tutorials for Isabelle/HOL and PAT Employs many examples from the Archives of Formal Proofs, as well as many examples of PAT models Introduces classical and nonclassical logics in an integrated presentation Discusses lambda calculus, recursive functions and Turing machines Concludes by addressing the Curry-Howard correspondence, which unifies logic and computation The work is optimal for undergraduate students striving for a degree in computer science. In addition, it will be an excellent foundational volume for research students considering higher-degree research programs. Zhe Hou is a lecturer in the School of Information and Communication Technology at Griffith University, Nathan, Australia. His research pursuits include explainable AI, autonomous systems, formal verification, and automated reasoning. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Fundamentals of Logic and Computation : With Practical Automated Reasoning and Verification [documento electrónico] / Hou, Zhe,  . -  1 ed.  . - [s.l.] : Springer, 2021 . - X, 222 p. 34 ilustraciones, 6 ilustraciones en color. ISBN : 978-3-030-87882-5 Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: Unidades aritméticas y lógicas informáticas.  Ciencias de la Computación  Teoría de las máquinas  Ordenadores  Estructuras aritméticas y lógicas  Teoría de la Computación  Lenguajes formales y teoría de los autómatas  Rendimiento y confiabilidad del hardware Clasificación: 004.01513 Resumen: Aunque los campos de la lógica y la computación están intrínsecamente relacionados, la mayoría de los cursos tratan los dos temas por separado. Este libro de texto único tiene como objetivo comprimir y unificar conceptos importantes de razonamiento lógico y teoría computacional, facilitando una comprensión profunda. El libro, que ofrece teoría con enfoques prácticos, presenta los primeros capítulos acompañados de ejercicios en Isabelle/HOL, un demostrador de teoremas popular y fácil de usar. Los últimos capítulos abordan el modelado y la verificación en Process Analysis Toolkit (PAT), un verificador de modelos rico en funciones basado en Communicating Sequential Processes de Hoare. La exposición se centra en la sintaxis, la semántica y la teoría de la prueba de diversas lógicas, así como en la teoría de los autómatas, los lenguajes formales, la computabilidad y la complejidad. También desarrolla un conjunto híbrido de habilidades de demostración práctica de teoremas y verificación de modelos, que proporcionará una base sólida para futuras investigaciones o trabajos que involucren métodos formales. Temas y características: Ofrece una transición de la lógica a la computación a través de lógica temporal lineal y máquinas de estado Incluye ejercicios de aplicaciones de software ampliamente utilizadas Proporciona tutoriales de nivel básico para Isabelle/HOL y PAT Emplea muchos ejemplos de Archives of Formal Proofs, así como muchos ejemplos de modelos PAT Presenta la lógica clásica y no clásica en una presentación integrada Analiza el cálculo lambda, funciones recursivas y máquinas de Turing Concluye abordando la correspondencia Curry-Howard, que unifica la lógica y la computación El trabajo es óptimo para estudiantes universitarios que aspiran a obtener un título en informática . Además, será un volumen fundamental excelente para estudiantes de investigación que estén considerando programas de investigación de grado superior. Zhe Hou es profesora en la Escuela de Tecnología de la Información y las Comunicaciones de la Universidad Griffith, Nathan, Australia. Sus líneas de investigación incluyen IA explicable, sistemas autónomos, verificación formal y razonamiento automatizado. Nota de contenido: 1. Introduction to Logic -- 2. First-order Logic -- 3. Non-classical Logics -- 4. Automata Theory and Formal Languages -- 5. Turing Machines and Computability -- 6. Logic is Computation. Tipo de medio : Computadora Summary : Although the fields of logic and computation are intrinsically related, most courses treat the two topics separately. This unique textbook aims to compress and unify important concepts of logical reasoning and computational theory, facilitating an in-depth understanding. Delivering theory with practical approaches, the book features early chapters accompanied by exercises in Isabelle/HOL, a popular and user-friendly theorem prover. Latter chapters address modelling and verification in Process Analysis Toolkit (PAT), a feature-rich model checker based on Hoare's Communicating Sequential Processes. The exposition focuses on the syntax, semantics and proof theory of various logics, as well as on automata theory, formal languages, computability, and complexity. It also builds a hybrid skill set of practical theorem proving and model checking, which will provide a solid grounding for future research or work involving formal methods. Topicsand features: Offers a transition from logic to computation via linear temporal logic and state machines Includes exercises from widely-used software applications Provides entry-level tutorials for Isabelle/HOL and PAT Employs many examples from the Archives of Formal Proofs, as well as many examples of PAT models Introduces classical and nonclassical logics in an integrated presentation Discusses lambda calculus, recursive functions and Turing machines Concludes by addressing the Curry-Howard correspondence, which unifies logic and computation The work is optimal for undergraduate students striving for a degree in computer science. In addition, it will be an excellent foundational volume for research students considering higher-degree research programs. Zhe Hou is a lecturer in the School of Information and Communication Technology at Griffith University, Nathan, Australia. His research pursuits include explainable AI, autonomous systems, formal verification, and automated reasoning. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]

Numbers and Computers / Kneusel, Ronald T.  

Público ISBD Ningún comentario para este registro. Título : Numbers and Computers Tipo de documento: documento electrónico Autores: Kneusel, Ronald T., Mención de edición: 2 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2017 Número de páginas: XIII, 346 p. 68 ilustraciones, 12 ilustraciones en color. ISBN/ISSN/DL: 978-3-319-50508-4 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: Unidades aritméticas y lógicas informáticas.  Análisis numérico  Estructuras aritméticas y lógicas Clasificación: 004.01513 Resumen: Este es un libro sobre números y cómo esos números se representan y operan en las computadoras. Es crucial que los desarrolladores comprendan esta área porque las operaciones numéricas permitidas por las computadoras y las limitaciones de esas operaciones, especialmente en el área de las matemáticas de punto flotante, afectan prácticamente todo lo que la gente intenta hacer con las computadoras. Este libro pretende llenar este vacío explorando, con suficiente pero no abrumador detalle, qué es lo que hacen las computadoras con los números. Dividida en dos partes, la primera trata de representaciones estándar de números enteros y de coma flotante, mientras que la segunda examina otras representaciones numéricas. Los detalles se explican detalladamente, con claridad y especificidad. Cada capítulo termina con un resumen, recomendaciones, referencias cuidadosamente seleccionadas y ejercicios para revisar los puntos clave. Los temas cubiertos incluyen aritmética de intervalos, números de punto fijo, números enteros grandes y aritmética racional. Esta nueva edición tiene tres capítulos nuevos: Errores de los números de coma flotante (y cómo evitarlos), Coma flotante de precisión arbitraria y otros sistemas numéricos. Este libro está dirigido a cualquiera que desarrolle software, incluidos ingenieros de software, científicos, estudiantes de informática, estudiantes de ingeniería y cualquiera que programe por diversión. Nota de contenido: Number Systems -- Integers -- Floating Point -- Pitfalls of Floating-Point Numbers (and How to Avoid Them) -- Big Integers and Rational Arithmetic -- Fixed-Point Numbers -- Decimal Floating Point -- Interval Arithmetic -- Arbitrary Precision Floating-Point -- Other Number Systems. Tipo de medio : Computadora Summary : This is a book about numbers and how those numbers are represented in and operated on by computers. It is crucial that developers understand this area because the numerical operations allowed by computers, and the limitations of those operations, especially in the area of floating point math, affect virtually everything people try to do with computers. This book aims to fill this gap by exploring, in sufficient but not overwhelming detail, just what it is that computers do with numbers. Divided into two parts, the first deals with standard representations of integers and floating point numbers, while the second examines several other number representations. Details are explained thoroughly, with clarity and specificity. Each chapter ends with a summary, recommendations, carefully selected references, and exercises to review the key points. Topics covered include interval arithmetic, fixed-point numbers, big integers and rational arithmetic. This new edition has three new chapters: Pitfalls of Floating-Point Numbers (and How to Avoid Them), Arbitrary Precision Floating Point, and Other Number Systems. This book is for anyone who develops software including software engineers, scientists, computer science students, engineering students and anyone who programs for fun. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Numbers and Computers [documento electrónico] / Kneusel, Ronald T.,  . -  2 ed.  . - [s.l.] : Springer, 2017 . - XIII, 346 p. 68 ilustraciones, 12 ilustraciones en color. ISBN : 978-3-319-50508-4 Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: Unidades aritméticas y lógicas informáticas.  Análisis numérico  Estructuras aritméticas y lógicas Clasificación: 004.01513 Resumen: Este es un libro sobre números y cómo esos números se representan y operan en las computadoras. Es crucial que los desarrolladores comprendan esta área porque las operaciones numéricas permitidas por las computadoras y las limitaciones de esas operaciones, especialmente en el área de las matemáticas de punto flotante, afectan prácticamente todo lo que la gente intenta hacer con las computadoras. Este libro pretende llenar este vacío explorando, con suficiente pero no abrumador detalle, qué es lo que hacen las computadoras con los números. Dividida en dos partes, la primera trata de representaciones estándar de números enteros y de coma flotante, mientras que la segunda examina otras representaciones numéricas. Los detalles se explican detalladamente, con claridad y especificidad. Cada capítulo termina con un resumen, recomendaciones, referencias cuidadosamente seleccionadas y ejercicios para revisar los puntos clave. Los temas cubiertos incluyen aritmética de intervalos, números de punto fijo, números enteros grandes y aritmética racional. Esta nueva edición tiene tres capítulos nuevos: Errores de los números de coma flotante (y cómo evitarlos), Coma flotante de precisión arbitraria y otros sistemas numéricos. Este libro está dirigido a cualquiera que desarrolle software, incluidos ingenieros de software, científicos, estudiantes de informática, estudiantes de ingeniería y cualquiera que programe por diversión. Nota de contenido: Number Systems -- Integers -- Floating Point -- Pitfalls of Floating-Point Numbers (and How to Avoid Them) -- Big Integers and Rational Arithmetic -- Fixed-Point Numbers -- Decimal Floating Point -- Interval Arithmetic -- Arbitrary Precision Floating-Point -- Other Number Systems. Tipo de medio : Computadora Summary : This is a book about numbers and how those numbers are represented in and operated on by computers. It is crucial that developers understand this area because the numerical operations allowed by computers, and the limitations of those operations, especially in the area of floating point math, affect virtually everything people try to do with computers. This book aims to fill this gap by exploring, in sufficient but not overwhelming detail, just what it is that computers do with numbers. Divided into two parts, the first deals with standard representations of integers and floating point numbers, while the second examines several other number representations. Details are explained thoroughly, with clarity and specificity. Each chapter ends with a summary, recommendations, carefully selected references, and exercises to review the key points. Topics covered include interval arithmetic, fixed-point numbers, big integers and rational arithmetic. This new edition has three new chapters: Pitfalls of Floating-Point Numbers (and How to Avoid Them), Arbitrary Precision Floating Point, and Other Number Systems. This book is for anyone who develops software including software engineers, scientists, computer science students, engineering students and anyone who programs for fun. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]

---

1 (1 - 2 / 2) Ver por página : 25 50 100 200