Significado de "семантический" en el diccionario de ruso

PRONUNCIACIÓN DE СЕМАНТИЧЕСКИЙ EN RUSO

семантический  [semanticheskiy]

QUÉ SIGNIFICA СЕМАНТИЧЕСКИЙ EN RUSO

Semántica (programación)

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

La semántica en la programación es una disciplina que estudia la formalización de construcciones de lenguaje de programación mediante la construcción de sus modelos matemáticos formales. Varias herramientas se pueden usar como herramientas para construir tales modelos, por ejemplo, lógica matemática, cálculo λ, teoría de conjuntos, teoría de categorías, teoría de modelos, álgebra universal. La formalización de la semántica del lenguaje de programación se puede utilizar tanto para describir el lenguaje como para determinar las propiedades del lenguaje y para fines de verificación formal de programas en este lenguaje de programación.

Сема́нтика в программировании — дисциплина, изучающая формализации значений конструкций языков программирования посредством построения их формальных математических моделей. В качестве инструментов построения таких моделей могут использоваться различные средства, например, математическая логика, λ-исчисление, теория множеств, теория категорий, теория моделей, универсальная алгебра. Формализация семантики языка программирования может использоваться как для описания языка, определения свойств языка, так и для целей формальной верификации программ на этом языке программирования.

definición de семантический en el diccionario ruso

Adjetivo SEMÁNTICO 1) ver la semántica asociada a él. 2) Es inherente a la semántica, característica de ella. 3) Perteneciente a la semántica.

СЕМАНТИЧЕСКИЙ прилагательное 1) см. семантика, связанный с ним. 2) Свойственный семантике, характерный для нее. 3) Принадлежащий семантике.

TRADUCCIÓN DE СЕМАНТИЧЕСКИЙ

Conoce la traducción de семантический a 25 idiomas con nuestro traductor multilingüe.

Las traducciones de семантический presentadas en esta sección han sido obtenidas mediante traducción automática estadística a partir del idioma ruso.

• Traductor ruso - chino: 语义
• Traductor ruso - español: semántico
• Traductor ruso - inglés: semantic
• Traductor ruso - hindi: अर्थ
• Traductor ruso - árabe: دلالات الألفاظ
• ruso: семантический
• Traductor ruso - portugués: semântico
• Traductor ruso - bengalí: শব্দার্থিক
• Traductor ruso - francés: sémantique
• Traductor ruso - malayo: Semantik
• Traductor ruso - alemán: semantisch
• Traductor ruso - japonés: セマンティック
• Traductor ruso - coreano: 의미의
• Traductor ruso - javanés: semantik
• Traductor ruso - vietnamita: ngữ nghĩa
• Traductor ruso - tamil: சொற்பொருள்
• Traductor ruso - maratí: शब्दार्थासंबंधीचा
• Traductor ruso - turco: anlamsal
• Traductor ruso - italiano: semantico
• Traductor ruso - polaco: semantyczny
• Traductor ruso - ucraniano: семантичний
• Traductor ruso - rumano: semantic
• Traductor ruso - griego: σημασιολογικός
• Traductor ruso - afrikáans: semantiese
• Traductor ruso - sueco: semantiska
• Traductor ruso - noruego: semantiske

2 LIBROS DEL RUSO RELACIONADOS CON «СЕМАНТИЧЕСКИЙ»

Descubre el uso de семантический en la siguiente selección bibliográfica. Libros relacionados con семантический y pequeños extractos de los mismos para contextualizar su uso en la literatura.

Семантический язык фольклорной традиции: - Страница 19

Пётр Червинский. вое, способное любить, жизнь с которым будет сладка и приятна». Не всё одновременно и не всё так прямо проявляется в фольклоре. Не всё возможно вывести с достаточной определенностью. Однако ...

Пётр Червинский, 2015

Русская фразеология. Семантический, прагматический и ...

ча, отмечавшего, что 4междУ Расчленеьшем семантической структуры на семантические единицы (элементы) и звуковым анализом лежит пропасть, которая дает возможность осознать, насколько глубоки различия между ...

Вероника Телия, 2013

10 NOTICIAS EN LAS QUE SE INCLUYE EL TÉRMINO «СЕМАНТИЧЕСКИЙ»

Conoce de qué se habla en los medios de comunicación nacionales e internacionales y cómo se emplea el término семантический en el contexto de las siguientes noticias.

Big Data: семантический анализ данных и машинное обучение

18 сентября Rusbase совместно с Global Innovations Lab провели конференцию ICBDA 2015. Публикуем презентации выступлений спикеров. В данном ... «http://rusbase.com/, Sep 15»

В России сделали первый чип для мобильной техники

Семантический процессор VIP-1, который может составить конкуренцию другому российскому процессору - "Эльбрусу", производитель планирует ... «Вести Экономика, Abr 15»

Pubcon 2014: Семантический поиск, Сеть знаний и другие …

В рамках юбилейной 15-й конференции Pubcon Las Vegas 2014 состоялась секция «Семантический поиск, Сеть знаний и другие изменения в SERP» ... «Searchengines.ru, Oct 14»

Распознавание как сервис: зачем миру когнитивные приложения

Семнадцатого мая 2001 года в журнале «Scientific American» была опубликована программная статья «Семантический веб», в которой господин ... «Компьютерра-Онлайн, Dic 13»

Геннадий Осипов Как оценить научные тексты

Семантический образ двух фраз: "Пушкин любил этот дом. В нем он провел свое детство", построенный автоматически системой Exactus Expert. «Полит.ру, Oct 13»

Математики назвали 10 основных запахов

Основой классификации стал стандартный семантический Атлас запахов, в котором разным веществам сопоставлены разные описания. Этот атлас ... «Lenta.ru, Sep 13»

SemanticForce запускает инновационный механизм анализа и …

И отметим, что мы видим семантический навигатор как цельную платформу по визуализации Big Data и открыты для сотрудничества со СМИ, ... «AIN.UA, Dic 12»

Послание Федеральному Собранию: цели и задачи на шесть …

Мы провели семантический анализ текста выступления Президента. И вот, что получилось. Выступление состояло из почти 68 тысяч символов (67 920) ... «Вести.Ru, Dic 12»

Google открывает россиянам "Сеть знаний" - семантический …

Поисковая система Google в среду запускает на русском языке инструмент семантического поиска Knowledge Graph (в русской версии "Сеть знаний"), ... «NEWSru.com, Dic 12»

Web 3.0: приоритеты меняются

Следующим поколением Сети, Web 3.0, назывался Семантический веб -- формирование стандартизованных онтологических баз знаний, наполнение ... «PC Week/RE, May 12»