^{PDFprof.com Search Engine}

Logique pour l'informatique

C'est quoi la logique en informatique ?
La programmation logique est considérée comme une programmation déclarative plutôt qu'impérative, car elle s'attache davantage au quoi qu'au comment, le moteur assumant une large part des enchaînements.
Elle est particulièrement adaptée aux besoins de l'intelligence artificielle, dont elle est un des principaux outils.
Quelles sont les types de logique ?
Trois types de logique sont repérables dans la recherche en sciences humaines : logique intellectuelle, logique empirique et logique scientifique.
Quel est le rôle de la logique ?
Depuis plus de 2000 ans, la logique est essentiellement utilisée pour « modéliser des arguments exprimés en langage naturel » et pour formaliser le raisonnement : c'est-à-dire que le rôle de la logique est de fournir un moyen de répondre aux ambiguïtés qui surgissent lorsque nous utilisons notre langage.
La logique — du grec λογική / logikê, qui est un terme dérivé de λόγος / lógos signifiant à la fois « raison », « langage » et « raisonnement » — est, dans une première approche, l'étude de l'inférence, c'est-à-dire des règles formelles que doit respecter toute argumentation correcte.

Le cours présentera les bases de la logique informatique: cette première partie traitera de calcul propositionnel; une seconde partie, à venir, abordera la Autres questions

Logique pour l'informatique

C'est quoi la logique en informatique ?

Quelles sont les types de logique ?

Quel est le rôle de la logique ?