Логика

Сфера IT не была бы возможной без математики и математической логики, в частности. Ведь именно она изучает комбинаторику, модели, множества, рекурсию и многие другие разделы математики, являющиеся фундаментальными в алгоритмизации, а значит и программировании в целом.

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