ПОИСК Статьи Рисунки Таблицы Элементы математической логики из "Программирование " Математическая логика — раздел общей логики, разработанный применительно к потребностям математики при широком использовании математических методов. В течение длительного времени математическая логика была только наукой, изучающей математические доказательства. С появлением программно-управляемых машин она приобрела также прикладное значение. [c.34] Вернуться к основной статье