UA-61751701-2

Axiomatic Set Theory à la Dijkstra and Scholten
    • español
    • English
EscuelaIng
  • English 
    • español
    • English
  • Login
  • Inicio
  • Guías de Uso
    • Directrices
    • Procedimientos de Trabajo de Grado
    • Guía de Autoarchivo
    • Formato de Autorización para Publicación
  • Navegar
    • Comunidades
    • Autores
    • Títulos
    • Fechas
    • Materias
    • Tipo de Material
  • Investigadores
  • Organizaciones
  • Proyectos

Repositorio Digital

  • Comunities Comunities
  • Authors Authors
  • Titles Titles
  • Dates Dates
  • Subjects Subjects
  • Resource Type Resource Type
View Item 
  •   DSpace Home
  • 2 - Investigación
  • A - Grupos de Investigación
  • AC - GIMATH: Grupo de investigación en Matemáticas de la Escuela Colombiana de Ingeniería
  • View Item
  •   DSpace Home
  • 2 - Investigación
  • A - Grupos de Investigación
  • AC - GIMATH: Grupo de investigación en Matemáticas de la Escuela Colombiana de Ingeniería
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

Cambiar vista

Browse

All of DSpaceCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsResource TypeThis CollectionBy Issue DateAuthorsTitlesSubjectsResource Type

My Account

LoginRegister

Statistics

View Usage Statistics

Axiomatic Set Theory à la Dijkstra and Scholten


Acosta Gempeler, Ernesto
Aldana Gomez, Bernarda
Bohorquez Villamizar, Jaime Alejandro
Rocha Niño, Hernan Camilo

Artículo de revista

2017

Springer Verlag

Teoría axiomática de los conjuntosBuscar en Repositorio UMECIT
Manipulación simbólicaBuscar en Repositorio UMECIT
Axiomatic set theory DijkstraBuscar en Repositorio UMECIT
Scholten logic Derivation Formal system ZermeloBuscar en Repositorio UMECIT
Fraenkel (ZF) Symbolic manipulation UndergraduateBuscar en Repositorio UMECIT
level courseBuscar en Repositorio UMECIT
Teoría axiomática de conjuntos Lógica de DijkstraBuscar en Repositorio UMECIT
cholten Derivación Sistema formal ZermeloBuscar en Repositorio UMECIT
Fraenkel (ZF) Manipulación simbólica Curso de pregradoBuscar en Repositorio UMECIT
Curso de nivel universitarioBuscar en Repositorio UMECIT

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.
 
El enfoque algebraico de E. W. Dijkstra y C. S. Scholten para la lógica formal es un cálculo de pruebas, en el que la noción de prueba es una secuencia de equivalencias demostradas -principalmente- mediante la sustitución de "iguales por iguales". Este artículo presentaSet, una axiomatización de la lógica de primer orden para la teoría de conjuntos que utiliza el enfoque de Dijk-stra y Scholten. El enfoque es novedoso en el sentido de que la manipulación simbólica de las fórmulas se muestra como una herramienta eficaz para enseñar la teoría de conjuntos axiomática a los estudiantes de matemáticas. Este trabajo contiene muchos ejemplos sobre cómo las pruebas argumentativas pueden expresarse fácilmente enSet y señala cómoSet puede enriquecer la experiencia de aprendizaje de los estudiantes. Estos resultados forman parte de un esfuerzo mayor para estudiar y mecanizar formalmente temas de matemáticas y ciencias de la computación con el enfoque algebraico de Dijkstra y Scholten.
 

https://repositorio.escuelaing.edu.co/handle/001/1394

  • AC - GIMATH: Grupo de investigación en Matemáticas de la Escuela Colombiana de Ingeniería [23]

Descripción: Axiomatic Set Theory à la Dijkstra and Scholten - PDF Free Download.pdf
Título: Axiomatic Set Theory à la Dijkstra and Scholten - PDF Free Download.pdf
Tamaño: 3.106Mb

Unicordoba LogoPDFOpen AccessFLIPLEER EN FLIP

Show full item record

Cita

Cómo citar

Cómo citar

Miniatura

Thumbnail

Gestores Bibliográficos

Exportar a Bibtex

Exportar a RIS

Exportar a Excel

Buscar en google Schoolar

Buscar en microsoft academic

untranslated

Código QR

Envíos recientes

    No hay artículos recientes

Oferta académica

Carreras profesionales

Especializaciones

Maestrías

Doctorado

Nustros Campus

Introducción al campus

Tecnología

Fortalezas

Premios y reconocimientos

Flora y fauna

Visita el campus

Internacionalización

Programas y alianzas

Movilidad

Sobre la Escuela y Bogotá

Convenios internacionales, nacionales y con colegios

Ayuda

PQRSFC

Centro de Ayuda

Contáctenos

Habeas Data

Centro de Servicios Tecnológicos

Directorio Escuela

acriditación institucional
icoMaps

AK. 45 No. 205 - 59, Autopista Norte.

PBX: +57(1) 668 3600 - Bogotá.

Línea nacional gratuita:

018000112668.

Sistema DSPACE - Metabiblioteca | logo