Computational Logic

0

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

0

Temporalny to "czasowy".
http://www.merriam-webster.com/dictionary/computation
Ja tutaj nigdzie takiej definicji nie widzę :>.

Logika obliczeniowa? Komputerowa?

0

logika obliczeniowa, "computational" -> obliczeniowy

0

Dzięki panowie.

1 użytkowników online, w tym zalogowanych: 0, gości: 1