Байка про мойку...

Не помню, рассказывал ли я эту историю из своего децтва. Если рассказывал, не убивайте. Видимо, склероз...

Дело было в Астрахани в застойные годы...

( Read more... )

Проект "логика для чайников". Параграф 18.

Теоремы, гипотезы, аксиомы, доказательства

Давайте рассмотрим пример дедуктивной системы. Возьму что-нибудь не слишком серьезное и не
слишком строгое (ведь это всего лишь пример).
( Read more... )