ГлавнаяРегистрацияВход Аворут
Пятница, 29.03.2024, 17:16
Форма входа
Меню сайта










Категории каталога
Экономическая статистика [4]
Книги по экономической статистике: статистика труда, статистика населения и трудовых ресурсов, статистика финансов, статистика кредитных операций и операций с ценными бумагами и тд. Вы можете скачать книгу бесплатно.
Логика [15]
Книги по логике и математической логике и тд. Вы можете скачать книгу бесплатно.
Дискретная математика [23]
Книги по дискретной математике и тд. Вы можете скачать книгу бесплатно.
Эконометрия (эконометрика) [16]
Книги по эконометрике (эконометрии)и тд. Вы можете скачать книгу бесплатно.
Исследование операций [10]
Книги по математическим методам и моделям, исследованию операций, математическому программированию и тд. Вы можете скачать книгу бесплатно.
Математические методы и модели [11]
Книги по математическим методам и моделям, исследованию операций, математическому программированию и тд. Вы можете скачать книгу бесплатно.
Теория графов [24]
Книги по теории графов и тд. Вы можете скачать книгу бесплатно.
Логистика [3]
Книги по логистике и тд. Вы можете скачать книгу бесплатно.
Математическое программирование [19]
Книги по математическим методам и моделям, исследованию операций, математическому программированию и тд. Вы можете скачать книгу бесплатно.
Другие книги [4]
В эту категорию вошли книги, для которых ещё не создан раздел или его было трудно определить
Сметное дело в строительстве [2]
Книги по сметному делу в строительстве и тд. Вы можете скачать книгу бесплатно.
Информатика. MS Excel [2]
Книги по информатике, программированию: табличный процессор MS Excel и тд. Вы можете скачать книгу бесплатно.
Информатика. MS Access [2]
Книги по информатике, программированию: система управления базами данных MS Access и тд. Вы можете скачать книгу бесплатно.
Психология. Принятие решений [3]
Книги по психологии принятия решений и тд. Вы можете скачать книгу бесплатно.
Психология. Коучинг [3]
Книги по психологии:коучинг и тд. Вы можете скачать книгу бесплатно.
Финансовый анализ [8]
Книги по финансовому анализу: технический и фундаментальный анализ, рекомендации для игры на бирже и тд. Вы можете скачать книгу бесплатно.
Финансовая математика [2]
Книги по финансовой математике и тд. Вы можете скачать книгу бесплатно.
Теория игр [7]
Книги по теории игр и тд. Вы можете скачать книгу бесплатно.
Теория вероятностей и математическая статистика [53]
Книги по теории вероятностей, математической статистике и тд. Вы можете скачать книгу бесплатно.
Информационные системы и технологии [14]
Книги по информационным системам, информационным технологиям и тд. Вы можете скачать книгу бесплатно.


Друзья сайта




Главная » Файлы » Книги скачать бесплатно » Логика

Успенский В. А., Верещагин Н. К., Плиско В. Е. Вводный курс математической логики. — 2-е изд. — М.: ФИЗМАТЛИТ, 2004. — 128 с.
[ · Скачать удаленно (862.87 кб) ] 13.08.2008, 11:35
Успенский В. А., Верещагин Н. К., Плиско В. Е. Вводный курс математической логики. — 2-е изд. — М.: ФИЗМАТЛИТ, 2004. — 128 с. Логика. Скачать бесплатно.
В учебном пособии содержится материал основного курса «Введение в математическую логику», читаемого на механико-математическом факультете МГУ. Излагаются элементы теории множеств, основные понятия, относящиеся к семантике формализованных логико-математических языков первого порядка, исчисление предикатов и теорема о его полноте, дается введение в теорию алгоритмов и вычислимых функций. Для студентов математических факультетов университетов, педагогических институтов, а также других вузов с углубленным изучением информатики и кибернетики.
 
Название: Успенский Верещагин Плиско Вводный курс математической логики.djvu
Размер: 862.87 кб Описание: Успенский В. А., Верещагин Н. К., Плиско В. Е. Вводный курс математической логики. —2-е изд. —М.: ФИЗМАТЛИТ, 2004. — 128 с.
Ссылка для скачивания файла: http://yildiz.ifolder.ru/7695328
 
Ключевые слова: математическая логика, логика, скачать бесплатно учебник по логике, книга по логике, теория множеств, предикаты, исчисление предикатов, теория алгоритмов
Категория: Логика | Добавил: avorut
Просмотров: 4096 | Загрузок: 989 | Рейтинг: 0.0/0 |
 


Заказ контрольной работы

www.ru yandex.ru rambler.ru google.com



Rambler's Top100

каталог сайтів Каталог україномовних сайтів Каталог україномовних сайтів


 
Поиск
Copyright MyCorp © 2024
Хостинг от uCoz