Computability theory, semantics, and logic programming

>> Google Books

所蔵情報QRコード

Computability theory, semantics, and logic programming / Melvin Fitting

資料種別:: 図書
出版情報:: New York : Oxford University Press
Oxford : Clarendon Press, 1987
形態:: xi, 198 p. ; 25 cm
シリーズ名:: Oxford logic guides ; 13 <BA00017765>
著者名:: Fitting, Melvin Chris <DA00998822>
ISBN:: 9780195036916 [0195036913]
書誌ID:: BA00503785

子書誌情報

フルテキスト

所蔵情報

他の版・巻

書誌詳細

注記:

Includes index

主題:

Computable functions; Data structures (Computer science)

言語:

英語

目次情報:

A String Manipulation Language / Part 1：

Language Background / 1：

Informalities / 2：

Syntax / 3：

Operational Semantics / 4：

Expanding a Work Space / 5：

Program Verification / 6：

Denotational Semantics / 7：

Background and References / 8：

The Family of EFS Languages / Part 2：

EFS Languages

Numbers

Binary Trees

Sets

A Relational Data Base

Logical Notation

Bounded Quantification

Models and Program Correctness

Procedure Completeness / 9：

Operators / 10：

Introduction

Monotone Operators

The Least Fixed Point Theorem

Approximating to a Least Fixed Point

More on Models

The First Recursion Theorem

A Second Proof / 11：

Applications / 12：

A Normal Form Theorem / 13：

Implementing Data Structures / 14：

Codings

Implementations

Conservative Implementations

Different Sized Alphabets

Numbers and Words

Trees and Words

Sets and Words

Implementability

The Church-Turing Thesis / Part 5：

Computations

Computation States

Translating Register Machines into EFS(str(L))

An Imperative Language IMP

Implementing IMP

Enhancing and Restricting IMP

A Logic-Based Language LOG(L)

EFS and LOG

LOG and IMP

Programming Language Equivalences

Efficiency

Programs as Data / 15：

The Alphabet

Elementary Syntax

Procedure Execution

Introducing Constants

Indexes

Some Positive Results

Complements

The Halting Problem

The Universal Quantifier

The Second Recursion Theorem

Rice's Theorem

A String Manipulation Language / Part 1：

Language Background / 1：

Informalities / 2：

Syntax / 3：

Operational Semantics / 4：

Expanding a Work Space / 5：

続きを見る

東工大ブックレビュー

類似資料:

1 図書 Intuitionistic logic, model theory and forcing Fitting, Melvin Chris North-Holland Pub. Co.	7 図書 Equations and initial semantics (: U.S. ; : Germany) Ehrig, Hartmut, Mahr, Bernd Springer-Verlag
2 図書 Live data structures in logic programs : derivation by means of abstract interpretation (: gw ; : us) Mulkers, Anne, 1960- Springer-Verlag	8 図書 Computability : computable functions, logic, and the foundations of mathematics Epstein, Richard L., 1947-, Carnielli, Walter A. (Walter Alexandre) Wadsworth & Brooks/Cole Advanced Books & Software
3 図書 Computability and logic (: U.K. - : U.S., pbk) Cohen, Daniel E. E. Horwood, Halsted Press [distributor]	9 図書 Three views of logic : mathematics, philosophy, and computer science (: [pbk.]) Loveland, Donald W., 1934-, Hodel, Richard E., Sterrett, S. G. Princeton University Press
4 電子ブック Computability and logic / ((ebook)) Boolos, George, Burgess, John P., Jeffrey, Richard C.	10 図書 Computability theory : an introduction Jones, Neil D., 1941- Academic Press
5 図書 Computability, complexity, logic Börger, Egon, 1946- North-Holland, Distributors for U.S.A. and Canada, Elsevier Science Publishing Company, Inc.	11 図書 Proof methods for modal and intuitionistic logics Fitting, Melvin Chris D. Reidel, Sold and distributed in the U.S.A. and Canada by Kluwer Boston
6 図書 Purely functional data structures (: pbk) Okasaki, Chris Cambridge University Press	12 図書 Theory of recursive functions and effective computability Rogers, H. (Hartley), 1926- McGraw-Hill