Rechercher

Logique Formelle

hassan0marec
23 févr. 2015
1 min de lecture

Introduction au cours

Pourquoi ce cours vous intéresse

– Vous vous destiné à etre un ingénieurs.... . . en Info, Electronique et Automatique

– Nécessairement, vous allez faire des erreurs parce que vous êtes humains !

Parce que d’autres en ont fait avant vous !

Oui mais pourquoi la logique ?

– Développement personnel : Ingénieurs de qualité ⇐ Rigueur ⇐ Logique

– Science pour la fiabilité des systèmes :

Logique a produit des outils pour l’assurance de la qualité

Méthodes formelles . . . à base de mathématiques

– Intelligence Artificielle

Pour plus visitez les modules : Systemes intélligents

#pmc #rna #softcomputing #logiqueformelle #logiquefloue #perceptronsimple

Posts récents

Voir tout

Entrepreneuriat

Recherche Opérationnelle

Archives soft computing

Comentarios

Un réseau de neurones artificiels est un modèle de calcul dont la conception est très schématiquement inspirée du fonctionnement des neurones biologiques.

Le neurone est la pièce maîtresse du système nerveux. Les neurones sont organisés en réseaux, et permettent l’utilisation des fonctions motrices, perceptives, émotives et cognitives de l’esprit

Même si les machines ont aujourd'hui des capacités considérables qui surpassent totalement le cerveau humain dans certains domaines comme le calcul ou l'enregistrement de données, il est fort probable que l'homme arrive un jour à mettre au point une entité artificielle capable de raisonner et de "penser" comme lui