La demostración interactiva de teoremas es un campo de la ciencia computacional y la lógica matemática relativo a las herramientas para desarrollar pruebas formales para la colaboración hombre-máquina. Esto involucra una especie de asistente de pruebas: un editor interactivo de pruebas, u otra interfaz, con la cual un hombre pueda guiar la búsqueda de pruebas, los detalles que están almacenadas en ellas, y algunos de los pasos ofrecidos por, un ordenador.

rdfs:comment
  • La demostración interactiva de teoremas es un campo de la ciencia computacional y la lógica matemática relativo a las herramientas para desarrollar pruebas formales para la colaboración hombre-máquina. Esto involucra una especie de asistente de pruebas: un editor interactivo de pruebas, u otra interfaz, con la cual un hombre pueda guiar la búsqueda de pruebas, los detalles que están almacenadas en ellas, y algunos de los pasos ofrecidos por, un ordenador. (es)
foaf:isPrimaryTopicOf
rdfs:label
  • Demostración interactiva de teoremas (es)
Is foaf:primaryTopic of
dcterms:subject
prov:wasDerivedFrom
dbpedia-owl:wikiPageID
  • 1553021 (xsd:integer)
dbpedia-owl:wikiPageLength
  • 878 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 14 (xsd:integer)
Is dbpedia-owl:wikiPageRedirects of
dbpedia-owl:wikiPageRevisionID
  • 66327613 (xsd:integer)
dbpedia-owl:wikiPageWikiLink [14 values]
Is dbpedia-owl:wikiPageWikiLink of