Что же включает в себя информатика в современном быстро меняющемся мире? Опишем составные части «ядра» современной информатики: Теоретическая информатика - часть информатики, включающая ряд математических разделов. Она опирается на математическую логику и включает такие разделы как теория алгоритмов и автоматов, теория информации и теория кодирования, теория формальных языков и грамматик, исследование операций и другие Вычислительная техника - раздел, в котором разрабатываются общие принципы построения вычислительных систем...

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