|
|
|
|
| LEADER |
01500cam a22004577a 4500 |
| 001 |
BIBLO-40477 |
| 003 |
AR-BaUEN |
| 005 |
20201111150451.0 |
| 008 |
100426s2002 xxu||||f |||| 00| 0|eng|d |
| 040 |
|
|
|a AR-BaUEN
|b spa
|c AR-BaUEN
|
| 020 |
|
|
|a 0763718432
|
| 044 |
|
|
|a xxu
|
| 080 |
|
|
|a 681.32
|
| 100 |
1 |
|
|a Hein, James
|
| 245 |
1 |
0 |
|a Discrete structures :
|b logic and computability
|
| 250 |
|
|
|a 2nd. ed.
|
| 260 |
|
|
|a Boston :
|b Jones and Bartlett,
|c 2002
|
| 300 |
|
|
|a xvi, 943 p.
|
| 505 |
0 |
0 |
|g 1
|t Elementary Notions and Notations
|
| 505 |
0 |
0 |
|g 2
|t Facts about Functions
|
| 505 |
0 |
0 |
|g 3
|t Construction Techniques
|
| 505 |
0 |
0 |
|g 4
|t Equivalence, Order, and Inductive Proof
|
| 505 |
0 |
0 |
|g 5
|t Analysis Techniques
|
| 505 |
0 |
0 |
|g 6
|t Elementary Logic
|
| 505 |
0 |
0 |
|g 7
|t Predicate Logic
|
| 505 |
0 |
0 |
|g 8
|t Applied Logic
|
| 505 |
0 |
0 |
|g 9
|t Computational Logic
|
| 505 |
0 |
0 |
|g 10
|t Algebraic Structures and Techniques
|
| 505 |
0 |
0 |
|g 11
|t Regular Languages and Finite Automata
|
| 505 |
0 |
0 |
|g 12
|t Context-Free Languages and Pushdown Automata
|
| 505 |
0 |
0 |
|g 13
|t Turing Machines and Equivalent Models
|
| 505 |
0 |
0 |
|g 14
|t Computational Notions
|
| 505 |
0 |
0 |
|t Answers to Selected Exercises
|
| 505 |
0 |
0 |
|t Bibliography
|
| 505 |
0 |
0 |
|t Greek Alphabet
|
| 505 |
0 |
0 |
|t Symbol Glossary
|
| 505 |
0 |
0 |
|t Index
|
| 653 |
1 |
0 |
|a MATEMATICAS DISCRETAS
|
| 650 |
1 |
7 |
|2 spines
|a LENGUAJES DE PROGRAMACION
|
| 962 |
|
|
|a info:eu-repo/semantics/book
|a info:ar-repo/semantics/libro
|b info:eu-repo/semantics/publishedVersion
|
| 999 |
|
|
|c 31446
|