Дата отгрузки на данный момент неизвестна.
Товар закончился у основного поставщика, и, после получения заказа от вас, мы закажем его у других поставщиков. Мы не можем гарантировать выполнение данного заказа, поэтому настоятельно не рекомендуем заказывать данный товар, используя предоплату (банковский перевод и т.п.). Заказ на такой товар действителен в течение 3 недель (если в течение 3 недель товар не придет, заказ будет отменен). Однако, это не означает, что товар нельзя заказать вновь, поскольку в некоторых случаях возможны и более поздние поставки.
Технические характеристики
Учебник создан в соответствии с требованиями Федерального государственного образовательного стандарта среднего профессионального образования по специальностям укрупненной группы «Информатика и вычислительная техника»; ЕН.02 «Элементы математической логики». В учебнике представлены с двух точек зрения — содержательной (семантической) и формальной (синтаксической) — два основных раздела математической логики — алгебра высказываний и логика предикатов. Теоремы о полноте в этих разделах устанавливают взаимосвязи между этими двумя составными частями математической логики. Рассмотрено, как математическая логика проникает в математические теории — на содержательном и формальном уровнях, — становясь основой аксиоматического метода и превращая математические теории в аксиоматические — содержательные и формальные. Для студентов учреждений среднего профессионального образования.