Nikolai Kazimirov, PhD

Больше 20 лет работаю в IT-сфере, последние 5 лет занимаюсь настройками ETL-процессов и визаулизцией данных, построение отчетов для бизнеса. Являюсь Product Owner системы управления контентом.

Помимо основной работы занимаюсь основаниями математики (математичской логикой, теорией множеств, теорией вычислимости и компьютер сайнс). На эту тему веду блог в ютьюбе.

Являюсь кандидатом физико-математических наук (PhD) по специальности дискретная математика и математическая кибрнетика.

Автор книг: Архетипы математики (2019), Введение в настоящую математику (2022, совместно с Савватеевым А. В.).

Личный сайт: https://mathem.at/

Работаю с теми, кто хочет разобраться в математических основах компьютерных и естественных наук.

Помогу разобраться с формальными математическими системами, теоремами Гёделя, теорией доказательств, теорией множеств, алгеброй, топологией, линейной алгеброй, теорией вероятностей и т.д. В том числе, в контексте изучения языка Пайтон.

Могу поделиться опытом поиска работы в Европе.

- Mathematical Logic and Model Theory
- Set theory
- General Mathematics (Algebra, Topology, ...)
- Probability Theory
- Proofs and computations