Inicio > > Ciencias de la computación > Natural Deduction, Hybrid Systems and Modal Logics
Natural Deduction, Hybrid Systems and Modal Logics

Natural Deduction, Hybrid Systems and Modal Logics

Andrzej Indrzejczak

303,64 €
IVA incluido
Disponible
Editorial:
Springer Nature B.V.
Año de edición:
2010
Materia
Ciencias de la computación
ISBN:
9789048187843
303,64 €
IVA incluido
Disponible
Añadir a favoritos
Sobre IBD

This book provides a detailed exposition of one of the most practical and popular methods of proving theorems in logic, called Natural Deduction. It is presented both historically and systematically. Also some combinations with other known proof methods are explored. The initial part of the book deals with Classical Logic, whereas the rest is concerned with systems for several forms of Modal Logics, one of the most important branches of modern logic, which has wide applicability.

Artículos relacionados

  • Skills for Managing Rapidly Changing IT Projects
    Fabrizio Fioravanti
    ...
    Disponible

    118,39 €

  • Design and Usability of Digital Libraries
    Schubert Foo / Yin-Leng Theng
    ...
    Disponible

    112,35 €

  • Intelligent Information Technologies and Applications
    Vijayan Sugumaran
    ...
    Disponible

    131,73 €

  • 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...
    Disponible

    249,07 €

  • 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...
    Disponible

    230,09 €

  • 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...
    Disponible

    229,67 €

Otros libros del autor

  • Sequents and Trees
    Andrzej Indrzejczak
    This textbook offers a detailed introduction to the methodology and applications of sequent calculi in propositional logic. Unlike other texts concerned with proof theory, emphasis is placed on illustrating how to use sequent calculi to prove a wide range of metatheoretical results.  The presentation is elementary and self-contained, with all technical details both formally sta...
    Disponible

    68,88 €

  • Sequents and Trees
    Andrzej Indrzejczak
    This textbook offers a detailed introduction to the methodology and applications of sequent calculi in propositional logic. Unlike other texts concerned with proof theory, emphasis is placed on illustrating how to use sequent calculi to prove a wide range of metatheoretical results.  The presentation is elementary and self-contained, with all technical details both formally sta...
    Disponible

    85,97 €