skip to content
Mathematical foundations of computer science / 1, Sets, relations, and induction. Preview this item
ClosePreview this item
Checking...

Mathematical foundations of computer science / 1, Sets, relations, and induction.

Author: Peter A Fejer
Publisher: New York ; Berlin ; Heidelberg : Springer, 1991.
Series: Texts and monographs in computer science
Edition/Format:   Print book : EnglishView all editions and formats
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: 0 Gesamtdarstellung
Document Type: Book
All Authors / Contributors: Peter A Fejer
ISBN: 0387974504 9780387974507 3540974504 9783540974505
OCLC Number: 311674949
Description: x, 425 Seiten.
Contents: 1 Elementary Set Theory.- 1.1 Introduction.- 1.2 Sets, Members, Subsets.- 1.3 Building New Sets.- 1.4 Exercises and Supplements.- 1.5 Bibliographical Comments.- 2 Relations and Functions.- 2.1 Introduction.- 2.2 Relations.- 2.3 Functions.- 2.4 Sequences, Words, and Matrices.- 2.5 Images of Sets Under Relations.- 2.6 Relations and Directed Graphs.- 2.7 Special Classes of Relations.- 2.8 Equivalences and Partitions.- 2.9 General Cartesian Products.- 2.10 Operations.- 2.11 Representations of Relations and Graphs.- 2.12 Relations and Databases.- 2.13 Exercises and Supplements.- 2.14 Bibliographical Comments.- 3 Partially Ordered Sets.- 3.1 Introduction.- 3.2 Partial Orders and Hasse Diagrams.- 3.3 Special Elements of Partially Ordered Sets.- 3.4 Chains.- 3.5 Duality.- 3.6 Constructing New Posets.- 3.7 Functions and Posets.- 3.8 Complete Partial Orders.- 3.9 The Axiom of Choice and Zorn's Lemma.- 3.10 Exercises and Supplements.- 3.11 Bibliographical Comments.- 4 Induction.- 4.1 Introduction.- 4.2 Induction on the Natural Numbers.- 4.3 Inductively Defined Sets.- 4.4 Proof by Structural Induction.- 4.5 Recursive Definitions of Functions.- 4.6 Constructors.- 4.7 Simultaneous Inductive Definitions.- 4.8 Propositional Logic.- 4.9 Primitive Recursive and Partial Recursive Functions.- 4.10 Grammars.- 4.11 Peano's Axioms.- 4.12 Well-Founded Sets and Induction.- 4.13 Fixed Points and Fixed Point Induction.- 4.14 Exercises and Supplements.- 4.15 Bibliographical Comments.- 5 Enumerability and Diagonalization.- 5.1 Introduction.- 5.2 Equinumerous Sets.- 5.3 Countable and Uncountable Sets.- 5.4 Enumerating Programs.- 5.5 Abstract Families of Functions.- 5.6 Exercises and Supplements.- 5.7 Bibliographical Comments.- References.
Series Title: Texts and monographs in computer science
Responsibility: Peter A. Fejer ; Dan A. Simovici.
More information:

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/311674949> # Mathematical foundations of computer science 1, Sets, relations, and induction.
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "311674949" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/204300453#Place/heidelberg> ; # Heidelberg
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/204300453#Place/berlin> ; # Berlin
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/nyu> ;
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   schema:about <http://experiment.worldcat.org/entity/work/data/204300453#Topic/theoretische_informatik> ; # Theoretische Informatik
   schema:about <http://experiment.worldcat.org/entity/work/data/204300453#Topic/informatik_mathematik> ; # Informatik--Mathematik
   schema:about <http://experiment.worldcat.org/entity/work/data/204300453#Topic/informatik> ; # Informatik
   schema:about <http://dewey.info/class/004.0151/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/204300453#Topic/mathematische_methode> ; # Mathematische Methode
   schema:about <http://experiment.worldcat.org/entity/work/data/204300453#Topic/datenverarbeitung> ; # Datenverarbeitung
   schema:about <http://experiment.worldcat.org/entity/work/data/204300453#Topic/mathematik_informatik> ; # Mathematik--Informatik
   schema:about <http://experiment.worldcat.org/entity/work/data/204300453#Topic/mathematik> ; # Mathematik
   schema:bookFormat bgn:PrintBook ;
   schema:creator <http://viaf.org/viaf/56701886> ; # Peter A. Fejer
   schema:datePublished "1991" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/204300453> ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/204300453#Series/texts_and_monographs_in_computer_science> ; # Texts and monographs in computer science
   schema:name "Mathematical foundations of computer science 1, Sets, relations, and induction." ;
   schema:productID "311674949" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/311674949#PublicationEvent/new_york_berlin_heidelberg_springer_1991> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/204300453#Agent/springer> ; # Springer
   schema:workExample <http://worldcat.org/isbn/9783540974505> ;
   schema:workExample <http://worldcat.org/isbn/9780387974507> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/311674949> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
   schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/204300453#Series/texts_and_monographs_in_computer_science> # Texts and monographs in computer science
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/311674949> ; # Mathematical foundations of computer science 1, Sets, relations, and induction.
   schema:name "Texts and monographs in computer science" ;
    .

<http://experiment.worldcat.org/entity/work/data/204300453#Topic/informatik_mathematik> # Informatik--Mathematik
    a schema:Intangible ;
   schema:name "Informatik--Mathematik" ;
    .

<http://experiment.worldcat.org/entity/work/data/204300453#Topic/mathematik_informatik> # Mathematik--Informatik
    a schema:Intangible ;
   schema:name "Mathematik--Informatik" ;
    .

<http://experiment.worldcat.org/entity/work/data/204300453#Topic/mathematische_methode> # Mathematische Methode
    a schema:Intangible ;
   schema:name "Mathematische Methode" ;
    .

<http://experiment.worldcat.org/entity/work/data/204300453#Topic/theoretische_informatik> # Theoretische Informatik
    a schema:Intangible ;
   schema:name "Theoretische Informatik" ;
    .

<http://viaf.org/viaf/56701886> # Peter A. Fejer
    a schema:Person ;
   schema:familyName "Fejer" ;
   schema:givenName "Peter A." ;
   schema:name "Peter A. Fejer" ;
    .

<http://worldcat.org/isbn/9780387974507>
    a schema:ProductModel ;
   schema:isbn "0387974504" ;
   schema:isbn "9780387974507" ;
    .

<http://worldcat.org/isbn/9783540974505>
    a schema:ProductModel ;
   schema:isbn "3540974504" ;
   schema:isbn "9783540974505" ;
    .

<http://www.worldcat.org/title/-/oclc/311674949>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/311674949> ; # Mathematical foundations of computer science 1, Sets, relations, and induction.
   schema:dateModified "2018-11-10" ;
   void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.