В данной статье мы поговорим о математической логике, разберем основные операции и ассоциируем их с реальным миром. Математическая логика — это раздел современной формальной логики, в котором логические...

Эта статья для тех, кому надоело, что математическое формулы задаются по-разному в различных текстовых процессорах (Google Docs, Microsoft Word...), кто хочет использовать универсальный единый способ их записи. Данную задачу с успехом решает система компьютерной верстки LaTeX, которая поддерживается популярным офисным ПО (в Microsoft Word - на панели уравнение требуется выбрать пункт LaTeX, в Google Docs - происходит автоматическое распознавание символов). Запись формул по правилам данной системы также поддерживается в Markdown ячейках Jupyter Notebook...