What is the translation of " THEORY OF COMPUTATION " in Spanish?

• teoría de la computación

Examples of using Theory of computation in English and their translations into Spanish

Introduction to the Theory of Computation.
Introducción a la teoría de la computación.

The theory of computation had been developed, theory of recursive functions.
Se había desarrollado la teoría de la computación, la teoría de las funciones recursivas.

Latin American Symposium of Theory of Computation.
Simposio Latinoamericano de Teoría Computacional.

Basic knowledges of the theory of computation: automata, grammars, Turing machines, decidibilitat, complexity.
Conocimientos de la teoría de la computación básicos: autómatas, gramáticas, máquinas de Turing, decidibilidad, complejidad.

According to him, Fodor and Pylyshyn require some sort of syntactic constraint on their theory of computation.
Según él, Fodor y Pylyshyn requieren algún tipo de restricción sintáctica en su teoría de la computación.

Introduction to the Theory of Computation 2nd ed.
Introducción a la Teoría de la Computación 2.ª edición.

Turing machines are to this day a central object of study in theory of computation.
Las máquinas de Turing siguen siendo el objeto central de estudio en la teoría de la computación.

Majors take courses in the theory of computation and analysis of algorithms.
Los mayores toman cursos en la teoría de cómputo y análisis de algoritmos.

The famous P NP? problem, one of the Millennium Prize Problems, is an open problem in the theory of computation.
El famoso problema"¿P=NP?" es uno de los Problemas del milenio, es un problema abierto en ciencias de la computación.

Martin-Löf's key insight was to use the theory of computation to define formally the notion of a test for randomness.
Idea clave Martin-Löf era utilizar la teoría de la computación para definir formalmente la noción de una prueba de aleatoriedad.

Its main research area is the computational geometry, which is a discipline between the Mathematics and the Theory of Computation.
Su área principal de actuación es la geometría computacional, disciplina a caballo entre las matemáticas y la informática teórica.

In the theory of computation, a Mealy machine is a finite-state machine whose output values are determined both by its current state and the current inputs.
En la teoría de la computación, una Máquina de Mealy es un tipo de máquina de estados finitos que genera una salida basándose en su estado actual y una entrada.

It is important because NFAs can be used to reduce the complexity of the mathematical work required to establish many important properties in the theory of computation.
También es importante porque el AFND se puede utilizar para reducir la complejidad del trabajo matemático necesario para establecer muchas propiedades importantes en la teoría de la computación.

In the theory of computation, abstract machines are often used in thought experiments regarding computability or to analyze the complexity of algorithms see computational complexity theory..
En la teoría de la computación, las máquinas abstractas con frecuencia son usadas en experimentos de pensamiento sobre computabilidad o para analizar la complejidad de algoritmos ver la teoría de la complejidad computacional.

He is well known for his work in randomness in computing, algorithmic complexity and intractability, average-case complexity, foundations of mathematics and computer science, algorithmic probability, theory of computation, and information theory..
Es muy conocido por su trabajo en la computación aleatoria, en la complejidad de los algorítmicos, en los fundamentos de las matemáticas e informática, en la teoría del cómputo y en la teoría de la información.

In addition, he is a principal in the Theory of Computation research group in the MIT Computer Science and Artificial Intelligence Laboratory, and he was formerly Director of Research and Director of System Architecture for Akamai Technologies.
Además, es el director del grupo de investigación de Teoría de la Computación en el Laboratorio de Computación e Inteligencia Artificial del MIT, y fue el antiguo Director de Investigación de Akamai Technologies.

A more mathematically oriented definition with a similar"universal" nature was introduced by Alonzo Church, whose work on lambda calculus intertwined with Turing's in a formal theory of computation known as the Church-Turing thesis.
Una definición más matemáticamente orientada, con una similar naturaleza"universal", fue presentada por Alonzo Church, cuyo trabajo sobre el cálculo lambda se entrelaza con el de Turing en una teoría formal de la computación conocida como la tesis de Church-Turing.

The Proposal states The proposal goes on to discuss computers, natural language processing, neural networks, theory of computation, abstraction and creativity these areas within the field of artificial intelligence are considered still relevant to the work of the field.
En la introducción al encuentro se estableció:(McCarthy et a el1955) La propuesta continúa argumentando sobre computadoras, procesamiento del lenguaje natural, redes neuronales, teoría de la computación, abstracción y creatividad estas áreas aún se consideran relevantes dentro del campo de la inteligencia artificial.

The relation between the complexity classes P and NP is studied in computational complexity theory, the part of the theory of computation dealing with the resources required during computation to solve a given problem.
La relación entre las clases de complejidad P y NP es estudiada por la teoría de la complejidad computacional, la parte de la teoría de la computación que trata de los recursos requeridos durante el cálculo para resolver un problema dado.

