Matemática discreta y lógica : una perspectiva desde la ciencia de la computación /
Inv. fomec: L0909
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Texto biblioteca |
| Language: | spa |
| Published: |
Madrid : Prentice Hall,
1998
|
| Subjects: | CÁLCULO PROPOSICIONAL, NEGACIÓN, CONJUNCIÓN, DISYUNCIÓN, PROPOSICIONES COMPUESTAS, EXPRESIONES LÓGICAS, REGLAS DE PRIORIDAD, TAUTOLOGÍAS, EQUIVALENCIAS LÓGICAS, CÁLCULO DE PREDICADOS, INDUCCIÓN EN NÚMEROS NATURALES, TEOREMA DE LA DEDUCCIÓN, FUNCIONES RECURSIVAS, PROLOG, NEGACIÓN EN PROLOG, CONJUNTOS, FUNCIONES, GRAFOS Y ARBOLES, DERIVACIONES EN CÁLCULO PROPOSICIONAL, |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Summary: | Inv. fomec: L0909 |
|---|