СловариФорумКупитьСкачатьКонтакты

   Английский +
Google | Forvo | +

first-order logic

ИТ. предикатів першого порядку; ло́гіка пе́ршого поря́дку
комп. числення предикатів першого порядку
науч. ло́гіка предикатів пе́ршого поря́дку
 Английский тезаурус
first-order logic
мат. first-order predicate logic (ssn)