I contenuti di questa pagina costituiscono rielaborazioni personali del Publisher di informazioni apprese con la frequenza delle lezioni e lo studio autonomo di eventuali testi di riferimento in preparazioneall’esame finale o della tesi. Non devono intendersi come materiale ufficiale dell’università attribuibile al docente del corso o al relatore
…continua

Filtra per

Tutte le tipologie

Ordina

Filtra

Appunti di Logica e matematica discreta

Esame Logica e matematica discreta

Facoltà Scienze matematiche fisiche e naturali

Dal corso del Prof. L. Terracini

Università Università degli studi di Torino

Appunto
4,5 / 5
Appunti per l'esame di MDL - Matematica Discreta e Logica del corso di Laurea in Informatica. Corso A, B, C. Teoria ed esercizi svolti su: insiemi, dimostrazione per induzione, funzioni, immagine e controimmagine, iniettività, suriettività, biezione, composizione di funzioni, combinatorica, insiemi equipollenti, finiti ed infiniti, cardinalità, principio di inclusione-esclusione, insieme delle parti, prodotto cartesiano, metodo delle scelte successive, disposizioni (con ripetizione e semplici), numero degli anagrammi, combinazioni (semplici e con ripetizione), formula di Stiefel, permutazioni, cicli, composizione, scambi (trasposizioni), tipo, periodo, parità, gruppi, sottogruppi, laterali, ordine di un gruppo, omomorfismi, nucleo, aritmetica modulare, numeri irriducibili, riducibili, primi, massimo comun divisore (MCD), divisione euclidea, classi di resto modulo n, funzione di Eulero, congruenze lineari
...continua

Esame Logica e matematica discreta

Facoltà Scienze matematiche fisiche e naturali

Dal corso del Prof. L. Motto Ros

Università Università degli studi di Torino

Appunto
4 / 5
Appunti per l'esame di Matematica Discreta e Logica (MDL) del corso di laurea in Informatica. Teoria ed esercizi svolti. Teoremi e dimostrazioni, simboli logici, equivalenza logica, conseguenza/discendenza logica, negazione, congiunzione, disgiunzione, leggi di De Morgan, distributività, tautologie, contraddizioni, implicazione, bi-implicazione, quantificatore esistenziale, quantificatore universale, tavole di verità, soddisfacibilità insiemi, insieme delle parti o insieme potenza, intersezione, unione, differenza, complementare, operazioni e leggi insiemistiche, prodotto cartesiano, relazioni, relazione di equivalenza, classe di equivalenza, insieme quoziente, ordini, diagramma di Hasse, pre-ordini, funzioni, immagine, preimmagine, composizione, operazioni, iniezioni, suriezioni, biezioni, funzione inversa, prodotto di funzioni, stringhe o sequenze, concatenazione, cardinalità, insiemi finiti ed infiniti, teorema di Cantor-Schroder-Bernstein, insiemi numerabili, induzione semplice, ricorsione, induzione strutturale forte, induzione strutturale semplice, principio del minimo, principio dei cassetti, sintassi della logica proposizionale, albero sintattico, interpretazioni, valutazioni, logica del prim'ordine, linguaggio del prim'ordine, termini, formule del prim'ordine, formule atomiche, variabili libere e vincolate, L-strutture, assegnazioni, interpretazione di termini, interpretazione di formule, insieme di verità, formalizzazione, quantificatori limitativi.
...continua

Esame Logica e matematica discreta

Facoltà Scienze matematiche fisiche e naturali

Dal corso del Prof. L. Motto Ros

Università Università degli studi di Torino

Appunto
4 / 5
Formulario utilizzabile durante l'esame di MDL - Logica. contiene: insiemi: leggi di De Morgan relazioni: proprietà delle relazioni binarie, relazione d'equivalenza, relazione d'ordine, pre-ordine funzioni: composizione, suriettività, stringhe finite ed infinite cardinalità: teorema di Cantor-SChroder-Bernstein, insiemi numerabili, insiemi più che numerabili logica proposizionale: proposizioni atomiche, altezza, lunghezza, priorità tra connettivi logica del prim'ordine: linguaggio, termini, albero sintattico, formule atomiche, altezza, occorrenze vincolate e libere, priorità tra costanti logiche, insiemi di verità, interpretazione, formalizzazione, esempi di formalizzazione
...continua

Esame Logica e matematica discreta

Facoltà Scienze matematiche fisiche e naturali

Dal corso del Prof. F. Brenti

Università Università degli studi di Torino

Appunto
5 / 5
Vendo appunti ed esercizi di matematica discreta elaborati dal publisher sulla base di appunti personali e frequenza delle lezioni del professore Brenti, facoltà di Scienze matematiche fisiche e naturali. Scarica il file con le esercitazioni in formato PDF!
...continua

Esame Logica e matematica discreta

Facoltà Scienze matematiche fisiche e naturali

Dal corso del Prof. S. Milici

Università Università degli Studi di Catania

Appunto
5 / 5
Il documento contiene tutta la teoria, esempi ed esercizi sul calcolo combinatorio spiegata passo per passo dal professore basati su appunti personali del publisher presi alle lezioni del prof. Milici dell’università degli Studi di Catania - Unict. Scarica il file in formato PDF!
...continua

Esame Logica e matematica discreta

Facoltà Scienze matematiche fisiche e naturali

Dal corso del Prof. L. Geatti

Università Università degli Studi di Roma Tor Vergata

Appunto
Appunti di Logica e matematica discreta sulla parte 1 degli insiemi basati su appunti personali del publisher presi alle lezioni del prof. Geatti dell’università degli Studi di Tor Vergata - Uniroma2, Facoltà di Scienze matematiche fisiche e naturali. Scarica il file in formato PDF!
...continua

Esame Logica e matematica discreta

Facoltà Scienze matematiche fisiche e naturali

Dal corso del Prof. A. Masini

Università Università degli Studi di Verona

Appunto
5 / 5
Appunti di logica e matematica discreta per l’esame del professor Masini. Gli argomenti trattati sono i seguenti: il minimo, le relazioni, la classe di equivalenza, la classe d'ordine, la partizione, il numero cardinale, la permutazione, il coefficiente binomiale.
...continua

Esame Logica e matematica discreta

Facoltà Scienze matematiche fisiche e naturali

Dal corso del Prof. A. Masini

Università Università degli Studi di Verona

Appunto
3 / 5
Appunti di Logica e matematica discreta per l'esame del professor Masini. Gli argomenti trattati sono i seguenti: l'astrazione nei linguaggi di programmazione, la dimostrazione della proprietà associata, i principi di induzione sugli interi, la divisione tra numeri interi.
...continua