ruso
Boris Anatolyevich Trakhtenbrot fue un destacado matemático y científico de la computación ruso, conocido por sus contribuciones a la teoría de lenguajes formales y la lógica matemática. Su trabajo ha influido en el desarrollo de varios campos de la informática y la matemática aplicada.
1973·filosofia
Este texto aborda los fundamentos de la teoría de modelos, una rama de la lógica matemática que estudia la relación entre las teorías formales y sus interpretaciones o modelos, explorando conceptos como la satisfacibilidad, la completitud y la consistencia.
Aparecen junto a Boris Anatolyevich Trakhtenbrot en búsquedas del archivo
