Est-il possible de "mathématiser" la logique.
Et comment intégrer dans le temps à la logique ?
Intégrer le temps à la logique, c'est comme intégrer un signal d'horloge au système électronique ?
Quelqu'un aurait un exemple simple de départ afin de comprendre ce concept ?
J'ai fais assez de logique booléenne, mais j'aimerai en savoir plus sur la mathématisation de la logique, avec l'intégration du temps...
J'espère que j'ai été clair !
MErci beaucoup !
S'il faut rajouter des contraintes de temps à des portes électronique ET, OU, etc....
Tu obtiens un automate programmable. Je crois qu'il existe une littérature abondante sur le sujet.
Sinon Tu peux aller voir du côté des réseaux de Pétri.
Mais je ne sais pas si j'ai bien saisie Ton concept de mathématisation de la logique....
Cordialement,
Mumyo
Non ce n'est pas de l'électronique que je veux faire !
L'exemple de l'électronique était juste une image afin d'illustrer mon idée !
Bonjour, par mathématiser tu entends quoi,??
Les tables de vérités, son a mon avis une voix a cette "mathématisation", a moins que ce que tu as voulus dire, est autre chose.
cordialement
La logique fait partie des mathématiques (ou des métamathématiques selon le point de vue).Envoyé par philname
Deux réponses très différentes :Je pense que ce que tu cherches est plus du domaine des logiques modales (les modèles de Kripke s'y prêtent bien) :
- il existe des logiques modales temporelles
- dans la correspondance de Curry-Howard, l'horloge de l'ordinateur correspond à l'axiome du choix.
http://www.univ-angers.fr/docs/etudq...orelle_TLA.pdf
http://www-leibniz.imag.fr/perso/s1/...es-modales.doc
et une petite introduction sympa :
http://www-leibniz.imag.fr/perso/s1/...es-modales.doc
Il y a des milliers de références sur le net.
Je suis Charlie.
J'affirme péremptoirement que toute affirmation péremptoire est fausse
