Участник:Holger

Материал из РациоВики
Перейти к навигации Перейти к поиску

Привет.

В рамках университетской программы я изучил булевскую логику и логику предикатов.

Самостоятельно - логику высказываний.

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

Я программист, и ежедневно наблюдаю за тем, как программы, используя алгоритмы и интерфейсы написанные по правилам логики, проверяемо и предсказуемо "находят друг с другом общий язык" и крайнее эффективно решают свои задачи, какие бы эти задачи ни были. И еще наблюдаю как многие люди даже не пытаются найти друг с другом общий язык, потому что уверены что не получится. Потому что "слишком сложно". Мне бы хотелось чтобы у людей было как можно больше возможностей преодолеть эту сложность без лишнего труда и поэтому я здесь.