Що таке FORMAL LANGUAGE Українською - Українська переклад

• формальна мова
• офіційну мову
• формальній мові
• формальну мову
• формальною мовою

Приклади вживання Formal language Англійська мовою та їх переклад на Українською

Programming is a constructed, formal language.
Програмування- це видумана, формальна мова.

Remember to use formal language and polite forms of address.
Пам'ятайте про формальну мову і ввічливі фрази.

Nor can they be translated into formal language.
Вони також не можуть бути перекладені на формальну мову.

Its formal language also must bear witness to a similar origin.
Його формальний мова також повинна свідчити про подібний джерелі.

Mechanism of calculations based on the formal language of block diagrams.
Механізм обчислень ґрунтується на формальній мові блокових схем.

A formal language can be defined apart from any interpretation of it.
Формальна мова може бути задана без будь-якої інтерпретації.

The mechanism of calculations based on the formal language of block circuits(functional blocks).
Механізм обчислень ґрунтується на формальній мові блокових схем(функціональних блоків).

A formal language can be thought of as identical to the set of its well-formed formulas.
Офіційну мову можна розглядати як ідентичну набору правильних формул.

Mathematics studies the imaginary, perfect items and relations among them utilising the formal language.
Математика вивчає уявні, ідеальні об'єкти і співвідношення між ними, використовуючи формальну мову.

Spanish was the formal language of these nations apart from the US.
Іспанська мова є офіційною мовою у всіх цих країнах, окрім Сполучених Штатів.

Many of the commonly studied interpretations associate each sentence in a formal language with a single truth value, either True or False.
Багато з широко вивчених інтерпретацій асоціюють кожне речення на формальній мові з одним значенням істини: істинним або хибним.

A formal language can be thought of as identical to the set of its well-formed formulas.
Формальну мову можна розглядати, як тотожну набору його добре сформованих формул.

In computational complexity theory, the formal language corresponding to the prime numbers is denoted as PRIMES.
У теорії складності обчислень, формальну мову, яка відповідає простим числам, позначають PRIMES.

A formal language is expressively complete if it can express the subject matter for which it is intended.
Формальна мова- це виразно повна, якщо вона може висловити предмет, для якого вона призначена.

They showed a greater feeling for proportion and used a simpler formal language then the first generation of Romanists.[3].
Вони виявили більше почуття пропорції та використовували простішу офіційну мову, ніж перше покоління романістів.[3].

To make the formal language precise, a specific set of propositional symbols must be fixed.
Щоб зробити формальну мову точніше, конкретний набір пропозиційних символів повинен бути закріплений.

Technical translations are based on a logical and formal style, defined by a formal language, lack of emotionality and impartiality.
Технічні переклади засновані на логічному і формальному стилі, що визначається формальною мовою, відсутністю емоційності і безпристрасністю.

Automata theory and formal language theory are closely related to computability.
Теорія автоматів і теорія формальної мови близько пов'язані з обчислюваністю.

Mathematical objects are created by the idealization of property of real or other mathematical objects and describing these properties in a formal language.
Математичні об'єкти створюються шляхом ідеалізації властивостей реальних чи інших математичних об'єктів і запису цих властивостей на формальній мові.

The emphasis is on the formal language and performative nature of these annual rituals.
Наголос зроблено на формальній мові та перформативності цих щорічних ритуалів.

Formal language- in mathematical logic and computer science-a set of finite words(strings, chains) over a finite alphabet.
Формальна мова- в математичній логіці і інформатики-безліч кінцевих слів(рядків, ланцюжків) над кінцевим алфавітом.

The subset of strings for which the problem returns"yes" is a formal language, and often decision problems are defined in this way as formal languages..
Підмножина рядків, для яких проблема повертає"так" є формальною мовою, часто вирішення проблеми визначаються таким чином, як формальні мови..

The exact formal language that is used to describe both premises and conclusions depends on the actual context of the derivations.
Точна формальна мова, що використовується для опису як передумов, так і висновків, залежить від фактичного контексту висновувань.

The emphasis is on the formal language and performative nature of these annual rituals.
Наголос зроблений на формальну мову та перформативність цих щорічних ритуалів.

The formal language for classical propositional logic can be expressed using just negation(¬), implication(→) and propositional symbols.
Формальну мову класичної логіки висловлень може бути виражено з використанням лише заперечення(¬), імплікації(→) та символів висловлень.

The set of formal symbols in a formal language is referred to as an alphabet(hence each symbol may be referred to as a"letter").
Група формальних символів в формальній мові називається алфавітом(отже, кожен символ може бути названий як«буква»)[1].

A formula of a formal language is a valid formula if and only if it is true under every possible interpretation of the language..
Формула на формальній мові є чинною тоді і тільки тоді, коли вона істинна під кожним можливим мовним тлумаченням.

The only non-logical symbols in a formal language for propositional logic are the propositional symbols, which are often denoted by capital letters.
Тільки нелогічні символи на формальній мові для логіки висловлювань є пропозиційними символами, які часто позначаються великими літерами.

Contextual Query Language(CQL) a formal language for representing queries to information retrieval systems such as web indexes or bibliographic catalogues.
Common Query Language(CQL)- формальна мова для подання запитів до систем інформаційного пошуку, таких як веб-індекси та бібліографічні каталоги.