Логика

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

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

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