Математическая логика

Математической логикой (теоретической логикой, символической логикой) называется раздел математической науки, который изучает доказательства и вопросы основания математики. В соответствии с определением П. С. Порецкого, «математической логикой называется математика по методу, логика по предмету,». В соответствии с определением Н. И. Кондакова, «математической логикой называется вторая, после традиционной логики, ступень развития логики формальной, применяющей математический метод и специальные аппараты символов и исследующие мышление при помощи вычислений (формализованных языков).»

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