Книга объединяет в себе три раздела математики: математическая логика, теория множеств и арифметика. Последнюю, наверное, в меньшей степени. Структура построения книги примерно такая:
- сначала мы знакомимся с определениями логики
- потом учимся строить из этих определений конструкции, чтобы описывать простейшие доказательства
- затем переходим к тому, что утверждения - это не просто ИСТИНА и ЛОЖЬ, а что-то что зависит от переменных
- дальше сложный переход к тому, что переменные, функции, числа - это то чего мы пока не знаем, и их надо как-то ввести в оборот, поэтому начинается теория множеств
- чтобы лучше её понимать, тренируемся на котиках под названием конгуэтность
- последние главы я уже только читал, потому что пошло внедрение сортировки и объединения упорядоченных множеств
- а дальше кольца, группы и полу группы
Вывод тут такой: книжка - хорошая, но не для начального уровня. Даже не так, первая половина книги отлично справляется с вкатыванием в математическую логику, а вот теория множеств дана на продвинутом уровне. Возможно, что я тут не прав. (:
Из самого клёвого что было найдено - это как строить математические доказательства.
Цитаты
- 202505270850: -