Alla ricerca di un dizionario di notazione matematica / CS


10

C'è una serie vertiginosa di simboli a volte usata in matematica e CS. Eppure molti assumono una familiarità di base che sembra raramente insegnata in un unico posto. Sto cercando un dizionario simile al seguente, soprattutto dal punto di vista CS.

  • Elencherebbe tutti i simboli matematici di base e darebbe i loro significati ed esempi. Parlerebbe di simboli che a volte vengono usati in modo equivalente. Noterebbe errori comuni per principianti.
  • Parlerebbe delle sottigliezze che circondano i diversi significati di un singolo simbolo (molto simile a più definizioni della stessa parola in un dizionario).
  • Non sarebbe semplicemente una descrizione molto concisa di ciascun simbolo, come descrizioni di una parola come "sottoinsieme".
  • Mostrerebbe come i simboli siano talvolta "sovraccaricati". Ad esempio, potrebbe averezcome numero intero, ma a voltezpuò essere un set con questa notazione e significa scegliere elementi da questo set. [n] avolte significa un insieme di numeri interi1...n, o altre volte è un array di un elemento.(Xy)zz[n]1...n
  • Potrebbe parlare di come descrivere tutti i tipi di "oggetti" diversi in termini di simboli diversi o modi equivalenti di riferirsi ad essi (ma che sono più chiari) e le operazioni possibili su quegli oggetti. In altre parole, un po 'come un'API per gli oggetti matematici.

Cioè a volte sarebbe anche un "manuale di stile" per diverse sfumature su come presentare la scrittura matematica. Questa sarebbe una risorsa molto utile per chiunque scriva domande negli scambi matematici di stack, in cui molte domande non hanno senso basandosi sul non adattarsi a convenzioni matematiche complicate.

Alcune presentazioni di libri hanno molte di queste funzionalità. comunque idealmente sarebbe un trattamento separato. Inoltre, idealmente ovviamente sarebbe online. Esistono tabelle di simboli in lattice, ma in realtà non soddisfano molti dei criteri di cui sopra.

Qualcuno ha visto un "dizionario di simboli" che corrisponde a queste caratteristiche?

(In alternativa, sembra un eccellente progetto wiki o FAQ se non esistono buoni riferimenti come questo.)


2
L'elenco di simboli matematici di Wikipedia è un buon inizio, ma ancora abbastanza lontano dalla risorsa completa che descrivi. Tuttavia, è stato abbastanza per farmi passare la maggior parte dei documenti teorici CS che ho letto.
Kyle Jones,

4
La notazione non è sempre standard. Esiste una notazione di "pratica comune", ma varia geograficamente e nel tempo. Quando si utilizza la notazione non standard o meno comune, le fonti indicano il significato della notazione.
Yuval Filmus,

1
vedi anche buoni esempi di come scrivere bene in cs , tcs.se, anche se questo è uno stile più generale e non molto focalizzato sulla notazione
vzn

Risposte:



3

Conoscere il nome segreto di qualcosa è rubare il suo potere. - Dr. Daniel Jackson

Per i tempi in cui possiamo solo disegnare il simbolo e desiderare un nome.

Vedi: shapecatcher

Disegna il simbolo e se esiste un carattere unicode, lo troverà e ti darà un nome. Se ce ne sono molti come =, verranno elencati molti risultati.

Quindi è solo una questione di googling.

Godere!


1
Buona idea, ma non ha funzionato bene per me.
The Unfun Cat,

2

Ai riferimenti delle altre risposte per notazione matematica e simboli, vorrei aggiungere un riferimento per l'uso matematico delle parole inglesi.

Il Manuale del discorso matematico è un dizionario di parole e frasi usate nella scrittura matematica semi-formale, in particolare parole come "dove" e "tutto" che sono usate in modo abbastanza diverso dalla scrittura non matematica.

Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.