Книги для всех. Найди свою книгу. Скачать книги. Скачать книги бесплатно.
Информация
Нехудожественная литература
Художественная литература
Книга для тех кто понял, что пора изменить свою жизнь:
Турбосуслик
Турбо-Суслик
Дополнительно

Успенский В. А., Верещагин Н. К., Плиско В. Е. Вводный курс математической логики.
скачать книгу Успенский В. А., Верещагин Н. К., Плиско В. Е. Вводный курс математической логики.

Аннотация:

В учебном пособии содержится материал основного курса «Введение в математическую логику», читаемого на механико-математическом факультете МГУ. Излагаются элементы теории множеств, основные понятия, относящиеся к семантике формализованных логико-математических языков первого порядка, исчисление предикатов и теорема о его полноте, дается введение в теорию алгоритмов и вычислимых функций. Для студентов математических факультетов университетов, педагогических институтов, а также других вузов с углубленным изучением информатики и кибернетики.

Раздел: Математическая логика. Теория множеств. Алгебра логики

Страниц: 128 стр.

Год издания: 2004 год.

Размер: 856.0 kb.

Файл: *.djvu.


Ссылка взята с сайта http://www.abooks40.narod.ru/

Скачать: Успенский В. А., Верещагин Н. К., Плиско В. Е. Вводный курс математической логики.



Поделиться ссылкой:


 

Алфавитный каталог по фамилиям авторов. Нехудожественная литература.

| A || А || Б || В || Г || Д || Е || Ж || З || И || Й || К || Л || М || Н || О || П || Р || С || Т || У || Ф || Х || Ц || Ч || Ш || Щ || Э || Ю || Я |


Сайт не предоставляет электронные книги, а занимается индексированием файлов, находящихся в файлообменных сетях и общедоступных местах интернета. Все права на произведения принадлежат правообладателям. Если вы являетесь правообладателем произведения, проиндексированного на нашем сайте и не желаете чтобы ссылка на него находилась в нашем каталоге, свяжитесь с нами и мы удалим её.


Написать администратору support@books4all.ru


Рейтинг@Mail.ruRambler's Top100Яндекс.Метрика