Ciencias de la Computación

21
¿Por qué es este código únicamente decodificable?

Alfabeto fuente: { a , b , c , d, e , f}{a,b,c,d,e,f}\{a, b, c, d, e, f\} Alfabeto de código: { 0 , 1 }{0,1}\{0, 1\} a : 0101a:0101a\colon 0101 b : 1001b:1001b\colon 1001 c : 10c:10c\colon 10 re: 000d:000d\colon 000 e : 11e:11e\colon 11 F: 100f:100f\colon 100 Pensé que para que un código fuera...

20
Ratio de problemas decidibles

Considere los problemas de decisión establecidos en un lenguaje formal "razonable". Digamos fórmulas en aritmética de Peano de orden superior con una variable libre como marco de referencia, pero estoy igualmente interesado en otros modelos de cómputo: ecuaciones de diofantina, problemas de...

20
Camino a los métodos formales

No es raro ver a los estudiantes comenzando sus doctorados con una formación limitada en matemáticas y los aspectos formales de la informática. Obviamente, será muy difícil para tales estudiantes convertirse en científicos teóricos de la computación, pero sería bueno si pudieran aprender a usar...