История развития математической логики

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

10.10.2014 | Математическая логика и теория алгоритмов | Математика | Язык: русский | Просмотры: 107