proginternet.com » Ciencias de la Computacion http://proginternet.com/blog Programacion Internet Mon, 09 Aug 2010 22:06:06 +0000 http://wordpress.org/?v=2.9.2 en hourly 1 Complejidad Computacional http://proginternet.com/blog/index.php/2008/05/31/comlejidad-computacional/ http://proginternet.com/blog/index.php/2008/05/31/comlejidad-computacional/#comments Sat, 31 May 2008 17:05:25 +0000 administrador http://proginternet.com/blog/index.php/2008/05/31/comlejidad-computacional/ La complidad computacional es un area de las Ciencias de la Computacion
que estudia el usos de los recursos para resolver un problema durante el calculo de los algoritmos respectivos.

Los 2 recursos principalmente analizados son:Publicar entrada

  1. Tiempo
  2. Espacio (memoria)

En la actualidad las computadoras resuelven a lo sumo problemas que tienen complejidad Polinomica (Ver Ciencias de la Computacion – Complejidad)
Los problemas que no se resuelven con nuestras computadoras actuales ( no se podrian resolver en un tiempo adecuado), poseen una complejidad del Tipo Factorial o Exponencial

Fuente: Aprender Programacion

Originalmente escrito en CienciasdelaComputacion ProgInternet.com

Tags:

]]> http://proginternet.com/blog/index.php/2008/05/31/comlejidad-computacional/feed/ 0 Maquina de Turing Funcionamiento http://proginternet.com/blog/index.php/2008/05/27/maquina-de-turing-funcionamiento/ http://proginternet.com/blog/index.php/2008/05/27/maquina-de-turing-funcionamiento/#comments Tue, 27 May 2008 19:34:30 +0000 administrador http://proginternet.com/blog/index.php/2008/05/27/maquina-de-turing-funcionamiento/ Maquina de TuringDescripcion de la maquina de Turing.

La idea de la maquina funcion con un Cabeza de Lectura y Escritura que lee una cinta infinita.

Cada vez que lee, borrar el contenido anterior, escribe un nuevo contenido, para luego Avanzar un lugar hacia la izquierda o Derecha.

Con esta maquina se puede realizar cualquier computo de las maquinas computadoras actuales

La maquina de Turing puede considerarse un automata capaz de leer lenguajes formales (es un conjunto de palabras (Palabras son cadenas de caracteres) de longitud finita que se forman a partir de un alfabeto (_Conjunto de caracteres) finito.

Definicion de una maquina de Turing de una sola cinta :una 6- tuplaM=(Q, \Gamma, s, b, F, \delta)\,,

  • Q \, es un conjunto finito de estados.
  • \Gamma \, El alafabeto de la cinta, un conjunto finito de símbolos de cinta
  • s \in Q Estado Incial.
  • b \in \Gamma Ssímbolo denominado blanco.
  • F \subseteq Q es el conjunto de estados finales de aceptación.
  • \delta: Q \times \Gamma \rightarrow Q \times \Gamma \times \{L,R\}\, función de transición, donde L es un movimiento a la izquierda y R es el movimiento a la derecha.

Originalmente escrito en CienciasdelaComputacion ProgInternet.com

Tags:

]]> http://proginternet.com/blog/index.php/2008/05/27/maquina-de-turing-funcionamiento/feed/ 0 Computacion, automatas, complejidad y computabilidad http://proginternet.com/blog/index.php/2008/05/26/computacion-automatas-complejidad-y-computabilidad/ http://proginternet.com/blog/index.php/2008/05/26/computacion-automatas-complejidad-y-computabilidad/#comments Mon, 26 May 2008 08:43:00 +0000 administrador http://proginternet.com/blog/index.php/2008/05/26/computacion-automatas-complejidad-y-computabilidad/ El campo de la Teoría de la computación en Ciencias de la computacion involucra las subareas de

  1. Teoría de la computación
  2. Teoría de autómatas: estudia matemáticamente máquinas abstractas y problemas que éstas son capaces de resolver
  3. Teoria de la computabilidad: estudia los problemas de decisión que pueden ser resueltos con un algoritmo o equivalentemente con una máquina de Turing.
  4. Teoría de la complejidad computacional: Estudia teoricamente los recursos requeridos durante el cálculo para resolver un problema (tiempo y espacio)

Originalmente escrito en admin ProgInternet.com

