Resultados de la búsqueda
Para más opciones de búsqueda, vea Ayuda:Búsqueda.
La teoría de conjuntos es una rama de la lógica matemática que estudia las propiedades y relaciones de los conjuntos: colecciones abstractas de objetos…40 kB (5034 palabras) - 20:51 17 abr 2024
Una máquina de Turing es un dispositivo que manipula símbolos sobre una tira de cinta de acuerdo con una tabla de reglas. A pesar de su simplicidad, una…37 kB (5033 palabras) - 19:17 27 ene 2024- 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…9 kB (1824 palabras) - 11:25 19 abr 2024
- El Proceso Racional Unificado o RUP (por sus siglas en inglés de Rational Unified Process) es un proceso de desarrollo de software desarrollado por la…13 kB (1712 palabras) - 00:26 7 mar 2024
- El Proceso para el desarrollo de software, también denominado ciclo de vida del desarrollo de software, es una estructura aplicada al desarrollo de un…25 kB (3282 palabras) - 18:26 14 feb 2024
- En teoría de la complejidad computacional, el Problema de satisfacibilidad booleana (también llamado SAT) fue el primer problema identificado como perteneciente…9 kB (1362 palabras) - 19:00 24 ene 2022
La demostración automática de teoremas (de siglas ATP, por el término en inglés: Automated theorem proving), que también puede ser denominada deducción…15 kB (1771 palabras) - 01:23 18 abr 2024- 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…9 kB (1238 palabras) - 11:20 27 ene 2024
La lógica computacional es la misma lógica matemática aplicada al contexto de las ciencias de la computación. Su uso es fundamental en varios niveles:…4 kB (620 palabras) - 17:32 4 may 2023- La verificación formal, en ingeniería y en computación, es un método de validación estática (se valida a través del propio código del programa, a partir…8 kB (1022 palabras) - 20:56 25 dic 2023
- En programación, una aserción es un predicado (i.e., una sentencia verdadero-falso) incluido en un programa como indicación de que el programador piensa…13 kB (1667 palabras) - 13:38 3 may 2023
- Una especificación formal usa notación matemática para describir de manera precisa las propiedades que un sistema de información debe tener, sin preocuparse…3 kB (382 palabras) - 15:32 29 ene 2024
- Una precondición es una condición que ha de satisfacerse justo antes del comienzo de la ejecución de una porción de código (normalmente un subprograma…1 kB (155 palabras) - 14:14 26 jul 2023
- En programación, una postcondición es una condición o predicado lógico que siempre debe cumplirse justamente después de la ejecución de una sección de…1 kB (124 palabras) - 17:23 6 nov 2020
- La semántica de transformación de predicados es una extensión de Lógica de Floyd-Hoare ideada por Edsger Dijkstra y extendida y refinada por otros investigadores…4 kB (539 palabras) - 08:09 8 abr 2024
- Principio de sustitución de Liskov o LSP (Liskov Substitution Principle) es un principio de la programación orientada a objetos. y puede definirse como:…7 kB (849 palabras) - 16:26 16 nov 2022
Una prueba asistida por ordenador es una demostración matemática que ha sido generada al menos parcialmente utilizando una computadora. La mayoría de las…14 kB (1800 palabras) - 06:58 11 abr 2024- En la informática se conoce como invariante a una condición que se sigue cumpliendo después de la ejecución de determinadas instrucciones. Se cumple tanto…979 bytes (107 palabras) - 20:03 15 jul 2019
- Semántica axiomática es un enfoque basado en la lógica matemática para demostrar la correctitud de un algoritmo. Está estrechamente relacionado con la…1 kB (86 palabras) - 10:14 7 ago 2019
- Whiley es un lenguaje compilado multiparadigma de propósito general desarrollado por David Pearce.[1] El lenguaje combina características de los paradigmas…6 kB (761 palabras) - 16:28 8 ago 2019
