Set Theory for Computer Science
Overview & Synopsis
The aim is to introduce fundamental
concepts and techniques in set theory in preparation for its many applications
in computer science. Topics covered includes, Mathematical argument, Sets and
Logic, Relations and functions, Constructions on sets, Inductive definitions,
Wellfounded induction, Inductivelydefined classes and FraenkelMostowski
sets.
Indexed from repository: FreeBookCentre
(
freebookcentre.net)
Document Information
| Document Title | Set Theory for Computer Science |
|---|---|
| Author / Organization | Glynn Winskel |
| Categories | Technical Books |
| Resource Verification | Listed PDF (Verification Pending) |
| Original Host Website |
FreeBookCentre
(freebookcentre.net)
|
| File Format | application/pdf (Portable Document Format) |
| Page Count | 141 pages |
| Language | EN |
| Catalog ID | DOC-310492 |
| Original Source Link | Visit Source Page on freebookcentre.net » |