logique mathématique L2
ECOLE Sup Informatique - IA et Mathématiques ( intelligence artificielle)L2 · DEUXIEME ANNÉE L2
3 chapitres · 2 séances · 2 PDF · 3 vidéos
Description à venir.
Au programme
-
Basic Notions of Mathematical Logic
Par Mr Aissaoui Mohammed
Abstract — Basic Notions of Mathematical Logic This chapter introduces the fundamental concepts of mathematical logic and their role in mathematical reasoning. It presents the notions of propositions, logical connectives, truth tables, tautologies, contradictions, and contingencies, together with the concepts of logical equivalence, implication, and logical consequence. Particular attention is given to the construction and interpretation of compound propositions using conjunction, disjunction, negation, and implication. These basic tools provide a formal framework for analyzing mathematical statements, verifying arguments, and establishing valid deductions. The chapter serves as a foundation for further study of propositional logic, predicate logic, and mathematical proof techniques.
-
Basic Notions of Mathematical Logic
- PDFpdf du cours
- Vidéocours
-
Basic Notions of Mathematical Logic
-
Proportional calculus
Par Mr Aissaoui Mohammed
Abstract Propositional calculus is a fundamental formal system used to represent and analyze logical reasoning. This chapter introduces propositions, logical connectives, truth tables, logical equivalences, tautologies, and contradictions. We also study logical implications, normal forms, and methods for establishing the validity of logical arguments. These concepts provide an essential foundation for further studies in logic, mathematics, computer science, and artificial intelligence.
-
logic ordre 0
- Vidéocours 1
- Vidéocours 2
- PDFcours
-
logic ordre 0
-
predicate logique
Par Mr Aissaoui Mohammed
Abstract Propositional language provides a formal framework for expressing and analyzing logical statements. This chapter introduces the basic elements of propositional language, including propositional variables, logical connectives, well-formed formulas, and the construction of compound propositions. We examine how natural-language statements can be translated into symbolic expressions and how their logical structure can be analyzed using truth tables and logical equivalences. These concepts form a fundamental basis for the study of mathematical logic and formal reasoning.