В учебном пособии содержится материал основного курса "Введение в математическую логику", читаемого на механико-математическом факультете МГУ. Излагаются элементы теории множеств, основные понятия, относящиеся к семантике формализованных логико-математических языков первого порядка, исчисление предикатов и теорема о его полноте, дается введение в теорию алгоритмов и вычислимых функций. Для студентов математических факультетов университетов, педагогических институтов, а также других вузов с углубленным изучением информатики и кибернетики.
Дополнительно: ТОРГА нет.
Доставка ПО РОССИИ почтой, полная предоплата на карту Сбербанка, Тинькофф.
ВНИМАНИЕ! Отправка в Курскую и Белгородскую области - БЕСПЛАТНО, вы платите мне только за книги, акция Почты России.
В УДОБНОМ виде все рубрики моих книг смотрите по ссылке http://www.libex.ru/ppl/list27879/
УПАКОВКА КНИГ- проверенная многолетним опытом пересылок, постоянно модернизируемая и гарантирующая д... [подробнее]
Дополнительно: Отправляю книги Почтой России. Наложенным платежом стараюсь не пользоваться, отправляю без наложенного платежа с оплатой по факту получения. При пересылке по почте учитывайте, что кроме цены книги Вам придется оплатить и пересылку. Пакую книги в свою упаковку, за пересылку лишних денег не требую. В Москве предпочитаю личные встречи - это экономит деньги и время, но и почтой не брезгую.