Each Play button uses your device's default local English voice, or a natural local fallback. The selected voice name appears after playback. This is synthesized speech, not a source recording.
No pronunciation record was provided for this word.
The study of the semantics, or interpretations, of formal languages.
Definition source: English Wiktionary via Wiktextract
Usage: uncountable
No example sentence was provided for this meaning.
Meaning relationships
Synonyms: none provided
Antonyms: none provided
the rigorous mathematical study of the meaning of programming languages
Definition source: English Wiktionary via Wiktextract
Usage: uncountable
Topics: computer, computing, engineering, mathematics, natural-sciences, physical-sciences, science, sciences
No example sentence was provided for this meaning.
Meaning relationships
Synonyms: none provided
Antonyms: none provided
the branch of semantics that studies the logical aspects of meaning
Definition source: Princeton WordNet 3.0
No example sentence was provided for this meaning.
Meaning relationships
Synonyms: none provided
Antonyms: none provided
Broader terms: semantics
No etymology was provided for this word.
Across languages
Translations
2 source translations are retained for this English entry.
-
French:
sémantique formelle
— study of the semantics of formal languages
-
Polish:
semantyka formalna
— study of the semantics of formal languages