Автор работы: Пользователь скрыл имя, 03 Декабря 2013 в 10:47, контрольная работа
Математическая логика - раздел математики, изучающий доказательства и вопросы оснований математики. Применение в логике математических методов становится возможным тогда, когда суждения формулируются на некотором точном языке. Такие точные языки имеют две стороны: синтаксис и семантику. Синтаксисом называется совокупность правил построения объектов языка (обычно называемых формулами).