Еквівалентне числення - це
Універсальний українсько-англійський словник. Академік.ру. 2011 .
Дивитись що таке "еквівалентне числення" в інших словниках:
АСОЦІАТИВНЕ ЗЛІЧЕННЯ — назва, що встановилася за обчисленнями деякого точно охарактеризованого типу, добре пристосованими для завдання звичайно певних асоціативних систем (напівгруп). Термін А. в. введений А. А. Марковим. Їм же було здійснено побудову... Математична енциклопедія
ПОСТА КАНОНІЧНА СИСТЕМА — обчислення Посту, спосіб завдання множин слів, що перераховуються. Поняття П. к. с., запропоноване Е. Постом (Е. Post) в 1943, було першим загальним поняттям обчислення, придатним для завдання довільних перелічуваних множин і не прив'язаним до логіч.
БАГАТОЗНАЧНА ЛОГІКА - сукупність логічних систем, що спираються на багатозначності принцип. У класичній двозначній логіці висловлювання при інтерпретації набувають лише двох значень «істинно» і «хибно», в М.Л. розглядаються та ін значення, напр. «невизначено», … … Філософська енциклопедія
ПІДСТАВНА ЛОГІКА - логіка, в якій прийнятними вважаються міркування, не пов'язані з спростуваннями, тобто з обгрунтуваннями хибності висловлювань. Оскільки вираз «А хибно» є лише іншою формою вираження «не А», в П. л. відмовляються від будь-яких способів… … Філософська енциклопедія
СХЕМА АКСІОМ — (аксіомна схема) – різновид постулатів, за допомогою яких у логіці задаються обчислення (формальні системи). З а. є виразом, складеним з т.зв. метаматем. літер. тобто. символів, що не входять до алфавіту системи, що розглядається … Філософська енциклопедія
ІНДИВІДУАЛЬНИЙ ПІДПРИЄМНИК — термін ПК, що означаєфізична особа, яка зареєстрована в установленому порядку та здійснює підприємницьку діяльність без утворення юридичної особи. До індивідуальних підприємців належать також приватні нотаріуси, приватні … … Енциклопедія українського та міжнародного оподаткування
ТОПОЛОГІЯ - у широкому значенні область математики, що вивчає топологіч. властивості разл. матем. та фіз. об'єктів. Інтуїтивно, до топологіч. відносяться якісні, стійкі властивості, що не змінюються при деформаціях. Матем. формалізація ідеї про топологічні. властивості… … Фізична енциклопедія
ДИСИПАТИВНИЙ ОПЕРАТОР — лінійний оператор Ас областю визначення DA, щільної в гільбертовому просторі Н, і такий, що Іноді ця вимога замінюється умовою при т. е. дисипативність Ав цьому сенсі еквівалентна дисипативності оператора (iA). Д. о. наз.… … Математична енциклопедія
МОРСА ТЕОРІЯ - загальна назва для трьох різних теорій, що ґрунтуються на ідеях М. Морса [1] і описують зв'язок алгебро топологіч. властивостей топологіч. простору з екстремальними властивостями функцій (функціоналів) у ньому. М. т. є розділом … Математична енциклопедія
ПЕРЕДАЧНА ФУНКЦІЯ - лінійної стаціонарної системи управління (системи автоматич. регулювання) Лапласа перетворення відгуку системи на вплив одиничної імпульсної функції (дельта функції) 6 (г) при нульових умовах в момент t = 0 (сам цей відгук зв. функцією … Математична енциклопедія