semántica
51Mario Alinei — (born 1926, Turin) is Professor Emeritus at the University of Utrecht, where he taught from 1959 to 1987, currently living in Impruneta, Italy. He is founder and editor of Quaderni di semantica, a journal of theoretical and applied semantics.… …
52Lógica de primer orden — La lógica de primer orden, también llamada lógica de predicados o cálculo de predicados, es un sistema formal diseñado para estudiar la inferencia en los lenguajes de primer orden.[1] Los lenguajes de primer orden son, a su vez, lenguajes… …
53Lenguaje de programación — Captura de la microcomputadora Commodore PET 32 mostrando un programa en el lenguaje de programación BASIC, bajo el emulador VICE en una distribución GNU/Linux. Un lenguaje de programación es un idioma artificial diseñado para expresar… …
54Lógica modal — Una lógica modal es un sistema formal que intenta capturar el comportamiento deductivo de algún grupo de operadores modales.[1] Los operadores modales son expresiones que califican la verdad de los juicios.[1] Por ejemplo, en la oración es… …
55Mario Bunge — Nombre Mario Bunge …
56Semantic Research — Infobox Company company name = Semantic Research, Inc. company logo = company type = Private company slogan = I see what you re thinking foundation = 2001 location = 4922 North Harbor Drive San Diego CA key people = Richard T. Chip Harrison, CEO… …
57Verdad — Artículo principal: Conocimiento El significado de la palabra verdad abarca desde la honestidad, la buena fe y la sinceridad humana en general, hasta el acuerdo de los conocimientos con las cosas que se afirman como realidades: los hechos o la… …
58Compilador de computador — El estilo de esta traducción aún no ha sido revisado por terceros. Si eres hispanohablante nativo y no has participado en esta traducción puedes colaborar revisando y adaptando el estilo de ésta u otras traducciones ya acabadas. Un Compilador de… …
59Michael Metzeltin — (* 8. Juli 1943 in Sorengo, Schweiz) ist ein in Österreich lebender romanistischer Philologe. Er ist ordentlicher Universitätsprofessor für Romanistik an der Universität Wien und wirkliches Mitglied der Österreichischen Akademie der… …
60Consulta de imágenes mediante ejemplo — La Consulta de imágenes mediante ejemplo (Content based Image Retrieval) es un sistema de búsqueda para recuperar imágenes basándose en su contenido, refiriéndose en su contexto a colores,figuras , texturas o cualquier otra información que pueda… …
