Pengantar logik dan pengabstrakan untuk sains komputer

Pengantar logik dan pengabstrakan untuk sains komputer

Saved in:

Bibliographic Details
Main Author:	Rosni Abdullah
Other Authors:	Tang, Enya Kong
Format:	Book
Published:	Petaling Jaya Sprint/Prentice Hall 2000
Subjects:	Computer science Programming (Mathematics) Logic, symbolic and mathematical
Online Access:	Click Here to View Status and Holdings.
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Logik dan penggunaannya untuk sistem komputer
by: Nguyen, Huu Bong
Published: (1987)

Pengantar logik
by: Hamidah, Abdulhamid 1954-
Published: (1991)

Handbook of logic in computer science logic and algebraic methods
Published: (2000)

Logic and algebra of specification
Published: (1993)

Fork algebras in algebra, logic and computer science
by: Frias, Marcelo Fabian
Published: (2002)

A friendly introduction to mathematical logic
by: Leary, Christopher C. 1957-
Published: (2000)

Computation as logic
by: Lalement, Rene
Published: (1993)

COLOG-88 International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988 : proceedings
Published: (1990)

LOGIK PENGATURCARAAN KOMPUTER
by: Mohd Aizaini Maarof, et al.
Published: (2006)

Mathematical theory of program correctness
by: Bakker, J. W. de 1939- Jacobs Willem de
Published: (1980)

Mathematical theory of program correctness
by: Bakker, Jacolous Willem de
Published: (1980)

The Logical basis for computer programming
by: Manna, Zohar
Published: (1990)

Finite automata, formal logic, and circuit complexity
by: Straubing, Howard 1952-
Published: (1994)

Logic for applications
by: Nerode, Anil 1932-
Published: (1993)

Proof and computation
Published: (1995)

Asas rekabentuk logik komputer
by: Ahmad Ismail
Published: (1981)

Discrete Mathematics and Its Applications
by: Rosen, Kenneth H.
Published: (2007)

The deductive foundations of computer programming
by: Manna, Zohar
Published: (1993)

Mathematical logic and programming languages
Published: (1985)

The logical basis for computer programming
by: Manna, Zohar
Published: (1985)

Logic a foundation for computer science
by: Sperschneider, V., et al.
Published: (1991)

Discrete mathematics and its applications
by: Rosen, Kenneth H.
Published: (2007)

Logical methods in honor of Anil Nerode's sixtieth birthday
Published: (1993)

How to prove it a structured approach
by: Velleman, Daniel J
Published: (2006)

Lectures on mathematical logic
by: Felscher, Walter
Published: (2000)

Symbolic logic
by: Copi, Irving M
Published: (1968)

INTRODUCTION TO MATHEMATICAL LOGIC
by: Mendelson, Elliott
Published: (2010)

Self consciousness and self reference an interpretation of Willgenstein tractus
by: Worthington, B. A
Published: (1988)

A concise introduction to pure mathematics
by: Liebeck, M. W 1954- Martin W.
Published: (2011)

Logic and structure
by: Dalen, D. va 1932- Dirk
Published: (2004)

Symbolic logic
by: Thomas, James A
Published: (1977)

Logic, sets, and recursion
by: Causey, Robert L.
Published: (2001)

Symbolic logic and mechanical theorem proving
by: Chang, Chin-Liang 1937-
Published: (1973)

Introduction to Mathematical Logic
by: Mendelson, Elliott
Published: (1997)

Mathematical logic applications and theory
by: Rubin, Jean E
Published: (1990)

Logical forms an introduction to philosophical logic
by: Sainsbury, R. M (Richard Mark)
Published: (2001)

A concise introduction to pure mathematics
by: Liebeck, M. W. 1954- Martin W.
Published: (2006)

What is mathematical logic?
Published: (1972)

From symbolic logic-- to mathematical logic
by: Silver, Charles L
Published: (1994)

Logic, sets, and recursion
by: Causey, Robert L.
Published: (2006)