Логика

Логика – математический раздел, создание которого инициировал своей работой «Искусство комбинаторики» в 1666-м году великий математик Лейбниц. В этом разделе изучается в целом природа осуществляемых в математике доказательств, вычислимость, доказуемость суждений и иные базисные аспекты математики.

Сфера использования математической логики в первую очередь распространяется на информатику. Само изначальное появление ЭВМ и развитие в сегодняшнем мощном виде стало возможно, благодаря задействованию ее методов.

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

Логика

Таблица истинности
логическая функция
Сообщить об ошибке