 |
logika temporalna
| Polskojezyczna Wikipedia - wolna encyklopedia | Download this dictionary |
Logika temporalna
Logika temporalna – logika umożliwiająca rozważanie zależności czasowych bez wprowadzania czasu explicite. Pierwotnie służyła jako narzędzie do filozoficznych rozważań nad naturą czasu, dzisiaj jest używana głównie w informatyce.
| W celu uzyskania więcej informacji, zobacz w Wikipedia.οrg... |
© W niniejszym artykule wykorzystano materialy z Wikipédia® i jest na licencji GNU Free Documentation License, a na licencji licencji Commons Attribution-ShareAlike.
