Пятый (Артемьева А)

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

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