Tags: ,

]]> http://proginternet.com/blog/index.php/2008/05/26/computacion-automatas-complejidad-y-computabilidad/feed/ 0 Criptografia, grafos, logica y tipos http://proginternet.com/blog/index.php/2008/05/24/criptografia-grafos-logica-y-tipos/ http://proginternet.com/blog/index.php/2008/05/24/criptografia-grafos-logica-y-tipos/#comments Sat, 24 May 2008 08:37:00 +0000 administrador http://proginternet.com/blog/index.php/2008/05/24/criptografia-grafos-logica-y-tipos/ El campo de los Fundamentos matemáticos de las Ciencias de la Computacion involucra la criptografia, teoria de grafos, logica y teoria de tipos

  1. Criptografía: Algoritmos de proteccion de datos privados y cifrado de informacion
  2. Teoria de grafos: Estructuras de almacenamiento de datos y algoritmos de busqeda (problemas como del viajante, o la mejor ruta son clasicos en la tematica)
  3. Logica matemática: Se divide en cuatro subcampos: teoría de modelos, teoría de la demostración, teoría de conjuntos y teoría de la recursión.
  4. Teoria de tipos: Estudio y analisis sobre los tipos de datos y u aplicacion en las propiedades de los programas y su seguridad

Originalmente escrito en admin ProgInternet.com

Tags: , ,

]]> http://proginternet.com/blog/index.php/2008/05/24/criptografia-grafos-logica-y-tipos/feed/ 0 Campos de Estudio de las Ciencias de la Computacion http://proginternet.com/blog/index.php/2008/05/22/campos-de-estudio-de-las-ciencias-de-la-computacion/ http://proginternet.com/blog/index.php/2008/05/22/campos-de-estudio-de-las-ciencias-de-la-computacion/#comments Thu, 22 May 2008 08:29:00 +0000 administrador http://proginternet.com/blog/index.php/2008/05/22/campos-de-estudio-de-las-ciencias-de-la-computacion/ Campos de Estudio de las Ciencias de la Computacion

  • Fundamentos matemáticos
  • Teoría de la computación
  • Algoritmos y estructuras de datos
  • Lenguajes de programación y compiladores
  • Bases de datos
  • Sistemas concurrentes, paralelos y distribuidos
  • Inteligencia artificial
  • Gráficos por computador
  • Computación científica

Originalmente escrito en admin ProgInternet.com

Tags:

]]> http://proginternet.com/blog/index.php/2008/05/22/campos-de-estudio-de-las-ciencias-de-la-computacion/feed/ 0 Logros de las Ciencias de la Computacion http://proginternet.com/blog/index.php/2008/05/19/logros-de-las-ciencias-de-la-computacion/ http://proginternet.com/blog/index.php/2008/05/19/logros-de-las-ciencias-de-la-computacion/#comments Mon, 19 May 2008 06:34:00 +0000 administrador http://proginternet.com/blog/index.php/2008/05/19/logros-de-las-ciencias-de-la-computacion/ Logros de las Ciencias de la Computacion:
Contribuciones fundamentales a la ciencia y la sociedad.

  • Definición formal de computación y de computabilidad
  • Demostración de que existen problemas a los que no hay una solución computacional y problemas intratables.
  • Concepto de lenguaje de programación, una herramienta para la expresión precisa de información metodológica con diferentes niveles de abstracción
  • Tecnologías revolucionarias: computadoras de uso general, Internet, firmas digitales, comercio electrónico y los motores de búsqueda
  • Nuevas formas de investigación científica: Física computacional Química computacional

Originalmente escrito en admin ProgInternet.com

Tags:

]]> http://proginternet.com/blog/index.php/2008/05/19/logros-de-las-ciencias-de-la-computacion/feed/ 0 La dificultad de pensar algoritmicamente http://proginternet.com/blog/index.php/2006/10/05/la-dificultad-de-pensar-algoritmicamente/ http://proginternet.com/blog/index.php/2006/10/05/la-dificultad-de-pensar-algoritmicamente/#comments Thu, 05 Oct 2006 23:18:00 +0000 administrador http://proginternet.com.ar/blog/?p=25 Ya sentamos las base de la programacion. Poder pensar en forma de algoritmos, en formas de pequeños pasos que nos lleven a la solucion de un gran problema.
Si se quiere llegar a ser un buen programador debe intentarse este esfuerzo en cualquier actividad cotidiana.

Original post by admin and software by Elliott Back

]]> http://proginternet.com/blog/index.php/2006/10/05/la-dificultad-de-pensar-algoritmicamente/feed/ 0