GigaMaths.com

Cours et systèmes d'e-learning

 

Contactez-nous au 076-504.89.55



Cours d'appui de Logique Mathématique pour étudiants en informatique, sciences naturelles, sciences économiques et philosophie.



MATHS

Actuellement je vous propose des cours privés d'appui de Logique Mathématique.



Je vous propose, entre autres, de revoir les chapitres suivants:


  • Logique propositionnelle
  • Logique Modale
  • Logique du premier ordre
  • Théorie de la démonstration


Pourquoi je peux vous aider?:



J'ai étudié la totalité de ce cours plusieurs fois dans mon cursus. La première fois lors de la préparation de ma maturité scientifique au Collège Calvin où j'ai étudié la logique mathématique et son application à l'informatique dans le cadre de mon cours de mathématiques appliquées. Après j'ai passé quelques années à la Faculté des Sciences en Physique et Mathématiques où j'ai approfondi mes connaissances sur l'application de la logique mathématique à la programmation. Puis, j'ai étudié les détails de la logique mathématique et de la logique classique (aristotélicienne) lors de mes études de philosophie et d'informatique à la Faculté des Lettres de l'Université de Genève.


Je suis aussi un chercheur en mathématiques, philosophie et informatique. Plusieurs de mes articles ont été publiés depuis l'année 2007.