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

Cтраница 2

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

Математическая логика является частью формальной логики и служит теоретической основой построения электронных вычислительных машин и цифровых устройств. [17]

Двоичные функции одного двоичного переменного. [18]

Математическая логика - раздел общей логики, разработанный применительно к потребностям математики при широком использовании математических методов. [19]

Математическая логика и теория множеств с их концепциями и символикой имеют исключительно важное значение для строгого описания алгоритмов самых различных процессов обработки информации, происходящих в АСУ. [20]

Математическая логика - это наука, изучающая формы и законы логических заключений в математике. [21]

Вне математической логики в связь Л - В вкладывают более узкий смысл: если Л 1, то В I. [22]

Математической логикой называют науку, изучающую математические доказательства. Алгеброй логики ( булевой алгеброй) называют раздел математической логики, изучающий связи между переменными, имеющими только два значения. Одному значению приписывают термин истинно или 1, а другому - ложно или О. Эти переменные называют логическими переменными или высказываниями. [23]

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

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

Буля математическая логика не имела того важнейшего прикладного значения, которое ей придается сейчас. С изобретением в 1918 г. Бонч-Бруевичем принципа триггерного кольца или просто триггера появилась возможность реализовать уравнения Буля, а следовательно, и часть логики Аристотеля в электрических и электронных устройствах. [26]

Особенно интенсивно математическая логика развивается в последние годы. Ее бурное развитие вызвано потребностями техники и в первую очередь вычислительной техники, автоматики, телемеханики и связи. [27]

Основу математической логики составляет алгебра логики или исчисление высказываний. [28]

Основой математической логики является так называемое исчисление предложений. Оно определяет структуру сложных предложений, построенных с помощью логических связок вида И, ИЛИ, НЕ. Основой же исчисления являются простейшие предложения, каждое из которых может быть истинным либо ложным. Путем логического соединения простейших предложений при помощи связок И, ИЛИ, НЕ строятся сложные предложения, формальным путем описывающие функции логической обработки информации. [29]

Из математической логики известно, что действия (1.9) - (1.11) определяют полную систему булевых функций. [30]

Страницы: 1 2 3 4