Listing 1 - 2 of 2 |
Sort by
|
Choose an application
Now available in paperback, this is a modern, advanced textbook on modal logic, a field which caught the attention of computer scientists in the late 1970s. Researchers in areas ranging from economics to computational linguistics have since realised its worth. The book is for novices and for more experienced readers, with two distinct tracks clearly signposted at the start of each chapter. The development is mathematical; prior acquaintance with first-order logic and its semantics is assumed, and familiarity with the basic mathematical notions of set theory is required. The authors focus on the use of modal languages as tools to analyze the properties of relational structures, including their algorithmic and algebraic aspects, and applications to issues in logic and computer science such as completeness, computability and complexity are considered. Three appendices supply basic background information and numerous exercises are provided. Ideal for anyone wanting to learn modern modal logic.
Modality (Logic). --- Modality (Logic) --- Lógica modal. --- Lógica matemática. --- Modalité (Logique) --- Mathematical logic --- Logique générale --- Modalité (logique) --- Complexité de calcul (informatique) --- Frames (théorie de l'information) --- Temps (logique) --- Logique modale
Choose an application
Este texto se ha escrito con la intención de brindarles a los estudiantes de primer semestre de cualquier programa de pregrado, una guía para el desarrollo de los cursos de matemáticas básicas o fundamentales. Si bien la disponibilidad de material en esta asignatura ha ido aumentando en los últimos años, se ha considerado pertinente por parte del autor hacer una recopilación de los temas básicos que un estudiante de pregrado debe conocer en el área de matemáticas y que lo preparen para el desarrollo de cursos posteriores, no solo en la misma línea de esta asignatura, sino también en aquellos cursos donde esta es una herramienta fundamental para su desarrollo, tales como economía, contabilidad, matemática financiera y cursos de ingeniería. La intención principal ha sido mostrar estos elementos, explicados de la manera más sencilla posible de modo que los estudiantes puedan seguirle el hilo al desarrollo de las temáticas, puedan solucionar los ejercicios propuestos y abordar con seguridad el estudio de textos más complejos en su área o disciplina de estudio.
Álgebra. --- Mathematics. --- Mathematics --- Logic, Symbolic and mathematical. --- Algebra. --- Matemática --- Lógica matemática. --- Software. --- Mathematical analysis --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Math --- Science --- Basic sciences --- Interactive tools --- TIC
Listing 1 - 2 of 2 |
Sort by
|