Progetto:Matematica/Elenco di voci di base per la matematica discreta
Vai alla navigazione
Vai alla ricerca
Nell'elenco che segue compaiono molti termini del linguaggio matematico standard utilizzato nei corsi di livello universitario e nei testi degli articoli di ricerca. Questa pagina comunque non pretende di costituire un glossario completo di termini matematici, ma solo una selezione dei tipici termini dell'arte che si possono incontrare.
Insiemi matematici
[modifica wikitesto]- Insieme
- Coppia ordinata
- Prodotto cartesiano
- Potenza di un insieme
- Semplici teoremi di algebra degli insiemi
- Teoria ingenua degli insiemi
- Multinsieme
Funzioni matematiche
[modifica wikitesto]- Funzione
- Come specificare una funzione
- Dominio
- Codominio di una funzione
- Immagine (matematica)
- Funzione iniettiva
- Funzione suriettiva
- Biiezione
- Composizione di funzioni
- Funzione parziale
- Funzione multivalente
- Funzione binaria
- Funzione parte intera
- Funzione segno
- Inclusione (matematica)
Operazioni
[modifica wikitesto]Aritmetica
[modifica wikitesto]- Decimale
- Sistema di numerazione binario
- Divisore
- Divisione per zero
- Forma indeterminata
- prodotto vuoto
- Algoritmo di Euclide
- Teorema fondamentale dell'aritmetica
- Aritmetica modulare
- Funzione successore
- Equazione lineare
- Equazione quadratica
- Punto soluzione
- Progressione aritmetica
- Relazione di ricorrenza
- Differenza finita
- Operatore differenza
Relazioni matematiche
[modifica wikitesto]- Relazione binaria
- Relazione matematica
- Relazione riflessiva
- Proprietà riflessiva dell'uguaglianza
- Relazione simmetrica
- Proprietà simmetrica dell'uguaglianza
- Relazione antisimmetrica
- Transitività (matematica)
- Equivalenza e identità
Fraseologia matematica
[modifica wikitesto]- Se e solo se (sse)
- Condizione necessaria
- Condizione necessaria e sufficiente
- Condizione sufficiente
- Distinto
- Differenza
- Valore assoluto
- fino a
- Forma normale
- Forma canonica
- Senza perdita di generalità
- Verità vacua
- Contraddizione, Reductio ad absurdum
- Controesempio
- Sufficientemente largo
- Pons Asinorum
- Tavola dei simboli matematici
Logica proposizionale
[modifica wikitesto]Altre pagine di matematica discreta
[modifica wikitesto]Per approfondire la Matematica discreta oltre il livello base, vedere queste pagine. Molte di queste discipline sono strettamente collegate all'informatica.