Раздел 44 · Логика и типы

Как читать математический текст

junior~25 мин

без входаВойди, чтобы отмечать прогресс, вести заметки и решать задачи в редакторе. войти

Агата Сомова · старший инспектор

Заключение эксперта по замку склада номер четыре. Две страницы, и Вельский уже прочитал их по-своему. Не пробегай глазами. Читай как договор: каждое слово тут что-то обещает, и каждое обещание кто-то попробует нарушить.

Судья Гранович назначил предварительное слушание. Он не примет «мы уверены» и «все так думают». Он примет доказательство: текст, где каждый шаг опирается на то, что уже установлено. Первый такой текст лежит перед тобой, и написал его не отдел, а эксперт из городской лаборатории.

Прежде чем писать доказательства самому, надо научиться их читать. Математический текст устроен не как рассказ. В нём мало слов, и у каждого точная работа. Этот урок о том, какая работа у какого слова, и о том, как читать страницу TAPL, чтобы через полчаса понимать её, а не помнить, что «там было что-то про отношения».

урок из курса

Урок из курса «Логика и типы». Курс покупается один раз и остаётся навсегда: 500 ₽.

Оплата пока не подключена: премиум и курсы открываются промокодом.