Cálculo pi

En la ciencia de computación teórica, el cálculo pi (o π-cálculo) es una notación desarrollada originalmente por Robin Milner, Joachim Parrow y David Walker, como un avance sobre el cálculo de sistemas comunicantes con el fin de proveer movilidad al modelado concurrente.

4 relaciones: Cálculo de sistemas comunicantes, Cálculo lambda, Lenguaje de programación, Robin Milner.

Cálculo de sistemas comunicantes

El cálculo de sistemas comunicantes o CCS es un lenguaje de especificación formal basado en el álgebra de procesos, para la especificación y modelado de sistemas discretos comunicantes.

¡Nuevo!!: Cálculo pi y Cálculo de sistemas comunicantes · Ver más »

Cálculo lambda

En lógica matemática, el cálculo lambda es un sistema formal diseñado para investigar la definición de función, la noción de aplicación de funciones y la recursión.

¡Nuevo!!: Cálculo pi y Cálculo lambda · Ver más »

Lenguaje de programación

Un lenguaje de programación es un lenguaje formal (o artificial, es decir, un lenguaje con reglas gramaticales bien definidas) que proporciona a una persona, en este caso el programador, la capacidad y habilidad de escribir (o programar) una serie de instrucciones o secuencias de órdenes en forma de algoritmos con el fin de controlar el comportamiento físico o lógico de un sistema informático, para que de esa manera se puedan obtener diversas clases de datos o ejecutar determinadas tareas.

¡Nuevo!!: Cálculo pi y Lenguaje de programación · Ver más »

Robin Milner

Robin Milner, (Plymouth, 13 de enero de 1934 - Cambridge, 20 de marzo de 2010).

¡Nuevo!!: Cálculo pi y Robin Milner · Ver más »

Redirecciona aquí:

Calculo Pi, Calculo pi, Cálculo Pi, Cálculo-π, Π-cálculo.

Unionpedia es un mapa conceptual o red semántica organizado en forma de enciclopedia – diccionario. Otorga una breve definición de cada concepto y las de todos sus relacionados.

Es un mapa mental online gigante que sirve como base para crear diagramas de conceptos, cuadros sinópticos o de síntesis. Es gratuito – gratis, de uso libre y cada artículo o documento se puede descargar. Es una herramienta, recurso o referencia de estudio, investigación, para la educación, aprendizaje o enseñanza, que pueden utilizar docentes, maestros, profesores, educadores, alumnos o estudiantes; para el mundo académico o escolar: para la escuela, primaria, secundaria, media, colegio, tecnicatura, facultad, universidad, carreras de grado, maestrías o doctorados; para trabajos, informes, monografías, proyectos, ideas, documentación, resúmenes, relevamientos o tesis. Aquí aparece la definición, explicación, descripción, o el significado de cada significante sobre el que necesites información, y una lista o listado de sus conceptos asociados en forma de glosario. Disponible en español, inglés, portugués, japonés, chino, francés, alemán, italiano, polaco, holandés, ruso, árabe, hindi, sueco, ucraniano, húngaro, catalán, checo, hebreo, danés, finlandés, indonesio, noruego, rumano, turco, vietnamita, coreano, tailandés, griego, búlgaro, croata, eslovaco, lituano, filipino, letón, estonio y esloveno. Más idiomas próximamente.

Toda la información fue extraída de Wikipedia, y está disponible bajo la Licencia Creative Commons Atribución Compartir Igual 3.0.

Unionpedia no está respaldada por ni afiliada a la Fundación Wikimedia.

Google Play, Android y el logotipo de Google Play son marcas comerciales de Google Inc.

Política de privacidad