Resultados de la búsqueda

En [[matemática]] e [[informática teórica]], la definición más amplia y más abstracta de una '''enumeración''' de un [[Categoría:Informática teórica]] …

[[Categoría:Informática cuántica]] [[Categoría:Informática teórica]] …

…omún a dos expresiones simbólicas dadas. Al igual que en la [[Unificación (informática)|unificación]], se distinguen varios marcos de trabajo dependiendo de qué… La anti-unificación no debe confundirse con la [[Desunificación (informática)|desunificación]]. Esto último significa el proceso de resolver sistemas de …

…tica, en general. Su trabajo fue influyente para distinguir la informática teórica de las disciplinas de las matemáticas y la ingeniería eléctrica. …más de 100 artículos y tres libros sobre diversos temas de la informática teórica. …

…s, incluyendo [[lógica]], [[lingüística]], [[matemáticas]] e [[informática teórica]]. El lenguaje usado para hablar de un lenguaje objeto se denomina [[metale …objeto del metalenguaje en el que su [[especificiación]] está escrita. En informática esto se refiere como el [[lenguaje de especificación]]. La [[notación de Ba …

[[Categoría:Informática teórica]] …

[[Categoría:Informática teórica]] …

…s '''ciencias de la computación teórica''' o '''ciencias de la informática teórica''' ('''TCS''') es una división o un subconjunto de las [[ciencias de la com …] describe a su misión como la promoción de las ciencias de la computación teórica y nota:<ref>{{cita web | título = SIGACT | url = http://sigact.acm.org |… …

En [[ciencia computacional teórica]], un '''problema computacional''' o '''problema abstracto''' es una [[Rela [[Categoría:Informática teórica]] …

[[Categoría:Informática teórica]] …

[[Categoría:Informática teórica]] …

…de hipercomputación consisten en formas alternativas de leer un [[Oráculo (informática)|oráculo]] o una función de asesoramiento integrada en una máquina clásica. [[Categoría:Informática teórica]] …

…on Problem | journal=[[ Theoretical Computer Science (revista)|Informática Teórica]] | volumen=13 | páginas=225–230 | año=1981 }}</ref><ref>{{cite book |last= …

…keley.edu/~luca/pubs/addcomb-sigact.pdf Combinatoria Aditiva e Informática Teórica] {{Wayback|url=http://www.cs.berkeley.edu/~luca/pubs/addcomb-sigact.pdf |da …s-and-computer-science/ Conexiones más tempranas de combinatoria aditiva e informática], Luca Trevisan …

…tituto de Tecnología de Georgia]]. Ha trabajado en [[ciencia computacional teórica]], [[criptografía]] y [[computación basada en ADN]]. …|Academia Nacional de Ingeniería]] por la aplicación práctica de la teoría informática. …

…s, '''también se sospecha si se ajusta demasiado bien''' a la distribución teórica (<math>p</math>-valor <math>\geq 1-\alpha</math>). * La distribución del estadístico debería ajustarse a la teórica bajo <math>H_0</math>(se podría realizar un nuevo contraste de bondad de aj …

En [[matemáticas]], especialmente en [[ciencia computacional teórica]] y [[lógica matemática]], los números '''computables''' o '''recursivos''' [[Categoría:Informática teórica]] …

…estigación interdisciplinar, situada entre la [[mecánica cuántica]] y la [[informática]], que suma esfuerzos para combinar la [[mecánica cuántica]] y el [[aprendi [[Categoría:Informática cuántica]] …

…atovic|Miomir Vukobratović]] en el Tercer Congreso de la Unión de Mecánica Teórica y Aplicada en [[Moscú]]. En los siguientes trabajos y documentos que se pro …so Pámanes G.,Víctor Santibáñez . Revista Iberoamericana de Automática e [[Informática]] industrial 12 (2015) 408–418 …

[[Categoría:Informática teórica]] …