Еквивалентното смятане е

Универсален руско-английски речник. Academic.ru. 2011 г. .

Вижте какво е „еквивалентно смятане“ в други речници:

АСОЦИАТИВНО ИЗЧИСЛЕНИЕ - име, което е установено за калкулации от определен точно характеризиран тип, добре адаптиран за определяне на крайно дефинирани асоциативни системи (полугрупи). Терминът А. и. въведено от А. А. Марков. Той също така извърши строителството ... ... Енциклопедия по математика

ПОСТ КАНОНИЧНА СИСТЕМА - Изчисление след публикуване, начин за определяне на множество набори от думи. Концепцията за P. to. C., предложена от E. Post (E. Post) през 1943 г., е първата обща концепция за смятане, подходяща за определяне на произволни изброими множества и не обвързана с логическа ... ... Енциклопедия на Математика

МНОГОСЦЕННА ЛОГИКА - набор от логически системи, базирани на принципа на полисемията. В класическата двузначна логика, когато се интерпретират, изразите придобиват само две стойности „true“ и „false“; в M.L. разглеждат се например други стойности. "Определено" ... ... Философска енциклопедия

ПОЛОЖИТЕЛНА ЛОГИКА - логика, при която разсъжденията се считат за приемливи, не свързани с опровержения, т.е. с обосновка на неверността на твърденията. Тъй като изразът "А е невярно" е само друга форма на израз "не А", в P. l. да откаже всякакви средства ... ... Философска енциклопедия

СХЕМА АКСИОМ - (аксиомна схема) - вид постулати, с помощта на които в логиката се конкретизират калкули (формални системи). С. е израз, съставен от т.нар. метаматем. писма. тези. символи, които не са включени в азбуката на разглежданата система ... Философска енциклопедия

---