Lógica Algorítmica
1964·ensayo
Este libro aborda los fundamentos lógicos del razonamiento sobre algoritmos y programas, explorando cómo la lógica matemática puede ser utilizada para describir y verificar propiedades de sistemas computacionales.
polaco
Andrzej M. Mostowski es un destacado matemático y lógico polaco, conocido por su trabajo en teoría de modelos y teoría de conjuntos. Su investigación ha influido significativamente en el desarrollo de la lógica matemática en el siglo XX.
1964·ensayo
Este libro aborda los fundamentos lógicos del razonamiento sobre algoritmos y programas, explorando cómo la lógica matemática puede ser utilizada para describir y verificar propiedades de sistemas computacionales.
Aparecen junto a Andrzej M. Mostowski en búsquedas del archivo