Вводный курс математической логики
Description
В учебном пособии содержится материал основного курса `Введение в математическую логику`, читаемого на механико-математическом факультете МГУ. Излагаются элементы теории множеств, основные понятия, относящиеся к семантике формализованных логико-математических языков первого порядка, исчисление предикатов и теорема о его полноте, дается введение в теорию алгоритмов и вычислимых функций. Для студентов математических факультетов университетов, педагогических институтов, а также других вузов с углубленным изучением информатики и кибернетики.ISBN:5-9221-0278-8
Technical Details
| author: | В. А. Успенский, Н. К. Верещагин, В. Е. Плиско |
| binding: | 60x90/16 |
| ISBN: | 5-9221-0278-8 |
| language: | Русский |
| page_extent: | 128 |
| publisher: | ФИЗМАТЛИТ |
| Type: | book |
| Weight: | 0.5 кг. |
| year: | 2002 |
| Автор: | В. А. Успенский, Н. К. Верещагин, В. Е. Плиско |
| Год издания: | 2002 |
| Дата обновления позиции: | 12-12-2021 |
| Доставка/Оплата: | Товар под заказ. До 25 рабочих дней |
| Издательство: | ФИЗМАТЛИТ |
| Код товара: | 512850 |
| Количество страниц: | 128 |
| Переплет: | Мягкий |
| Формат: | 60x90/16 |
| Язык произведения: | Русский |
Price history chart & currency exchange rate
