Lógica Algorítmica
1964·no ficcion
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·no ficcion
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