Формальний вивід та логічні обчислення
Моментальне завантаження
після оплати (24/7)
Широкий вибір форматів
(для всіх пристроїв)
Повна версія книги
(в т.ч. для Apple та Android)
У монографії аналізуються різні способи логічного мислення: логістичні системи типу Гільберта, системи натурального виведення та секвенційні обчислення. Показано, як зміна уявлення про формальний висновок впливає на клас доказуваних формул, а також умови, за яких справджується теорема дедукції. Представлена досить природна класифікація логічних систем. Детально вводиться та досліджується основоположне для цієї класифікації абсолютне обчислення предикатів.
LF/365086208/R
Характеристики
- ФІО Автора
- Смирнов В.А.
- Мова
- Російська
- Дата виходу
- 1972
9 книг цього ж автора
Товари з цієї категорії:
У монографії аналізуються різні способи логічного мислення: логістичні системи типу Гільберта, системи натурального виведення та секвенційні обчислення. Пока...