21 Übersetzungen
Neue Wörterbuch-Abfrage: Einfach jetzt tippen!
Anwendungsbeispiele Russisch
- «каскадные таблицы стилей») — формальный язык описания внешнего вида документа (веб-страницы), написанного с использованием языка разметки (чаще всего HTML или XHTML).
- Вместе с химическими формулами, схемами и уравнениями химических реакций образуют формальный язык химии — систему условных обозначений и понятий, предназначенную для краткой, ёмкой и наглядной записи и передачи химической информации.
- Художественное наследие Густава Климта объединяет несколько совершенно разных стилей: отстранённый и в то же время чувственный формальный язык историзма, символизм красок и линий раннего сецессиона, монументальную строгость и богатую орнаментальность «золотого периода» и раскованность цветов и кисти зрелого художника.
- ... , CSP) — формальный язык для описания моделей взаимодействия в параллельных системах, Limbo, Go.
- Формальный язык (ФЯ) — организованная совокупность элементов, основная особенность которых в том, что они могут быть точно определены в терминах их формы и местоположения (вхождения). В этом случае язык поддается определению без какого-либо обращения к содержательным значениям его выражений, то есть он может быть фиксирован прежде чем для него назначена какая-либо интерпретация (определен некоторый смысл). Логика первого порядка выразима на таком формальном языке. Формальная грамматика определяет, какие элементы и последовательности элементов являются формулами этого языка.
- Теория Ловера позволяет интерпретировать аксиоматические теории множеств как частные случаи категорий, поэтому построенный им формальный язык может претендовать на право считаться альтернативным языком математики.
- Уче́бный алгоритми́ческий язы́к — формальный язык, используемый для записи, реализации и изучения алгоритмов.
- Формальный язык может быть задан без какой-либо интерпретации. Это достигается заданием множества символов (также называемого алфавитом) и множества правил вывода (также называемого формальной грамматикой), которые определяют, какие строки символов являются правильно построенными формулами. При добавлении правил преобразования и принятии некоторых предложений за аксиомы (что вместе называется дедуктивной системой), формируется логическая система. Интерпретация — это задание смысла её символам и значений истинности её предложениям.
- ... , произносится /zɛd/) — формальный язык спецификации, используемый для описания и моделирования программ и их формальной верификации.
- Альфред Тарский пытался с помощью своей логико-математической теории переформулировать парадокс с бытового языка на некий формальный язык, имеющий однозначную логическую структуру.
- Язы́к программи́рования — формальный язык, предназначенный для записи компьютерных программ.
- Математика изучает воображаемые, идеальные объекты и соотношения между ними, используя формальный язык.
- Исчисление взаимодействующих систем ([...] , CCS, исчисление общающихся систем) в информатике — исчисление процессов, разработанное Робином Милнером в 1980 году. Исчисление работает с моделью неразделяемых коммуникаций между ровно двумя участниками. Формальный язык включает примитивы для описания параллельной композиции, выбора между действиями и рамки ограничений. CCS полезен для оценки качественной корректности свойств таких как взаимная блокировка или «живая блокировка».
- Важно, чтобы существовал некоторый формальный язык в конечном алфавите описания элементов множества [...] и чтобы задача распознавания корректных описаний была вычислима.
© dict.cc Russian-German dictionary 2025
Enthält Übersetzungen von der TU Chemnitz sowie aus Mr Honey's Business Dictionary (nur Englisch/Deutsch).
Links auf das Wörterbuch oder auch auf einzelne Übersetzungen sind immer herzlich willkommen!