Foundations of computation / Ben Dieter

By:

Dieter, Ben

Language: English Publication details: Phoenix c2021 UppsalaDescription: 252 p. ill. 24 cmISBN:

9789394612228

Subject(s):

Application Programming; Relational Databases; Deduction

DDC classification:

004.0151 DIE;1

Summary: This book provides a self-contained introduction to mathematical logic and computability theory for students of mathematics or computer science. The book can be used at late undergraduate level or early graduate level. An undergraduate course would concentrate on Logic and Proof, Sets, functions and its relations.

Tags from this library: No tags from this library for this title.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Call number	Copy number	Status	Barcode
Reference	Anna Centenary Library 3RD FLOOR, A WING	004.0151 DIE (Browse shelf(Opens below))		Not for loan	677384
Reference	Anna Centenary Library 3RD FLOOR, A WING	4.0151 DIE;1 (Browse shelf(Opens below))	1	Not for loan	677385

Includes index

This book provides a self-contained introduction to mathematical logic and computability theory for students of mathematics or computer science. The book can be used at late undergraduate level or early graduate level. An undergraduate course would concentrate on Logic and Proof, Sets, functions and its relations.

There are no comments on this title.

to post a comment.

Foundations of computation / Ben Dieter

Find us on the map