Tutti i Forum  INFORMATICA - Primo Anno  Matematica discreta  delucidazioni

Nota: Devi essere registrato per poter inserire un messaggio.
Per registrarti, clicca qui. La Registrazione è semplice e gratuita!

Larghezza finestra: 640 x 480 800 x 600 1024 x 768 1280 x 1024 Nome Utente: Password: Modo: Base  Aiuto  Finestra  Formato: Carattere Andale Mono Arial Arial Black Book Antiqua Century Gothic Comic Sans MS Courier New Georgia Impact Lucida Console Script MT Bold Stencil Tahoma Times New Roman Trebuchet MS Verdana   Grandezza 1 2 3 4 5 6   Colore Nero Rosso Giallo Rosa Verde Arancione Viola Blu Beige Bordò Verde Oliva Blu Marino Marrone Verde Limone Icona Messaggio:                             Messaggio:   * Il codice HTML è OFF * Il Codice Forum è ON Smilies [quote][i]Messaggio inserito da socio_ipercoop[/i] [br]allora secondo ciò che ho letto negli altri post gli argomenti dell'esonero dovrebbero essere questi: CENNI DI LOGICA MATEMATICA: N°6 ORE La logica proposizionale, connettivi logici, tavole di verità, tautologie e contraddizioni. Equivalenza logica ed equivalenza semantica. Metodi di dimostrazione: diretta, per contrapposizione, per assurdo. Calcolo dei predicati del primo ordine: linguaggi con identità, formule, loro interpretazione. Negazione di una formula chiusa. ARITMETICA: N° 6 ORE Numeri naturali, assioma del buon ordinamento, principio d'induzione, Numeri interi relativi, algoritmo di divisione, divisori di un intero, massimo comun divisore e minimo comune multiplo, algoritmo di Euclide e sua correttezza. Algoritmo di Euclide esteso, identità di Bezout, equazioni diofantee, numeri primi e irriducibili, crivello di Eratostene, fattorizzazione unica. Espansione di un numero su una base, congruenze modulo n, la prova del 9 e criteri di divisibilità. Sistemi di congruenze lineari, teorema cinese del resto. RELAZIONI, FUNZIONI, COMBINATORIA: N° 6 ORE Prodotto cartesiano di insiemi. Relazioni, relazioni funzionali e funzioni. Immagini e controimmagini: funzioni ingettive, surgettive e bigettive. Funzioni tra insiemi finiti, modello di occupazione e delle parole, regole del prodotto e della divisione. Enumerazione di funzioni: funzioni ingettive, permutazioni e combinazioni. Formula di Stifel e binomio di Newton. Principio di inclusione-esclusione e sue applicazioni. RELAZIONI DI EQUIVALENZA E PARTIZIONI: N° 6 ORE Relazioni di equivalenza, classi di equivalenza, insieme quoziente. Relazione di equivalenza associata ad una funzione. Partizioni di un insieme e teorema di corrispondenza fra relazioni di equivalenza e partizioni. Congruenze modulo n e struttura di Zn. RELAZIONI D'ORDINE E RETICOLI: N° 8 ORE Insiemi ordinati e totalmente ordinati: esempi fondamentali. Relazione d'ordine indotta su un sottoinsieme. Il diagramma di Hasse di un insieme ordinato finito. Elementi minimali, massimali, minimo e massimo. Il problema del sorting topologico. Estremo inferiore e superiore: reticoli. Operazioni algebriche indotte su un reticolo, il principio di dualità dei reticoli. Reticoli distributivi, limitati e complementati: reticoli booleani. Insiemi totalmente ordinati e reticoli booleani. Omomorfismi fra reticoli. STRUTTURE ALGEBRICHE E MONOIDI: N° 8 ORE Primi esempi di strutture algebriche. Operazioni su un insieme, la nozione di struttura algebrica. Semigruppi e monoidi. Potenza in un monoide. Insiemi chiusi per una operazione, sottomonoidi. Sottomonoide generato da un sottoinsieme. Monoidi ciclici: esempi. Congruenze su una struttura algebrica e struttura quoziente: le operazioni su Zn. Omomorfismi fra strutture algebriche, teorema di isomorfismo. Il monoide delle parole su un alfabeto e proprietà universale dei monoidi liberi. Elementi invertibili di un monoide. per cortesia se qualcuno può controllarli e verificarne l'esattezza correggendo qualcosa di sbagliato o aggiungendo qualcosa che nn è stato inserito mi farebbe un grosso piacere... ciao [/quote]    Allega file   Clicca qui per inserire la tua firma nel messaggio. Clicca qui per sottoscrivere questa Discussione.