Я прочел 1 главу книги "Математическая логика и теория алгоритмов" и к этой главе есть несколько комментариев.
1) На мой взгляд было бы не лишним в книге более подробно описать смысл функции истинности λ(P).
Дело в том, что даже если читатель знает значение термина функция, то из этого не следует, что он сразу поймет, что такое функция истинности
(
Read more... )