FORMAL SEMANTICS OF PROGRAMMING LANGUAGES

Англо-русский перевод FORMAL SEMANTICS OF PROGRAMMING LANGUAGES

Семантика в программировании

American English-Russian dictionary. Американский Англо-Русский словарь. 2012

FORMAL — adj formal
Interlingua English vocab
SEMANTICS — noun plural but singular or plural in construction Date: 1893 the study of meanings:, the historical and psychological study and …
Толковый словарь английского языка - Merriam Webster
PROGRAMMING — also programing noun Date: 1940 the planning, scheduling, or performing of a program, 2. the process of instructing or learning …
Толковый словарь английского языка - Merriam Webster
SEMANTICS — Study of meaning, one of the major areas of linguistic study (see linguistics ). Linguists have approached it in a …
Английский словарь Британика
PROGRAMMING — [c mediumvioletred] (as used in expressions) concurrent programming linear programming mathematical programming {{link=programming language">programming language systems programming
Английский словарь Британика
PROGRAMMING — I. noun or programing ( -s ) : the planning, scheduling, or performing of a program the listeners alone, can …
Webster's New International English Dictionary
FORMAL
Webster's New International English Dictionary
SEMANTICS — sə̇ˈmantiks, sēˈ-, -maan-, -tēks noun plural but usually singular in construction Etymology: French sémantique, from Greek sēmantikos significant, from sēmainein …
Webster's New International English Dictionary
FORMAL — (a.) Having the form or appearance without the substance or essence; external; as, formal duty; formal worship; formal courtesy, etc.
Английский словарь Webster
FORMAL — (a.) Devoted to, or done in accordance with, forms or rules; punctilious; regular; orderly; methodical; of a prescribed form; exact; …
Английский словарь Webster
FORMAL — (a.) Done in due form, or with solemnity; according to regular method; not incidental, sudden or irregular; express; as, he …
Английский словарь Webster
FORMAL — ( a. ) Having the form or appearance without the substance or essence; external; as, formal duty; formal worship; formal …
Webster's Revised Unabridged English Dictionary
SEMANTICS — — semanticist /si man"teuh sist/ , semantician /see'man tish"euhn/ , n. /si man"tiks/ , n. ( used with a sing. …
Random House Webster's Unabridged English Dictionary
PROGRAMMING — /proh"gram ing, -greuh ming/ , n. 1. the act or process of planning or writing a program. 2. Radio and …
Random House Webster's Unabridged English Dictionary
FORMAL — formal 1 — formalness , n. /fawr"meuhl/ , adj. 1. being in accordance with the usual requirements, customs, etc.; conventional: …
Random House Webster's Unabridged English Dictionary
SEMANTICS — n. study of the meaning and use of words and phrases
Толковый словарь английского языка - Редакция bed
PROGRAMMING — n. act of writing sets of instructions for a computer or other device, act of writing computer applications
Толковый словарь английского языка - Редакция bed
FORMAL — I. ˈfȯr-məl adjective Etymology: Middle English, from Latin formalis, from forma Date: 14th century 1. a. : belonging to or …
Merriam-Webster's Collegiate English vocabulary
SEMANTICS — noun plural but singular or plural in construction Date: 1893 1. : the study of meanings: a. : the historical …
Merriam-Webster's Collegiate English vocabulary
FORMAL — adj sound; normal. 2. formal ·adj dependent in form; conventional. 3. formal ·noun ·see methylal. 4. formal ·adj belonging to …
Webster English vocab
SEMANTICS — ■ plural noun [usu. treated as sing. ] 1》 the branch of linguistics and logic concerned with meaning. 2》 the …
Concise Oxford English vocab
SEMANTICS — [se.man.tics] n pl but sing or pl in constr (1893) 1: the study of meanings: a: the historical and psychological …
Merriam-Webster English vocab
FORMAL — [for.mal] adj [ME, fr. MF or L; MF, fr. L formalis, fr. forma] (14c) 1 a: belonging to or constituting …
Merriam-Webster English vocab
SEMANTICS — also called semiotics, semology, or semasiology, the philosophical and scientific study of meaning. The term is one of a group …
Britannica English vocabulary
SEMANTICS — / sɪˈmæntɪks; NAmE / noun [ U ] ( linguistics ) 1. the study of the meanings of words and …
Oxford Advanced Learner's English Dictionary
PROGRAMMING — / ˈprəʊgræmɪŋ; NAmE ˈproʊ-/ noun [ U ] 1. the process of writing and testing programs for computers : a …
Oxford Advanced Learner's English Dictionary
FORMAL — / ˈfɔːml; NAmE ˈfɔːrml/ adjective 1. ( of a style of dress, speech, writing, behaviour, etc. ) very correct and …
Oxford Advanced Learner's English Dictionary
SEMANTICS — se ‧ man ‧ tics /sɪˈmæntɪks/ BrE AmE noun [uncountable] 1 . the study of the meaning of words and …
Longman Dictionary of Contemporary English
PROGRAMMING — pro ‧ gram ‧ ming /ˈprəʊɡræmɪŋ $ ˈproʊ-/ BrE AmE noun [uncountable] 1 . the activity of writing programs for …
Longman Dictionary of Contemporary English
FORMAL — I. form ‧ al 1 S2 W2 /ˈfɔːm ə l $ ˈfɔːr-/ BrE AmE adjective [ Word Family: noun : …
Longman Dictionary of Contemporary English
SEMANTICS — n.pl. (usu. treated as sing.) the branch of linguistics concerned with meaning. øøsemantician n. semanticist n.
Английский основной разговорный словарь
FORMAL — adj. & n. --adj. 1 used or done or held in accordance with rules, convention, or ceremony (formal dress; a …
Английский основной разговорный словарь
SEMANTICS — n.pl. (usu. treated as sing.) the branch of linguistics concerned with meaning. semantician n. semanticist n.
Concise Oxford English Dictionary
FORMAL — adj. & n. adj. 1 used or done or held in accordance with rules, convention, or ceremony (formal dress; a …
Concise Oxford English Dictionary
SEMANTICS — n.pl. (usu. treated as sing.) the branch of linguistics concerned with meaning. Derivatives: semantician n. semanticist n.
Oxford English vocab
FORMAL — adj. & n. --adj. 1. used or done or held in accordance with rules, convention, or ceremony (formal dress; a …
Oxford English vocab
SEMANTICS — Semantics is the branch of linguistics that deals with the meanings of words and sentences. N-UNCOUNT
Collins COBUILD Advanced Learner's English Dictionary
FORMAL — ( formals) Frequency: The word is one of the 1500 most common words in English. 1. Formal speech or behaviour …
Collins COBUILD Advanced Learner's English Dictionary
SEMANTICS — Note: The form 'semantic' is used as a modifier. Semantics is the branch of linguistics that deals with the meanings …
Collins COBUILD - Толковый словарь английского языка для изучающих язык
FORMAL — (~s) Frequency: The word is one of the 1500 most common words in English. 1. Formal speech or behaviour is …
Collins COBUILD - Толковый словарь английского языка для изучающих язык
SEMANTICS — noun COLLOCATIONS FROM CORPUS ■ ADJECTIVE lexical ▪ It may be wondered why it is necessary, or even advantageous, to …
Longman DOCE5 Extras English vocabulary
PROGRAMMING — noun COLLOCATIONS FROM CORPUS ■ ADJECTIVE new ▪ It had been Adam, too, who had broached the subject of a …
Longman DOCE5 Extras English vocabulary
FORMAL — I. adjective COLLOCATIONS FROM OTHER ENTRIES a formal announcement ▪ A formal announcement will be made in Parliament. a formal …
Longman DOCE5 Extras English vocabulary
SEMANTICS — [noun] [U]Semantics is the study of meanings in a language.Syntax describes the rules by which words can be combined into …
Cambridge English vocab
SEMANTICS — n. Study of meaning, one of the major areas of linguistic study (see linguistics ). Linguists have approached it in …
Britannica Concise Encyclopedia
PROGRAMMING — n. concurrent programming linear programming mathematical programming object oriented programming programming language systems programming
Britannica Concise Encyclopedia
PROGRAMMING — noun Programming is used before these nouns: ↑ language , ↑ schedule , ↑ tool
Oxford Collocations English Dictionary
FORMAL — n. 25B6; adjective a formal dinner : CEREMONIAL, ceremonious, ritualistic, ritual, conventional, traditional; stately, courtly, solemn, dignified; elaborate, ornate, dressy. …
Concise Oxford Thesaurus English vocabulary
SEMANTICS — < theory > The meaning of a string in some language, as opposed to syntax which describes how symbols may …
FOLDOC Computer English Dictionary
FORMAL — 1. FORmula MAnipulation Language. An early Fortran extension for symbolic mathematics . ["FORMAL, A Formula Manipulation Language", C.K. Mesztenyi, Computer …
FOLDOC Computer English Dictionary
FORMAL — adj. 1 standard, conventional, customary, established, prescribed, regular, normal, correct, proper; strict, formulaic, inflexible, punctilious, exacting, unchanging, methodical, orderly, systematic, …
Oxford Thesaurus English vocab
SEMANTICS — сущ.; линг. семантика general semantics generative semantics семантика пустословие; бессодержательное красноречие - it is just an exercise in * это …
Большой Англо-Русский словарь
PROGRAMMING — сущ. 1) планирование 2) программирование ∙ - automatic programming - mathematical programming programming of construction investment programming programming language programming …
Большой Англо-Русский словарь
LANGUAGES — Языки languages: proficiency in ~ знание языков languages: proficiency in ~ знание языков
Большой Англо-Русский словарь
FORMAL — прил. 1) а) относящийся к внешней стороне (вопроса, проблемы), формальный б) мат., лог. строгий, формальный (о максимально точном и выразительном …
Большой Англо-Русский словарь
LANGUAGES — Языки
Американский Англо-Русский словарь
LANGUAGES — Языка
Американский Англо-Русский словарь
LANGUAGES — Речи
Американский Англо-Русский словарь
SEMANTICS — n 1. лингв. семантика 2. пустословие; бессодержательное красноречие it is just an exercise in semantics - это всё пустые слова
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
PROGRAMMING — n 1. 1> составление программы 2> выполнение программы 2. 1> программирование programming environment - среда программирования programming language - язык …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
FORMAL — formal.ogg 1. ʹfɔ:m(ə)l n амер. разг. 1. pl = formal dress 2. мероприятие, на котором участники должны быть в вечерних …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
PROGRAMMING — 1) программирование; разработка программ 2) планирование • programming by example — обучение на примерах ( метод программирования роботов ) ; …
Большой Англо-Русский политехнический словарь
PROGRAMMING — 1) программирование; разработка программ 2) планирование • programming by example — обучение на примерах (метод программирования роботов); programming by teaching — программирование (робота) непосредственным …
Большой Англо-Русский политехнический словарь - РУССО
SEMANTICS — семантика - axiomatic semantics - descriptive semantics - formal semantics - functional semantics - logical semantics - operational semantics - pragmatic semantics - situational semantics - structural semantics
Англо-Русский научно-технический словарь

Американский Англо-Русский словарь

← FORMAL METHODS FORMAL SYSTEM→