¡Más rápido que el navegador!
118 relaciones: Adversario (criptografía), Alan Turing, Aleatoriedad, Algoritmo, Algoritmo de Euclides, Algoritmo probabilista, Alonzo Church, Anatomía, Análisis de algoritmos, Animación, Aprendizaje automático, Association for Computing Machinery, Autómata (mecánico), Autenticación, Base de datos, Búsqueda y recuperación de información, Biofísica, Bioinformática, Biología, Biología computacional, Biología molecular, Bioquímica, Cadena vacía, Cajero automático, Cantidad, Cálculo, Cero, Ciencias de la computación, Ciencias formales, Circuito integrado, Clase de complejidad, Claude Shannon, Comercio electrónico, Complejidad, Compresión de datos, Computación cuántica, Computación distribuida, Computación gráfica, Computación paralela, Computadora, Confidencialidad, Contraseña, Criptografía, Detección y corrección de errores, Determinismo, Diseño asistido por computadora, Donald Hebb, Ecología, Estadística, Estructura de datos, ..., European Association for Theoretical Computer Science, Evolución biológica, Fabricación asistida por computadora, Factorización de enteros, Función (ingeniería), Función (matemática), Genética, Genómica, Geometría, Geometría computacional, Gottfried Leibniz, Informática, Ingeniería asistida por computadora, Ingeniería biológica, Ingeniería eléctrica, Ingeniería informática, Instituto de Tecnología de Massachusetts, Integración a muy gran escala, Integridad de datos, Journal of the ACM, Kurt Gödel, Lógica matemática, Libreta de un solo uso, Martin Davis, Matemática aplicada, Matemática discreta, Matemáticas, Máquina abstracta, Máximo común divisor, Método formal, Mecánica cuántica, Modelo de computación, Neurociencia, No repudio, Problema computacional, Procesamiento de datos, Protocolo de comunicaciones, Puerta lógica, Química, Razonamiento automático, Red de computadoras, Red neuronal artificial, Rigor matemático, Robótica, Seguridad de la información, SIAM Journal on Computing, Sistema binario, Sistema de información geográfica, Sistema formal, Stephen Kleene, Symposium on Theory of Computing, Teoría de autómatas, Teoría de categorías, Teoría de códigos, Teoría de grafos, Teoría de la complejidad computacional, Teoría de la computabilidad, Teoría de la computación, Teoría de la información, Teoría de números, Teoría de números computacional, Teoría de tipos, Teoría hebbiana, Teoremas de incompletitud de Gödel, Transmisión de datos, Visión artificial, Visualización científica, Visualización en matemática. Expandir índice (68 más) »
Adversario (criptografía)
En criptografía, un adversario (raramente oponente, enemigo) es una entidad maliciosa cuyo objetivo es impedir que los usuarios del criptosistema logren su objetivo (principalmente la privacidad, la integridad y la disponibilidad de los datos).
¡Nuevo!!: Ciencia computacional teórica y Adversario (criptografía) · Ver más »
Alan Turing
Alan Mathison Turing (Paddington, Londres; 23 de junio de 1912-Wilmslow, Cheshire; 7 de junio de 1954) fue un matemático, lógico, informático teórico, criptógrafo, filósofo y biólogo teórico británico.
¡Nuevo!!: Ciencia computacional teórica y Alan Turing · Ver más »
Aleatoriedad
La aleatoriedad se refiere a eventos, procesos o modelos en los que algunos de los resultados son esencialmente imprevisibles, por efectos relacionados con el azar.
¡Nuevo!!: Ciencia computacional teórica y Aleatoriedad · Ver más »
Algoritmo
En matemáticas, lógica, ciencias de la computación y disciplinas relacionadas, un algoritmo (probablemente del latín tardío algorithmus, y este del árabe clásico ḥisābu lḡubār, que significa «cálculo mediante cifras arábigas») es un conjunto de instrucciones o reglas definidas y no-ambiguas, ordenadas y finitas que permite, típicamente, solucionar un problema, realizar un cómputo, procesar datos y llevar a cabo otras tareas o actividades.
¡Nuevo!!: Ciencia computacional teórica y Algoritmo · Ver más »
Algoritmo de Euclides
En matemáticas, el algoritmo de Euclides, o algoritmo euclidiano, es un método eficiente para calcular el máximo común divisor (MCD) de dos números enteros, el número más grande que los divide a ambos sin dejar resto.
¡Nuevo!!: Ciencia computacional teórica y Algoritmo de Euclides · Ver más »
Algoritmo probabilista
Un algoritmo probabilista (o probabilístico) es un algoritmo que basa su resultado en la toma de algunas decisiones al azar, de tal forma que, en promedio, obtiene una buena solución al problema planteado para cualquier distribución de los datos de entrada.
¡Nuevo!!: Ciencia computacional teórica y Algoritmo probabilista · Ver más »
Alonzo Church
Alonzo Church (14 de junio de 1903 - 11 de agosto de 1995), matemático y lógico estadounidense creador de la base de la computación teórica.
¡Nuevo!!: Ciencia computacional teórica y Alonzo Church · Ver más »
Anatomía
La anatomía es una ciencia, rama de la biología, que estudia la estructura de los seres vivos, es decir, la forma, topografía, ubicación, disposición y relación entre sí de los órganos que lo componen.
¡Nuevo!!: Ciencia computacional teórica y Anatomía · Ver más »
Análisis de algoritmos
El término análisis de algoritmos fue acuñado por Donald Knuth y se refiere al proceso de encontrar la complejidad computacional de un algoritmo que resuelva un problema computacional dado, con el objetivo de proveer estimaciones teóricas de los recursos que necesita.
¡Nuevo!!: Ciencia computacional teórica y Análisis de algoritmos · Ver más »
Animación
La animación es un proceso utilizado por uno o más animadores, para dar la ilusión de movimiento a imágenes, dibujos u otro tipo de objetos inanimados (figuras de plastilina, por ejemplo).
¡Nuevo!!: Ciencia computacional teórica y Animación · Ver más »
Aprendizaje automático
El aprendizaje automático (AA), aprendizaje automatizado, aprendizaje de máquinas o aprendizaje computacional (del inglés, machine learning) es el subcampo de las ciencias de la computación y una rama de la inteligencia artificial, cuyo objetivo es desarrollar técnicas que permitan que las computadoras aprendan.
¡Nuevo!!: Ciencia computacional teórica y Aprendizaje automático · Ver más »
Association for Computing Machinery
ACM es el acrónimo de Association for Computing Machinery (Asociación de Maquinaria Computacional).
¡Nuevo!!: Ciencia computacional teórica y Association for Computing Machinery · Ver más »
Autómata (mecánico)
Autómata (del latín automăta y este del griego αὐτόματος autómatos, ‘espontáneo’ o ‘con movimiento propio’. Según la RAE, «máquina que imita la figura y los movimientos de un ser animado») es un equivalente tecnológico de lo que en la actualidad serían los robots autónomos.
¡Nuevo!!: Ciencia computacional teórica y Autómata (mecánico) · Ver más »
Autenticación
La autenticación o autentificación es el acto o proceso de confirmar que algo (o alguien) es quien dice ser.
¡Nuevo!!: Ciencia computacional teórica y Autenticación · Ver más »
Base de datos
Una base de datos (del inglés: database) se encarga no solo de almacenar datos, sino también de conectarlos entre sí en una unidad lógica.
¡Nuevo!!: Ciencia computacional teórica y Base de datos · Ver más »
Búsqueda y recuperación de información
La búsqueda y recuperación de información es la ciencia de la búsqueda de información en documentos electrónicos y cualquier tipo de colección documental digital, encargada de la búsqueda dentro de estos mismos, búsqueda de metadatos que describan documentos, o también la búsqueda en bases de datos relacionales, ya sea a través de internet, una intranet, y como objetivo realiza la recuperación en textos, imágenes, sonido o datos de otras características, de manera pertinente y relevante.
¡Nuevo!!: Ciencia computacional teórica y Búsqueda y recuperación de información · Ver más »
Biofísica
La biofísica es la ciencia que estudia la biología con los principios y métodos de la física para describir los fenómenos físicos del actuar de las células y organismos vivos.
¡Nuevo!!: Ciencia computacional teórica y Biofísica · Ver más »
Bioinformática
La bioinformática puede definirse, de manera general, como la aplicación de tecnologías computacionales y la estadística a la gestión y análisis de datos biológicos.
¡Nuevo!!: Ciencia computacional teórica y Bioinformática · Ver más »
Biología
La biología (del griego βίος «vida», y -λογία «tratado», «estudio» o «ciencia») es la ciencia natural que estudia todo lo relacionado con la vida y lo orgánico, incluyendo los procesos, sistemas, funciones, mecanismos u otros caracteres biológicos subyacentes a los seres vivos en diversos campos especializados que abarcan su morfología, fisiología, filogénesis, desarrollo, evolución, distribución e interacciones en los niveles macroscópico y microscópico.
¡Nuevo!!: Ciencia computacional teórica y Biología · Ver más »
Biología computacional
La biología computacional es el uso de algoritmos y computadores para facilitar el entendimiento de problemas biológicos.
¡Nuevo!!: Ciencia computacional teórica y Biología computacional · Ver más »
Biología molecular
La biología molecular es la rama de la biología que tiene como objetivo el estudio de los procesos que se desarrollan en los seres vivos desde un punto de vista molecular.
¡Nuevo!!: Ciencia computacional teórica y Biología molecular · Ver más »
Bioquímica
La bioquímica es una rama de la ciencia que estudia la composición química de los seres vivos, especialmente las proteínas, carbohidratos, lípidos y ácidos nucleicos, además de otras pequeñas moléculas presentes en las células y las reacciones químicas que sufren estos compuestos (metabolismo) que les permiten obtener energía (catabolismo) y generar biomoléculas propias (anabolismo).
¡Nuevo!!: Ciencia computacional teórica y Bioquímica · Ver más »
Cadena vacía
En ciencias de la computación y teoría de lenguajes formales, una cadena vacía o string vacío (en inglés) es la única cadena de caracteres de tamaño cero.
¡Nuevo!!: Ciencia computacional teórica y Cadena vacía · Ver más »
Cajero automático
Un cajero automático es una máquina expendedora usada para extraer dinero utilizando una tarjeta de plástico con banda magnética o un chip (por ejemplo, tarjeta de débito o tarjeta de crédito), sin necesidad de presencia del personal del banco.
¡Nuevo!!: Ciencia computacional teórica y Cajero automático · Ver más »
Cantidad
Una cantidad (del vocablo latino quantĭtas, -ātis, y este del griego ποσότης —posótēs— que se refiere a ‘cuánto’ o ‘cuán grande’ en términos de grandeza, extensión, cantidad, magnitud y tamaño) es un valor, componente o número, susceptible de aumento o disminución, que se obtiene de una medida u operación de uno o varios entes que pueden ser medidos de manera exacta o aproximada.
¡Nuevo!!: Ciencia computacional teórica y Cantidad · Ver más »
Cálculo
En general el término cálculo (del latín calculus, piedrecita, usado para contar o como ayuda al calcular) hace referencia al resultado correspondiente a la acción de calcular.
¡Nuevo!!: Ciencia computacional teórica y Cálculo · Ver más »
Cero
El cero (0) es un numeral de la propiedad par.
¡Nuevo!!: Ciencia computacional teórica y Cero · Ver más »
Ciencias de la computación
Las ciencias de la computación estudian los fundamentos teóricos de la información y el cómputo, junto con técnicas prácticas para la implementación y aplicación de estos fundamentos teóricos.
¡Nuevo!!: Ciencia computacional teórica y Ciencias de la computación · Ver más »
Ciencias formales
Las ciencias formales son un conjunto de ciencias que estudian los lenguajes formales y los sistemas formales.
¡Nuevo!!: Ciencia computacional teórica y Ciencias formales · Ver más »
Circuito integrado
Un circuito integrado (CI), también conocido como chip o microchip, es una estructura de pequeñas dimensiones de material semiconductor, normalmente silicio, de algunos milímetros cuadrados de superficie (área), sobre la que se fabrican circuitos electrónicos generalmente mediante fotolitografía y que está protegida dentro de un encapsulado plástico o de cerámica.
¡Nuevo!!: Ciencia computacional teórica y Circuito integrado · Ver más »
Clase de complejidad
En teoría de la complejidad computacional, una clase de complejidad es un conjunto de problemas de decisión de complejidad relacionada.
¡Nuevo!!: Ciencia computacional teórica y Clase de complejidad · Ver más »
Claude Shannon
Claude Elwood Shannon (30 de abril de 1916 - 24 de febrero de 2001) fue un matemático, ingeniero eléctrico y criptógrafo estadounidense recordado como «el padre de la teoría de la información».
¡Nuevo!!: Ciencia computacional teórica y Claude Shannon · Ver más »
Comercio electrónico
El comercio electrónico —también conocido como e-commerce (electronic commerce en inglés), comercio por Internet o comercio en línea— consiste en la compra y venta de productos o de servicios a través de internet, tales como redes sociales y otras páginas web.
¡Nuevo!!: Ciencia computacional teórica y Comercio electrónico · Ver más »
Complejidad
Complejidad es la cualidad de lo que está compuesto de diversos elementos interrelacionados.
¡Nuevo!!: Ciencia computacional teórica y Complejidad · Ver más »
Compresión de datos
En ciencias de la computación, la compresión de datos es la reducción del volumen de datos tratables para representar una determinada información empleando una menor cantidad de espacio.
¡Nuevo!!: Ciencia computacional teórica y Compresión de datos · Ver más »
Computación cuántica
La computación cuántica o informática cuántica es un paradigma de computación distinto al de la informática clásica.
¡Nuevo!!: Ciencia computacional teórica y Computación cuántica · Ver más »
Computación distribuida
La computación distribuida es un modelo para resolver problemas de computación masiva utilizando un gran número de ordenadores organizados en clústeres incrustados en una infraestructura de telecomunicaciones distribuida.
¡Nuevo!!: Ciencia computacional teórica y Computación distribuida · Ver más »
Computación gráfica
La computación gráfica o gráficos por ordenador es el campo de la informática visual, donde se utilizan computadoras tanto para generar imágenes visuales sintéticamente como integrar o cambiar la información visual y espacial probada del mundo real.
¡Nuevo!!: Ciencia computacional teórica y Computación gráfica · Ver más »
Computación paralela
La computación paralela es una forma de cómputo en la que muchas instrucciones se ejecutan simultáneamente, operando sobre el principio de que problemas grandes, a menudo se pueden dividir en unos más pequeños, que luego son resueltos simultáneamente (en paralelo).
¡Nuevo!!: Ciencia computacional teórica y Computación paralela · Ver más »
Computadora
Computadora, computador u ordenador es una máquina electrónica digital programable que ejecuta una serie de comandos para procesar los datos de entrada, obteniendo convenientemente información que posteriormente se envía a las unidades de salida.
¡Nuevo!!: Ciencia computacional teórica y Computadora · Ver más »
Confidencialidad
Confidencialidad es la propiedad de la información, por la que se garantiza que está accesible únicamente a personal autorizado a acceder a dicha información.
¡Nuevo!!: Ciencia computacional teórica y Confidencialidad · Ver más »
Contraseña
Una contraseña o clave es una forma de autentificación que utiliza información secreta para controlar el acceso hacia algún recurso.
¡Nuevo!!: Ciencia computacional teórica y Contraseña · Ver más »
Criptografía
La criptografía (del griego κρύπτos (kryptós), «secreto», y γραφή (graphé), «grafo» o «escritura», literalmente «escritura secreta») se ha definido, tradicionalmente, como el ámbito de la criptología que se ocupa de las técnicas de cifrado o codificado destinadas a alterar las representaciones lingüísticas de ciertos mensajes con el fin de hacerlos ininteligibles a receptores no autorizados.
¡Nuevo!!: Ciencia computacional teórica y Criptografía · Ver más »
Detección y corrección de errores
En matemáticas, informática y teoría de la información, la detección y corrección de errores es una importante práctica para el mantenimiento e integridad de los datos a través de diferentes procedimientos y dispositivos como medios de almacenamiento confiables.
¡Nuevo!!: Ciencia computacional teórica y Detección y corrección de errores · Ver más »
Determinismo
El determinismo es una doctrina filosófica que sostiene que todo acontecimiento físico, incluso el pensamiento y las acciones humanas, están causalmente determinados por la irrompible cadena causa-consecuencia y, por tanto, el estado actual «determina» en algún sentido el futuro.
¡Nuevo!!: Ciencia computacional teórica y Determinismo · Ver más »
Diseño asistido por computadora
El diseño asistido por computadora, habitualmente conocido como CAD (por sus siglas en inglés computer-aided design), es el uso de computadores para ayudar en la creación, modificación, análisis u optimización de un diseño.
¡Nuevo!!: Ciencia computacional teórica y Diseño asistido por computadora · Ver más »
Donald Hebb
Donald O. Hebb (Chester, Nueva Escocia,1904-1985) es considerado el pionero de la biopsicología.
¡Nuevo!!: Ciencia computacional teórica y Donald Hebb · Ver más »
Ecología
La ecología es la rama de la biología que estudia las relaciones de los diferentes seres vivos entre sí y su relación con el entorno: «la biología de los ecosistemas».
¡Nuevo!!: Ciencia computacional teórica y Ecología · Ver más »
Estadística
La estadística (la forma femenina del término alemán statistik, derivado a su vez del italiano statista, «hombre de Estado») es la disciplina que estudia la variabilidad, así como el proceso aleatorio que la genera siguiendo las leyes de la probabilidad.
¡Nuevo!!: Ciencia computacional teórica y Estadística · Ver más »
Estructura de datos
En ciencias de la computación, una estructura de datos es una forma particular de organizar información en un computador para que pueda ser utilizada de manera eficiente.
¡Nuevo!!: Ciencia computacional teórica y Estructura de datos · Ver más »
European Association for Theoretical Computer Science
La European Association for Theoretical Computer Science (EATCS, en castellano «Asociación europea para la informática teórica») es una organización internacional fundada en 1972, cuyo objetivo es facilitar el intercambio de ideas y resultados entre informáticos teóricos, así como estimular la cooperación entre las comunidades teórica y práctica de ciencias de la computación.
¡Nuevo!!: Ciencia computacional teórica y European Association for Theoretical Computer Science · Ver más »
Evolución biológica
La evolución biológica es el conjunto de cambios en caracteres fenotípicos y genéticos de poblaciones biológicas a través de generaciones.
¡Nuevo!!: Ciencia computacional teórica y Evolución biológica · Ver más »
Fabricación asistida por computadora
La fabricación asistida por computadora (en Hispanoamérica) o fabricación asistida por ordenador (en España), también conocida por las siglas en inglés CAM (computer-aided manufacturing), implica además el uso de distintos programas en los que se incluyen calendarización, administración y control de calidad.
¡Nuevo!!: Ciencia computacional teórica y Fabricación asistida por computadora · Ver más »
Factorización de enteros
En teoría de números, la factorización de enteros, factorización de primos, factorización en primos o árbol de factorización consiste en descomponer un número compuesto (no primo) en divisores no triviales, que cuando se multiplican dan el número original.
¡Nuevo!!: Ciencia computacional teórica y Factorización de enteros · Ver más »
Función (ingeniería)
La palabra función en el ámbito de la ingeniería y en la teoría de sistemas se interpreta como el proceso, acción o tarea que un sistema es capaz de realizar.
¡Nuevo!!: Ciencia computacional teórica y Función (ingeniería) · Ver más »
Función (matemática)
En matemática, se dice que una magnitud es función de otra si el valor de la primera depende del valor de la segunda.
¡Nuevo!!: Ciencia computacional teórica y Función (matemática) · Ver más »
Genética
El término genética (del griego antiguo: γενετικός, guennetikós, ‘genetivo’, y este de γένεσις, génesis, ‘origen’; acuñado en 1905 por William Bateson) alude al área de estudio de la biología que busca comprender y explicar cómo se transmite la herencia biológica de generación en generación mediante el ADN.
¡Nuevo!!: Ciencia computacional teórica y Genética · Ver más »
Genómica
La genómica es un campo interdisciplinario que estudia la función, estructura, evolución, mapeo y edición del genoma.
¡Nuevo!!: Ciencia computacional teórica y Genómica · Ver más »
Geometría
La geometría (del latín geometrĭa, y este del griego γεωμετρία de γῆ gē, ‘tierra’, y μετρία metría, ‘medida’) es una rama de las matemáticas que se ocupa del estudio de las propiedades de las figuras en el plano o el espacio, incluyendo: puntos, rectas, planos, politopos (como paralelas, perpendiculares, curvas, superficies, polígonos, poliedros, etc.). Es la base teórica de la geometría descriptiva o del dibujo técnico.
¡Nuevo!!: Ciencia computacional teórica y Geometría · Ver más »
Geometría computacional
La geometría computacional es una rama de las ciencias de la computación dedicada al estudio de algoritmos que pueden ser expresados en términos de la geometría.
¡Nuevo!!: Ciencia computacional teórica y Geometría computacional · Ver más »
Gottfried Leibniz
Gottfried Wilhelm Leibniz, a veces Gottfried Wilhelm von Leibniz (Leipzig, 1 de julio de 1646-Hannover, 14 de noviembre de 1716), fue un polímata, filósofo, matemático, lógico, teólogo, jurista, bibliotecario y político alemán.
¡Nuevo!!: Ciencia computacional teórica y Gottfried Leibniz · Ver más »
Informática
La informática, también llamada computación, es el área de la ciencia que se encarga de estudiar la administración de métodos, técnicas y procesos con el fin de almacenar, procesar y transmitir información y datos en formato digital.
¡Nuevo!!: Ciencia computacional teórica e Informática · Ver más »
Ingeniería asistida por computadora
Ingeniería asistida por computadora o por ordenador (CAE, del inglés Computer Aided Engineering) es la disciplina que se encarga del conjunto de programas informáticos que permiten analizar y simular los diseños de ingeniería realizados con el ordenador, o creados de otro modo e introducidos en el ordenador, para valorar sus características, propiedades, viabilidad, y rentabilidad.
¡Nuevo!!: Ciencia computacional teórica e Ingeniería asistida por computadora · Ver más »
Ingeniería biológica
La ingeniería biológica o bioingeniería (que incluye a la ingeniería de sistemas biológicos), es una disciplina que aplica conceptos y métodos físico-matemáticos para resolver problemas de las ciencias de la vida, utilizando las metodologías analíticas y sintéticas de la ingeniería.
¡Nuevo!!: Ciencia computacional teórica e Ingeniería biológica · Ver más »
Ingeniería eléctrica
La ingeniería eléctrica es el campo de la ingeniería que se ocupa del estudio y la aplicación de la electricidad, electromagnetismo, electromecánica y la electrónica a sistemas eléctricos de potencia.
¡Nuevo!!: Ciencia computacional teórica e Ingeniería eléctrica · Ver más »
Ingeniería informática
La ingeniería informática es la rama de la ingeniería que aplica los fundamentos de la ciencia de la computación, la ingeniería en computadores, la ingeniería de sistemas de información, la ingeniería de ''software'' y la ingeniería de redes y comunicaciones, para el desarrollo de todo tipo de software, hardware computacional y comunicaciones.
¡Nuevo!!: Ciencia computacional teórica e Ingeniería informática · Ver más »
Instituto de Tecnología de Massachusetts
El Instituto de Tecnología de Massachusetts (MIT por las iniciales de su nombre en inglés, Massachusetts Institute of Technology) es una universidad privada localizada en Cambridge, Massachusetts (Estados Unidos) considerada por numerosos rankings como una de las mejores y más prestigiosas universidades a nivel mundial, manteniendo durante diez años consecutivos el título de la mejor universidad del mundo según la clasificación mundial de universidades QS.
¡Nuevo!!: Ciencia computacional teórica e Instituto de Tecnología de Massachusetts · Ver más »
Integración a muy gran escala
La integración a escala muy grande o VLSI (sigla en inglés de very large-scale integration) es el proceso de crear un circuito integrado compuesto por millones de transistores en un único chip.
¡Nuevo!!: Ciencia computacional teórica e Integración a muy gran escala · Ver más »
Integridad de datos
El término integridad de datos se refiere a la correctitud y completitud de la información en una base de datos.
¡Nuevo!!: Ciencia computacional teórica e Integridad de datos · Ver más »
Journal of the ACM
El Journal of the ACM (en español: «Diario de la ACM») (JACM) es la revista insignia de científicos de la Association for Computing Machinery (ACM).
¡Nuevo!!: Ciencia computacional teórica y Journal of the ACM · Ver más »
Kurt Gödel
Kurt Friedrich Gödel (Brünn, Imperio austrohúngaro, actual República Checa, 28 de abril de 1906-Princeton, Estados Unidos; 14 de enero de 1978), conocido como Kurt Gödel, fue un lógico, matemático y filósofo austríaco.
¡Nuevo!!: Ciencia computacional teórica y Kurt Gödel · Ver más »
Lógica matemática
La lógica matemática, también llamada lógica simbólica, lógica teorética, lógica formal o logística, es el estudio formal y simbólico de la lógica, y su aplicación a algunas áreas de la matemática y la ciencia.
¡Nuevo!!: Ciencia computacional teórica y Lógica matemática · Ver más »
Libreta de un solo uso
En criptografía, la libreta de uso único, también llamado libreta de un solo uso (del inglés one-time pad), es un tipo de algoritmos de cifrado por el que el texto en claro se combina con una clave aleatoria o «libreta» igual de larga que el texto en claro y que sólo se utiliza una vez.
¡Nuevo!!: Ciencia computacional teórica y Libreta de un solo uso · Ver más »
Martin Davis
Martin Davis, (Nueva York, 1928-1 de enero de 2023) fue un matemático estadounidense conocido por su trabajo relacionado con el décimo problema de Hilbert.
¡Nuevo!!: Ciencia computacional teórica y Martin Davis · Ver más »
Matemática aplicada
La matemática aplicada —también matemáticas aplicadas— se refiere a aquellos métodos y herramientas matemáticos que pueden ser utilizados en el análisis o resolución de problemas pertenecientes al área de las ciencias básicas o aplicadas, como el cálculo, el álgebra lineal, las ecuaciones diferenciales y otros procedimientos ideados desde que se acuñó el concepto.
¡Nuevo!!: Ciencia computacional teórica y Matemática aplicada · Ver más »
Matemática discreta
La matemática discreta es un área de la matemática encargada del estudio de los conjuntos discretos: finitos o infinitos numerables.
¡Nuevo!!: Ciencia computacional teórica y Matemática discreta · Ver más »
Matemáticas
Las matemáticas, o también la matemática, La palabra «matemáticas» no está en el Diccionario de la Real Academia Española.
¡Nuevo!!: Ciencia computacional teórica y Matemáticas · Ver más »
Máquina abstracta
Una máquina abstracta, también llamada un computador abstracto, es un modelo teórico de un sistema computador de hardware o software usado en la teoría de autómatas.
¡Nuevo!!: Ciencia computacional teórica y Máquina abstracta · Ver más »
Máximo común divisor
En las matemáticas, se define el máximo común divisor (mcd o m.c.d.) de dos o más números enteros al mayor número entero que los divide sin dejar residuo alguno.
¡Nuevo!!: Ciencia computacional teórica y Máximo común divisor · Ver más »
Método formal
En ingeniería de software un método formal es un camino a la construcción y análisis de modelos matemáticos que permitan una automatización del desarrollo de sistemas informáticos.
¡Nuevo!!: Ciencia computacional teórica y Método formal · Ver más »
Mecánica cuántica
La mecánica cuántica es la rama de la física que estudia la naturaleza a escalas espaciales pequeñas, los sistemas atómicos, subatómicos, sus interacciones con la radiación electromagnética y otras fuerzas, en términos de cantidades observables.
¡Nuevo!!: Ciencia computacional teórica y Mecánica cuántica · Ver más »
Modelo de computación
En la teoría de la computabilidad y en la teoría de la complejidad computacional, un modelo de computación es la definición un conjunto de operaciones permitibles usadas en el cómputo y sus respectivos costos.
¡Nuevo!!: Ciencia computacional teórica y Modelo de computación · Ver más »
Neurociencia
La neurociencia (también en plural, neurociencias) es una disciplina científica que estudia el sistema nervioso y todos sus aspectos: por ejemplo, estructura, función, desarrollo ontogenético y filogenético, bioquímica, farmacología y patología, y cómo sus diferentes elementos interactúan, dando lugar a las bases biológicas de la cognición y la conducta.
¡Nuevo!!: Ciencia computacional teórica y Neurociencia · Ver más »
No repudio
No repudio se refiere a un estado de negocios donde el supuesto autor de una declaración no es capaz de desafiar con éxito la validez de declaración o contrato.
¡Nuevo!!: Ciencia computacional teórica y No repudio · Ver más »
Problema computacional
En ciencia computacional teórica, un problema computacional o problema abstracto es una relación entre un conjunto de instancias y un conjunto de soluciones.
¡Nuevo!!: Ciencia computacional teórica y Problema computacional · Ver más »
Procesamiento de datos
El procesamiento de datos, generalmente, es "la acumulación y manipulación de elementos de datos para producir información significativa." Se debe considerar como equipos de procesamiento de datos a las impresoras, escáneres, arreglo de disco, unidades de cinta, switchs, escritorio, monitores e incluso las grabadoras de CD-ROM, pues son bienes que no funcionan independientemente, sino que forman parte de un conjunto o equipo de cómputo, careciendo aisladamente de utilidad, por lo que de acuerdo a su clasificación arancelaria (Subpartida Nacional 8517.50.00.00), son equipos de procesamiento de datos.
¡Nuevo!!: Ciencia computacional teórica y Procesamiento de datos · Ver más »
Protocolo de comunicaciones
En informática y telecomunicación, un protocolo de comunicaciones es un sistema de reglas que permiten que dos o más entidades (computadoras, teléfonos celulares, etc.) de un sistema de comunicación se comuniquen entre ellas para transmitir información por medio de cualquier tipo de variación de una magnitud física.
¡Nuevo!!: Ciencia computacional teórica y Protocolo de comunicaciones · Ver más »
Puerta lógica
Una puerta lógica o compuerta lógica, es un dispositivo electrónico con una función de tipo booleano u otros tipos (ej. «Trivalente»), como sumar o restar, incluir o excluir según sus propiedades lógicas.
¡Nuevo!!: Ciencia computacional teórica y Puerta lógica · Ver más »
Química
La química es la ciencia natural que estudia la composición, estructura y propiedades de la materia, ya sea en forma de elementos, especies, compuestos, mezclas u otras sustancias, así como los cambios que estas experimentan durante las reacciones y su relación con la energía química.
¡Nuevo!!: Ciencia computacional teórica y Química · Ver más »
Razonamiento automático
El razonamiento automatizado es un área de la ciencias de la computación dedicada a comprender diferentes aspectos del razonamiento de manera que permita la creación de programas informáticos que posibiliten a los ordenadores razonar de forma completamente automática, o casi automática.
¡Nuevo!!: Ciencia computacional teórica y Razonamiento automático · Ver más »
Red de computadoras
Una red de computadoras, red de ordenadores o red informática es un conjunto de equipos nodos y software conectados entre sí por medio de dispositivos físicos que envían y reciben impulsos eléctricos, ondas electromagnéticas o cualquier otro medio para el transporte de datos, con la finalidad de compartir información, recursos y ofrecer servicios.
¡Nuevo!!: Ciencia computacional teórica y Red de computadoras · Ver más »
Red neuronal artificial
Las redes neuronales artificiales (también conocidas como sistemas conexionistas) son un modelo computacional evolucionado a partir de diversas aportaciones científicas que están registradas en la historia. Consiste en un conjunto de unidades, llamadas neuronas artificiales, conectadas entre sí para transmitirse señales. La información de entrada atraviesa la red neuronal (donde se somete a diversas operaciones) produciendo unos valores de salida. Cada neurona está conectada con otras a través de unos enlaces. En estos enlaces el valor de salida de la neurona anterior es multiplicado por un valor de peso. Estos pesos en los enlaces pueden incrementar o inhibir el estado de activación de las neuronas adyacentes. Del mismo modo, a la salida de la neurona, puede existir una función limitadora o umbral, que modifica el valor resultado o impone un límite que no se debe sobrepasar antes de propagarse a otra neurona. Esta función se conoce como función de activación. Estos sistemas aprenden y se forman a sí mismos, en lugar de ser programados de forma explícita, y sobresalen en áreas donde la detección de soluciones o características es difícil de expresar con la programación convencional. Para realizar este aprendizaje automático, normalmente, se intenta minimizar una función de pérdida que evalúa la red en su total. Los valores de los pesos de las neuronas se van actualizando buscando reducir el valor de la función de pérdida. Este proceso se realiza mediante la propagación hacia atrás. El objetivo de la red neuronal es resolver los problemas de la misma manera que el cerebro humano, aunque las redes neuronales son más abstractas. Las redes neuronales actuales suelen contener desde unos miles a unos pocos millones de unidades neuronales. Nuevas investigaciones sobre el cerebro a menudo estimulan la creación de nuevos patrones en las redes neuronales. Un nuevo enfoque está utilizando conexiones que se extienden mucho más allá y capas de procesamiento de enlace en lugar de estar siempre localizado en las neuronas adyacentes. Otra investigación está estudiando los diferentes tipos de señal en el tiempo que los axones se propagan, como el aprendizaje profundo, interpola una mayor complejidad que un conjunto de variables booleanas que son simplemente encendido o apagado. Las redes neuronales se han utilizado para resolver una amplia variedad de tareas, como la visión por computador y el reconocimiento de voz, que son difíciles de resolver usando la ordinaria programación basado en reglas. Históricamente, el uso de modelos de redes neuronales marcó un cambio de dirección a finales de los años ochenta de alto nivel, que se caracteriza por sistemas expertos con conocimiento incorporado en si-entonces las reglas, a bajo nivel de aprendizaje automático, caracterizado por el conocimiento incorporado en los parámetros de un modelo cognitivo con algún sistema dinámico.
¡Nuevo!!: Ciencia computacional teórica y Red neuronal artificial · Ver más »
Rigor matemático
Se entiende por rigor matemático (o también, «precisión matemática», aunque en un contexto algo diferente) una manera lógica y clara de trabajar dentro del ámbito de las matemáticas.
¡Nuevo!!: Ciencia computacional teórica y Rigor matemático · Ver más »
Robótica
La robótica es una ciencia que aglutina varias ramas tecnológicas: la rama de la ingeniería mecánica, de la ingeniería electrónica y de las ciencias de la computación, ocupándose del diseño, construcción, operación, estructura, manufactura y aplicación de los robots.
¡Nuevo!!: Ciencia computacional teórica y Robótica · Ver más »
Seguridad de la información
La seguridad de la información es el conjunto de medidas preventivas y reactivas de las organizaciones y sistemas tecnológicos que permiten resguardar y proteger la información buscando mantener la confidencialidad, la disponibilidad e integridad de datos.
¡Nuevo!!: Ciencia computacional teórica y Seguridad de la información · Ver más »
SIAM Journal on Computing
La SIAM Journal on Computing (SICOMP) es una publicación científica enfocada en los aspectos matemáticos y formales de la ciencia de la computación.
¡Nuevo!!: Ciencia computacional teórica y SIAM Journal on Computing · Ver más »
Sistema binario
El sistema binario, también llamado sistema diádico en ciencias de la computación, es un sistema de numeración en el que los números son representados utilizando únicamente dos cifras: 0 (cero) y 1 (uno).
¡Nuevo!!: Ciencia computacional teórica y Sistema binario · Ver más »
Sistema de información geográfica
Un sistema de información geográfica (SIG), también habitualmente citado como GIS por las siglas de su nombre en inglés Geographical Information System, es un conjunto de herramientas que integra y relaciona diversos componentes que permiten la organización, almacenamiento, manipulación, análisis y modelización de grandes cantidades de datos procedentes del mundo real que están vinculados a una referencia espacial, facilitando la incorporación de aspectos sociales-culturales, económicos y ambientales que conducen a la toma de decisiones de una manera más eficaz.
¡Nuevo!!: Ciencia computacional teórica y Sistema de información geográfica · Ver más »
Sistema formal
Un sistema formal o sistema lógico es un sistema abstracto compuesto por un lenguaje formal, axiomas, reglas de inferencia y a veces una semántica formal, que se utiliza para deducir o demostrar teoremas y dar una definición rigurosa del concepto de demostración.
¡Nuevo!!: Ciencia computacional teórica y Sistema formal · Ver más »
Stephen Kleene
Stephen Cole Kleene (Hartford, Connecticut; 5 de enero de 1909-Madison, Wisconsin; 25 de enero de 1994) fue un lógico y matemático estadounidense.
¡Nuevo!!: Ciencia computacional teórica y Stephen Kleene · Ver más »
Symposium on Theory of Computing
El Simposio Anual de la ACM sobre Teoría de la Computación (nombre original en inglés: Annual ACM Symposium on Theory of Computing; STOC) es un congreso dedicado al campo de la ciencia computacional teórica, patrocinado por la Association for Computing Machinery SIGACT, una organización internacional originaria de los Estados Unidos.
¡Nuevo!!: Ciencia computacional teórica y Symposium on Theory of Computing · Ver más »
Teoría de autómatas
La teoría de autómatas es una rama de la teoría de la computación que estudia las máquinas abstractas y los problemas que éstas son capaces de resolver.
¡Nuevo!!: Ciencia computacional teórica y Teoría de autómatas · Ver más »
Teoría de categorías
La teoría de categorías es un estudio matemático que trata de axiomatizar de forma abstracta diversas estructuras matemáticas como una sola, mediante el uso de objetos y morfismos.
¡Nuevo!!: Ciencia computacional teórica y Teoría de categorías · Ver más »
Teoría de códigos
La teoría de códigos es una especialidad matemática que trata de las leyes de la codificación de la información.
¡Nuevo!!: Ciencia computacional teórica y Teoría de códigos · Ver más »
Teoría de grafos
La teoría de grafos, también llamada teoría de gráficas, es una rama de la matemática y las ciencias de la computación que estudia las propiedades de los grafos.
¡Nuevo!!: Ciencia computacional teórica y Teoría de grafos · Ver más »
Teoría de la complejidad computacional
La teoría de la complejidad computacional o teoría de la complejidad informática es una rama de la teoría de la computación que se centra en la clasificación de los problemas computacionales de acuerdo con su dificultad inherente, y en la relación entre dichas clases de complejidad.
¡Nuevo!!: Ciencia computacional teórica y Teoría de la complejidad computacional · Ver más »
Teoría de la computabilidad
La teoría de la computabilidad o teoría de la recursión es la parte de la computación que estudia los problemas de decisión que se pueden resolver con un algoritmo o equivalentemente con una máquina de Turing.
¡Nuevo!!: Ciencia computacional teórica y Teoría de la computabilidad · Ver más »
Teoría de la computación
La teoría de la computación o teoría de la informática es un conjunto de conocimientos racionales y sistematizados que se centran en el estudio de la abstracción de los procesos, con el fin de reproducirlos con ayuda de sistemas formales; es decir, a través de símbolos y reglas lógicas.
¡Nuevo!!: Ciencia computacional teórica y Teoría de la computación · Ver más »
Teoría de la información
La teoría de la información, también conocida como teoría matemática de la comunicación (Inglés: mathematical theory of communication) o teoría matemática de la información, es una propuesta teórica presentada por Claude E. Shannon y Warren Weaver a finales de la década de los años 1940.
¡Nuevo!!: Ciencia computacional teórica y Teoría de la información · Ver más »
Teoría de números
La teoría de números es la rama de las matemáticas que estudia las propiedades de los números, en particular los enteros, pero más en general, estudia las propiedades de los anillos de números: anillos íntegros que contienen a \mathbb a través de un morfismo finito e inyectivo \mathbb \hookrightarrow A. Contiene una cantidad considerable de problemas que podrían ser comprendidos por "no matemáticos".
¡Nuevo!!: Ciencia computacional teórica y Teoría de números · Ver más »
Teoría de números computacional
En matemáticas y ciencias de la computación, la teoría de números computacional, también conocida como teoría de números algorítmica, es el estudio de los métodos de computación para investigar y resolver problemas en teoría de números y geometría aritmética, incluidos algoritmos para tests de primalidad y factorización de enteros, encontrar soluciones para ecuaciones diofánticas y métodos explícitos en geometría aritmética.
¡Nuevo!!: Ciencia computacional teórica y Teoría de números computacional · Ver más »
Teoría de tipos
En matemáticas, lógica y ciencias de la computación, la teoría de tipos es cualquiera de varios sistemas formales que pueden servir como alternativas a la teoría de conjuntos como fundamento de las matemáticas constructivas, o al estudio de tales formalismos en general.
¡Nuevo!!: Ciencia computacional teórica y Teoría de tipos · Ver más »
Teoría hebbiana
La teoría Hebbiana describe un mecanismo básico de plasticidad sináptica en el que el valor de una conexión sináptica se incrementa si las neuronas de ambos lados de dicha sinapsis se activan repetidas veces de forma simultánea.
¡Nuevo!!: Ciencia computacional teórica y Teoría hebbiana · Ver más »
Teoremas de incompletitud de Gödel
Los teoremas de incompletitud de Gödel son dos célebres teoremas de lógica matemática demostrados por Kurt Gödel en 1931.
¡Nuevo!!: Ciencia computacional teórica y Teoremas de incompletitud de Gödel · Ver más »
Transmisión de datos
La transmisión de datos (también, transmisión digital o comunicaciones digitales) es la transferencia física de datos (un flujo digital de bits) por un canal de comunicación punto a punto o punto a multipunto.
¡Nuevo!!: Ciencia computacional teórica y Transmisión de datos · Ver más »
Visión artificial
La visión informática, también conocida como visión artificial o visión por computadora (del inglés computer vision) o visión técnica, es una disciplina científica que incluye métodos para adquirir, procesar, analizar y comprender las imágenes del mundo real con el fin de producir información numérica o simbólica para que puedan ser tratados por un ordenador.
¡Nuevo!!: Ciencia computacional teórica y Visión artificial · Ver más »
Visualización científica
La visualización científica es la transformación de datos científicos y abstractos en imágenes.
¡Nuevo!!: Ciencia computacional teórica y Visualización científica · Ver más »
Visualización en matemática
La visualización en matemática es un tipo particular de visualización científica, que consiste en determinados procesos y capacidades, relacionados con la representación, para la apropiación de conocimientos matemáticos.
¡Nuevo!!: Ciencia computacional teórica y Visualización en matemática · Ver más »
Redirecciona aquí:
Ciencia computacional teorica.
