Listar 2 - Investigación por autor "cb8e8440c1a8d1731b43148937c4b87e"
Mostrando ítems 1-2 de 2
-
Axiomatic Set Theory à la Dijkstra and Scholten
Acosta Gempeler, Ernesto; Aldana Gomez, Bernarda; Bohorquez Villamizar, Jaime Alejandro; Rocha Niño, Hernan Camilo (Springer VerlagAlemania, 2017)The algebraic approach by E. W. Dijkstra and C. S. Scholten to formallogic is a proof calculus, where the notion of proof is a sequence of equivalencesproved – mainly – by using substitution of ‘equals for equals’. This ... -
Doce lecciones de cálculo vectorial
Acosta Gempeler, Ernesto; Aldana Gómez, Bernarda (Escuela Colombiana de Ingeniería Julio GaravitoAcademia Colombiana De Ciencias ExactasColombia, 2020)