Progetto:Matematica/Elenco di voci di base per la matematica discreta

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

• Insieme
  • Elemento (insiemistica)
  • Diagramma di Venn
  • Insieme vuoto
  • Sottoinsieme
  • Unione (teoria degli insiemi)
    • Unione disgiunta
  • Intersezione (teoria degli insiemi)
    • Insiemi disgiunti
  • Complemento (teoria degli insiemi)
  • Differenza simmetrica
• Coppia ordinata
• Prodotto cartesiano
• Potenza di un insieme
• Semplici teoremi di algebra degli insiemi
• Teoria ingenua degli insiemi
• Multinsieme

Funzioni matematiche

• 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

• Operatore binario
• Associatività
• Commutatività
• Distributività

Aritmetica

• Decimale
• Sistema di numerazione binario
• Divisore
• Divisione per zero
• Forma indeterminata
• prodotto vuoto
• Algoritmo di Euclide
• Teorema fondamentale dell'aritmetica
• Aritmetica modulare
• Funzione successore

Algebra elementare

• Equazione lineare
• Equazione quadratica
• Punto soluzione
• Progressione aritmetica
• Relazione di ricorrenza
• Differenza finita
• Operatore differenza

Relazioni matematiche

• Relazione binaria
• Relazione matematica
• Relazione riflessiva
• Proprietà riflessiva dell'uguaglianza
• Relazione simmetrica
• Proprietà simmetrica dell'uguaglianza
• Relazione antisimmetrica
• Transitività (matematica)
  • Chiusura transitiva
  • Proprietà transitiva dell'uguaglianza
• Equivalenza e identità
  • Relazione di equivalenza
  • Classe di equivalenza
  • Uguaglianza (matematica)
    • Disequazione
    • Disuguaglianza
  • Similarità (matematica)
  • Congruenza (geometria)
  • Equazione
  • Identità (matematica)
    • Elemento identità
    • Funzione identità
  • Proprietà sostitutiva dell'uguaglianza
  • Equivalenza grafica
  • Estensionalità
  • Quantificazione di unicità

Fraseologia matematica

• 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

Combinatoria

• Permutazioni e combinazioni
• Permutazione
• Combinazione
• Fattoriale
  • Prodotto vuoto
• Triangolo di Pascal

Probabilità

• Media
• Aspettazione
• Variabile casuale discreta

Logica proposizionale

• Operatore logico
• Tavola di verità
• Teoremi di De Morgan
• Enunciato aperto
• Elenco delle voci di logica

Altre pagine di matematica discreta

Per approfondire la Matematica discreta oltre il livello base, vedere queste pagine. Molte di queste discipline sono strettamente collegate all'informatica.

• Teoria degli automi
• Combinatorica
• Geometria combinatoria
• Geometria computazionale
• Geometria discreta
• Teoria dei grafi
• Logica matematica
• Ottimizazione combinatoria
• Teoria degli insiemi
• topologia combinatoria