Demostración automática de teoremas
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 automatizada, es actualmente el subcampo más desarrollado del razonamiento automático, y se encarga de la demostración de teoremas matemáticos mediante programas de ordenador.
Leer en Wikipedia · Imagen Alexandre Buisse (Nattfodd), CC BY-SA 3.0
Abre sobres, colecciona cartas y cámbialas. Gratis.
Jugar gratis