logique moderne : branche de la logique qui étudie les systèmes formels et les structures de raisonnement à l'aide de symboles et de règles précises, souvent associée aux travaux de logiciens tels que Frege, Russell et Gödel.
La logique moderne a permis de formaliser des arguments complexes, rendant leur analyse plus rigoureuse.
Dans son cours, le professeur a introduit les principes de la logique moderne pour aider les étudiants à mieux comprendre les fondements du raisonnement mathématique.
Les avancées en logique moderne ont eu un impact significatif sur le développement des langages de programmation et des algorithmes.
