Introduction

  • Anil Nerode
  • Richard A. Shore
Part of the Graduate Texts in Computer Science book series (TCS)

Abstract

In 1020 logic was mostly a There were also a few mathe’ maticians there, cultivating the logical roots of the mathematical tree. Today, Re­ ooraiou Theory, Set Theory, Model and Proof Theory, logic’s major sub­disciplines, have become full—fledged branches of mathematics. Since the 1970o, the winds of change have been blowing new seeds into the logic garden from computer scienceAIand linguistics. These winds have also uncovered a new to­pography with many prominences and depths, fertile soil for new logical subjects. These days, if you survey international meetings in computer science and linguis­tics, you will find that the language of mathematical logic is a lingua franca, that methods of mathematical logic are ubiquitous and that understanding new log­ics and finding feasible algorithms for implementing their inference procedures play a central role in many disciplines. The emerging areas with an important logic component include inupwrmtivo, declarative and functional programming; verification of programs; ioteraotbm, concurrent, distributed, fault tolerant and real time computing; knowledge—based systems; deductive databases; and VLSI design. Various types of logi are now also playing key roles in the modeling of reasoning in special fields from law to medicine.

Keywords

Assure Veri 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Science+Business Media New York 1997

Authors and Affiliations

  • Anil Nerode
    • 1
  • Richard A. Shore
    • 1
  1. 1.Department of MathematicsCornell UniversityIthacaUSA

Personalised recommendations