Now showing items 1-3 of 3

Axiomatic Set Theory à la Dijkstra and Scholten

Acosta, Ernesto; Aldana, Bernarda; Bohórquez, Jaime; Rocha, Camilo (Springer NatureSuiza, 2017)

The algebraic approach by E.W. Dijkstra and C.S. Scholten to formal logic is a proof calculus, where the notion of proof is a sequence of equivalences proved – mainly – by using substitution of ‘equals for equals’. This ...
Axiomatic Set Theory à la Dijkstra and Scholten

Acosta, Ernesto; Aldana, Bernarda; Bohórquez, Jaime; Rocha, Camilo (Springer NatureUSA., 2017)

The algebraic approach by E.W. Dijkstra and C.S. Scholten to formal logic is a proof calculus, where the notion of proof is a sequence of equivalences proved – mainly – by using substitution of ‘equals for equals’. This ...
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 ...

Envíos recientes

Axiomatic Set Theory à la Dijkstra and Scholten
...
Acosta, Ernesto | 2017

The algebraic approach by E.W. Dijkstra and C.S. Scholten to formal logic is a proof calculus, where the notion of proof is a sequence of equivalences proved – mainly – by using substitution of ‘equals for equals’. This paper presents Set , a first-order logic axiomatization for set theory using the approach of Dijkstra and Scholten. What is novel about the approach presented in this paper is that symbolic manipulation of formulas is an effective tool for teaching an axiomatic set theory course to sophomore-year undergraduate students in mathematics. This paper contains many examples on how argumentative proofs can be easily expressed in Set and points out how the rigorous approach of Set can enrich the learning experience of students. The results presented in this paper are part of a larger effort to formally study and mechanize topics in mathematics and computer science with the algebraic approach of Dijkstra and Scholten.

LEER
Axiomatic Set Theory à la Dijkstra and Scholten
...
Acosta, Ernesto | 2017

The algebraic approach by E.W. Dijkstra and C.S. Scholten to formal logic is a proof calculus, where the notion of proof is a sequence of equivalences proved – mainly – by using substitution of ‘equals for equals’. This paper presents Set , a first-order logic axiomatization for set theory using the approach of Dijkstra and Scholten. What is novel about the approach presented in this paper is that symbolic manipulation of formulas is an effective tool for teaching an axiomatic set theory course to sophomore-year undergraduate students in mathematics. This paper contains many examples on how argumentative proofs can be easily expressed in Set and points out how the rigorous approach of Set can enrich the learning experience of students. The results presented in this paper are part of a larger effort to formally study and mechanize topics in mathematics and computer science with the algebraic approach of Dijkstra and Scholten.

LEER
Axiomatic Set Theory à la Dijkstra and Scholten
...
Acosta Gempeler, Ernesto | 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 paper presentsSet, a first-order logic axiomatization for set theory using the approach of Dijk-stra and Scholten. The approach is novel in that the symbolic manipulation offormulas is shown to be an eective tool for teaching axiomatic set theory tosophomore students in mathematics. This paper contains many examples on howargumentative proofs can be easily expressed inSetand points out howSetcanenrich the learning experience of students. These results are part of a larger ef-fort to formally study and mechanize topics in mathematics and computer sciencewith the algebraic approach of Dijkstra and Scholten.

LEER