Дивитися що таке "потужність логічного висновку" в інших словниках:
Індія - (на мові хінді Бхарат) офіційна назва Республіка Індія. I. Загальні відомості І. держава в Південній Азії, в басейні Індійського океану. І. знаходиться на найважливіших морських і повітряних комунікаціях, ... ... Велика радянська енциклопедія
Сколе Туральф Альберт - Сколе, вилиці (Skolem) Туральф Альберт (23.5.1887, Сансвер, - 23.3.1963, Осло), норвезький математик, логік і філософ. Закінчив університет в Осло (1913), професор там же (1938), член Норвезької АН (1938). Роботи по теорії чисел, різним ... ... Велика радянська енциклопедія
Сколе - вилиці (Skolem) Туральф Альберт (23.5.1887, Сансвер, 23.3.1963, Осло), норвезький математик, логік і філософ. Закінчив університет в Осло (1913), професор там же (1938), член Норвезької АН (1938). Роботи по теорії чисел, різним ... ... Велика радянська енциклопедія
Електроніка-60 - Тип Промислова мікроЕОМ Випущений. Випускався з ... Вікіпедія
визначення - 2.7 визначення: Процес виконання серії операцій, регламентованих в документі на метод випробувань, в результаті виконання яких отримують середнє арифметичне значення. Джерело ... Словник-довідник термінів нормативно-технічної документації
ЛОГІЧНЕ ДОКАЗ - послідовність висловлювань, частина яких є її вихідними твердженнями аксіомами, а всі інші виводяться з них за чітко зазначеним правилам виведення (основні з них дедукція, математична індукція, правило підстановки) або вводяться з ... Філософія науки: Словник основних термінів
- Реляційна інтерактивна логіка. Віктор Іванович Курганський. Книга присвячена новим інструментам рішення логічних задач. Логічна задача розглядається як система логічних рівнянь і нерівностей (Слунь). Розглядаються прості і індуктивні ... Детальніше Купити за 3426 грн (тільки Україна)