|
L'assignatura 34666 - Matemàtica discreta i lògica s'imparteix en primer curs d'Enginyeria Informàtica a la Universitat de València. És una assignatura introductòria que hauria de servir de pont entre conceptes matemàtics, lògics i computacionals, importants a l'hora d'assolir certes competències transversals com ara la capacitat per a representar informació i per a resoldre problemes.
En l'assignatura hi ha quatre blocs principals: combinatòria, lògica, recursió, i estructures gràfiques i arborescents. Encara que en queden fora molts continguts típics de cursos i llibres de matemàtica discreta (com ara resolució de recurrències, codificació, teoria de nombres, etc.), també és veritat que de qualsevol dels quatre blocs es podria impartir una assignatura sencera (encara que no en primer curs).
El tret principal del present manual és la col·lecció de problemes. Es tracta majorment de problemes que han sigut utilitzats en exàmens o en exercicis pràctics. Molts admeten solucions obertes, ramificacions i extensions que poden resultar interessants per a la comprensió dels conceptes relacionats.
Per això s'ha reduït la teoria a l'enumeració de conceptes importants, i s'han estès les solucions de problemes seleccionats perquè il·lustren i expliquen la part teòrica corresponent.
El material no s'hauria d'utilitzar com a apunts complets i autocontinguts, sinó com un resum de conceptes que cal ampliar en altres fonts. Tampoc no s'haurien de considerar les solucions com a respostes tipus que cal estudiar. Al contrari, la millor manera d'aprofitar el material consisteix a intentar seriosament la resolució de cada problema abans de mirar la solució.
El llibre s'ha concebut com un projecte obert, de manera que la col·lecció de problemes puga anar creixent. La idea és que estiga disponible en línia de manera oberta i que es puga navegar fàcilment entre les seues parts.
Finalment, val a dir que aquest projecte s'ha beneficiat d'una manera o d'una altra de material (concret) previ, discussions (discretes) i reflexions (lògiques) amb diversos companys del departament amb qui he tingut el plaer de treballar. Principalment, Fernando Barber, Ignacio García, Sergio Casas, Miguel Lozano i Salva Moreno.
|