Narrow your search
Listing 1 - 2 of 2
Sort by
Modal logic
Authors: --- ---
ISBN: 0521527147 9780521527149 9780521802000 0521802008 Year: 2005 Volume: 53 Publisher: Cambridge New York : Cambridge University Press,

Loading...
Export citation

Choose an application

Bookmark

Abstract

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.


Book
Elementos básicos de matemáticas con herramientas interactivas
Author:
ISBN: 9588943396 Year: 2018 Publisher: Medellín : Universidad Católica Luis Amigó,

Loading...
Export citation

Choose an application

Bookmark

Abstract

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.

Listing 1 - 2 of 2
Sort by