Resultados de la búsqueda
Ir a la navegación
Ir a la búsqueda
- Ya que lenguajes básicos como C, C ++, Java, etc. tienen operaciones como asignaciones de va …[[Semántica de lenguajes de programación|las]] diferencias [[Semántica de lenguajes de programación|semánticas]] que existe entre ellos. …13 kB (2112 palabras) - 16:18 5 mar 2024
- [[Categoría:Lenguajes de marcado]] [[Categoría:Lenguajes interpretados]] …11 kB (1704 palabras) - 12:37 22 ene 2024
- * Herramientas para la generación de códigos en lenguajes [[C (lenguaje de programación)|C]], [[C++]], [[Fortran]], [[Java (lenguaje [[Categoría:Lenguajes interpretados]] …12 kB (1922 palabras) - 21:44 10 mar 2025
- [[Categoría:Lenguajes interpretados]] …13 kB (1888 palabras) - 16:36 18 ene 2025
- …lógicas descriptivas''' (DL por ''description logics'') son una familia de lenguajes de [[representación del conocimiento]] que pueden ser usados para represent …es de esto se llamaba (cronológicamente): ''sistemas terminológicos'', y ''lenguajes de conceptos''. …25 kB (3991 palabras) - 16:37 29 abr 2024
- …diciembre de 2012}}</ref> compara la eficiencia entre una gran variedad de lenguajes sobre la implementación de problemas típicos de programación. Se utilizan benchmarks para medir el uso de un algoritmo. Muchos lenguajes de programación presentan funciones para medir el tiempo de uso del procesa …25 kB (3877 palabras) - 10:33 29 ene 2025
- …ensamiento» o «permitido que sea expresado el propio pensamiento». Algunos lenguajes deónticos más complejos pueden expresar rigurosamente nociones asociadas,… * ¿La lógica deóntica es una simple [[lógica modal]] cuyos operadores son interpretados en términos de obligaciones, permisos y prohibiciones? ¿O, por el contrario …13 kB (2106 palabras) - 16:55 30 jun 2024
- …equipo de Lille enriquecieron el marco dialógico con lenguajes totalmente interpretados de la Teoría constructiva de tipos (CTT) de Per Martin-Löf. …diálogos materiales (es decir, diálogos basados en lenguajes completamente interpretados) que los diálogos restringidos a la validez lógica.<ref group="nota">Esto… …43 kB (6686 palabras) - 18:24 20 feb 2025