Все наши посылки проходят обеззараживание!
Рассмотрены основные формальные аксиоматические теории: элементарная арифметика и теория множеств Цермело-Френкеля. Теория алгоритмов представлена теорией вычислимости, в рамках которой дано несколько точных определений понятия алгоритма (машины Тьюринга, нормальные алгоритмы Маркова, лямбда-исчисление, частично рекурсивные функции) и доказана неразрешимость ряда проблем, среди которых проблема остановки машин Тьюринга, проблема равенства для полугрупп, проблемы общезначимости и выводимости для исчисления предикатов. Рассмотрены теоремы Гёделя о неполноте. Изложено исчисление Хоара для формального доказательства корректности программ некого императивного языка программирования. В книге имеется более 200 упражнений.
Учебное пособие адресовано в первую очередь студентам, обучающимся по направлениям подготовки укрупнённых групп «Компьютерные и информационные науки», «Информатика и вычислительная техника», но будет полезно и студентам группы направлений «Математика и механика», а также всем желающим начать систематическое изучение математической логики.
|
Артикул
|
04789628 |
|
Автор
|
Герасимов Александр Сергеевич |
|
Серия
|
Математика |
|
Переплёт
|
твердый |
|
Страниц
|
416 |
|
Иллюстрации
|
отсутствуют |
|
Год издания
|
2015 |
Как оформить заказ
Оформить заказ на нашем сайте легко. Просто добавьте выбранные товары в корзину, а затем перейдите на страницу Корзина, проверьте правильность заказанных позиций и нажмите кнопку «Оформить заказ».
Оформление заказа
Если вы уверены в выборе, то можете самостоятельно оформить заказ, заполнив по этапам всю форму.
Заполнение адреса
Выберите из списка название вашего региона и населённого пункта. Если вы не нашли свой населённый пункт в списке, выберите значение «Другое местоположение» и впишите название своего населённого пункта в графу «Город». Введите правильный индекс.
Доставка
В зависимости от места жительства вам предложат варианты доставки. Выберите любой удобный способ. Подробнее об условиях доставки читайте в разделе «Доставка».
Оплата
Выберите оптимальный способ оплаты. Подробнее о всех вариантах читайте в разделе «Оплата»
Покупатель
Введите данные о себе: ФИО, адрес доставки, номер телефона. В поле «Комментарии к заказу» введите сведения, которые могут пригодиться курьеру, например: подъезды в доме считаются справа налево.
Оформление заказа
Проверьте правильность ввода информации: позиции заказа, выбор местоположения, данные о покупателе. Нажмите кнопку «Оформить заказ».
Наш сервис запоминает данные о пользователе, информацию о заказе и в следующий раз предложит вам повторить к вводу данные предыдущего заказа. Если условия вам не подходят, выбирайте другие варианты.
Вы можете выбрать один из вариантов оплаты:
PayPal (оплата online)
Для оплаты вы можете воспользоваться электронной международной платёжной системой PayPal. Вас перенаправит на страницу платежного сервиса, следуя инструкциям, заполните форму.
Наш PayPal аккаунт: payment@knigi-janzen.de. При оплате обязательно указывайте номер заказа.
Банковский перевод
При оформлении заказа в корзине вы можете выбрать вариант оплаты банковский перевод. Вам будет в автоматическом режиме предоставлены реквизиты для оплаты через банк вашего заказа.
Почтовая доставка DHL
Мы доставляем все товары через службу экспресс-доставки DHL
Срок доставки
От 12-17 рабочих дней в зависимости от наличия товара на складе, количество заказываемых книг (позиций) и загруженности службы доставки.
Нужна консультация?
Наши специалисты ответят на любой интересующий вопрос