Cześć,
Mam mały problem z tłumaczeniem pewnego wyrażenia, a ponieważ jest ono ściśle związane z informatyką, to zapytam tutaj, bo na forach lingwistycznych, to chyba sami humaniści są.
Wyrażenie do przetłumaczenia, to - Computational Logic. Po przeczytaniu kilku angielskich definicji, wyszło mi że na nasze będzie to - Logika temporalna. Dobrze myślę?
Pozdrawiam