See also Branches of Computer Science and ACM Computing Classification System Theory of computation- branch that deals with whether and how efficiently problems can be solved on a model of computation, using an algorithm Automata theory- study of mathematical objects called abstract machines or automata and the computational problems that can be solved using them.
Ver también Ramas de Ciencias de la Computación y ACM Sistema de Clasificación de Informática Teoría de la computación- rama que se ocupa de si y cómo de manera eficiente los problemas pueden resolverse en un modelo de cálculo, utilizando un algoritmo Teoría de Autómatas- estudio de los objetos matemáticos llamados máquinas abstractas o autómatas y los problemas de cálculo que se pueden resolver de usarlos.

He received the Turing Award, the most prestigious award in computer science, in 2000,"in recognition of his fundamental contributions to the theory of computation, including the complexity-based theory of pseudorandom number generation, cryptography, and communication complexity.
Ha recibido muchas distinciones y premios, entre ellos destaca el Premio Turing, el más prestigioso en el campo de la Ciencias de la Computación, en el año 2000,"en reconocimiento a su contribución fundamental a la teoría de la computación, incluyendo teoría basado en complejidad de generación de números seudoaleatoriaos, criptografía, y complejidad de comunicación.

She received a Lectureship appointment in Artificial Intelligence and Theory of Computation at the Canberra College of Advanced Education, and was Dean of the Faculty of Information Sciences and Engineering at the University of Canberra from 1989 to 1993.
Recibió un puesto como profesora en Inteligencia Artificial y Teoría de la Computación en el Colegio de Canberra de Educación Avanzada, y fue decana de la Facultad de Ciencias de la Información e Ingeniería en la Universidad de Canberra de 1989 a 1993.

These groups are divided up into seven general areas of research: Artificial intelligence Computational biology Graphics and vision Language and learning Theory of computation Robotics Systems(includes computer architecture, databases, distributed systems, networks and networked systems, operating systems, programming methodology, and software engineering among others) In addition, CSAIL hosts the World Wide Web Consortium W3C.
Estos grupos están divididos en siete campos generales de investigación: Inteligencia artificial Biología computacional Computación gráfica Visión artificial Lenguaje y aprendizaje Teoría de la computación Robótica Sistemas( incluye arquitectura de computadora, bases de datos, sistemas distribuidos, redes y sistemas de red, sistemas operativos, metodología de programación, e ingeniería de software entre otros) Además, CSAIL es el anfitrión de el World Wide Web Consortium W3C.

How to use "theory of computation" in an English sentence

Algorithms and theory of computation handbookAlgorithms and theory of computation handbook. :6-6.

The theory of computation the mathematical theory of computation and so on.

COMPSCI 3TC3Undergraduate Theory of Computation More Info.

And the theory of computation certainly is.

CCSR features download Theory of Computation St.

J.: Algorithms and Theory of Computation Handbook.

Introduction to the Theory of Computation Michael Sipser.

Spring 2004: Honors Theory of Computation (graduate: G22.3350).

Spring 2003: Honors Theory of Computation (graduate: G22.3350).

Spring 2001: Honors Theory of Computation (graduate: G22.3350).

How to use "teoría de la computación" in a Spanish sentence

Entre las materias que toman este modelo para su estudio se encuentran Matemáticas Discretas, Teoría de la Computación y Compiladores, entre otras.

Este es un resultado muy importante en la teoría de la computación y proporciona una base teórica para la progtwigción funcional.

~ La mayor parte de la teoría de la computación se hace con refe- rencia a un alfabeto E fijo (pero arbitrario).

Alan Turing Matemático y Lógico pionero en Teoría de la Computación que contribuye a importantes análisis lógicos de los procesos computacionales.

En este objetivo concurre junto con la teoría de la computación y el análisis de algoritmos.

org, y también lo ha presentado al 48º Simposio sobre Teoría de la Computación de la Asociación para Maquinaria de Computación.

para Ingeniería Tercero Semester Programación Orientada a Objetos Diseño Digital Teoría de la Computación Matemáticas Discretas Cálculo Integral para Ingeniería.

11:30 - 12:00 Presentación del grupo de Teoría de la Computación a cargo de Álvaro Tasistro de Universidad ORT Uruguay.

TEORÍA DE LA COMPUTACIÓN Introducción: La teoría de la computación es un poco más antigua que las computadoras electrónicas.

Arenas Una (muy) breve introducción a la teoría de la computación 17 / 48 33 Máquinas de Turing: Componentes Memoria.