1. Тема 3.2. Логика предикатов
«Результат считается красивым,
если из малого числа условий удается
получить общие заключения,
относящиеся к широкому кругу объектов»
Б. Гнеденко
С помощью формальных теорий можно описать
обширный класс высказываний, называемых
предикатами.
Формальная теория
mathematics
