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