Name: A Concise Introduction to Mathematical Logic
Price: 102.93 EUR
Availability: InStock
Author: Wolfgang Rautenberg
ISBN: 9781441912206

Inicio > > Ciencias de la computación > A Concise Introduction to Mathematical Logic

Editorial:: Springer Nature B.V.
Año de edición:: 2009
Materia: Ciencias de la computación
ISBN:: 9781441912206

102,93 €

IVA incluido

Disponible

Selecciona una librería:

Librería Samer Atenea
Kálamo Books
Librería Elías (Asturias)
Librería Kolima (Madrid)
Librería Proteo (Málaga)

Sobre IBD

Sinopsis

Propositional Logic.- First-Order Logic.- Complete logical Calculi.- Foundations of Logic Programming.- Elements of Model Theory.- Incompleteness and Undecidability.- On the Theory of Self-Reference.

Artículos relacionados

Skills for Managing Rapidly Changing IT Projects

Fabrizio Fioravanti

...
Design and Usability of Digital Libraries

Schubert Foo / Yin-Leng Theng

...
Intelligent Information Technologies and Applications

Vijayan Sugumaran

...
Mobile Technology Consumption

Whether used for communication, entertainment, socio-economic growth, crowd-sourcing social and political events, monitoring vital signs in patients, helping to drive vehicles, or delivering education, mobile technology has been transformed from a mode to a medium. Mobile Technology Consumption: Opportunities and Challenges explores essential questions related to the cost, bene...
Creating Personal, Social, and Urban Awareness through Pervasive Computing

Guo

The recent emergence and prevalence of social network applications, sensor equipped mobile devices, and the availability of large amounts of geo-referenced data have enabled the analysis of new context dimensions that involve individual, social, and urban context. Creating Personal, Social, and Urban Awareness through Pervasive Computing provides an overview of the theories, te...
Fostering 21st Century Digital Literacy and Technical Competency

Antonio Cartelli

The 21st century has seen an expansion in digital technology and the ways in which it affects everyday life. These technologies have become essential in the growth of social communication and mass media. Fostering 21st Century Digital Literacy and Technical Competency offers the latest in research on the technological advances on computer proficiency in the educational system a...

Otros libros del autor

Einführung in die Mathematische Logik

Wolfgang Rautenberg

...

Disponible

45,44 €
Klassische und nichtklassische Aussagenlogik

Wolfgang Rautenberg

Der Fortschritt der Aussagenlogik in jungster Zeit HiBt es sinnvoll erscheinen, einen breiteren Leserkreis mit dieser Entwicklung bekannt zu machen. Obwohl vorliegendes Buch als Lehrbuch, nicht als Monographie fUr einen engeren Spezialistenkreis konzipiert wurde, soli es in einigen Themen einen tieferen Einblick in den aktuellen Stand der Dinge vermit...

Disponible

53,58 €