Математическая логика.
Название: Математическая логика
Автор: Гладкий А.В.
Издательство: РГГУ
ISBN: 5-7281-0025-2
Год издания: 1998
Страниц: 479
Язык: Русский
Формат: DJVU, PDF
Качество: среднее
Размер: 39,74 Мб
Описание:
Книга представляет собой учебное пособие по математической логике, особенностями которого являются соединение строгости и доступности изложения, достигаемое благодаря отчетливому выделению основных идей и тщательной проработке деталей, и повышенное внимание к гуманитарным аспектам предмета - в частности, к его связям с естественным языком и лингвистикой. Излагаются семантика и синтаксис логики предложений и логики предикатов, элементы теории алгоритмов, формальная арифметика (включая теорему Геделя о неполноте арифметики). Центральное место занимает теория доказательства, излагаемая на основе исчисления естественного вывода. В книге дано новое изложение аристотелевской силлогистике, с учетом достижений современной лингвистической семантики. Книга содержит много задач и упражнений.
Для студентов математических и физико-математических факультетов, факультетов и отделений информатики, теоретической и прикладной лингвистики, искусственного интеллекта.
| Рейтинг: | 4.8 баллов / 2537 оценок |
| Формат: | Книга |
| Уже скачали: | 12854 раз |
Похожие Книги
Нам показалось, что Книги ниже Вас заинтересуют не меньше. Эти издания Вы так же можете скачивать и читать совершенно бесплатно на сайте!
-
Стрелковое Оружие России. Новые модели
Чарли Катшоу Издательство: Эксмо-Пресс Год издания: 2002 Страниц: 240 ISBN: 5-04-008991-0 Язык: русский Формат: PDF Размер: 40 Мб Символом российского стрелкового оружия второй половины XX . . .
-
Логика и теория алгоритмов. Сборник методичеcких материалов.
Год издания: 2012 Страниц: много Язык: русский Формат: PDF Размер: 11.34 mb Логика и теория алгоритмов. Сборник методичеcких материалов. . Данный сборник содержит методические материалы для . . .
-
Биохимия зерна и хлеба
Кретович В. Л. Издательство: Наука Год издания: 1991 Страниц: 136 Язык: русский Формат: PDF Размер: 24.21 Мб Книга содержит сведения о структуре и химическом составе зерна и его отдельных . . .
-
Кто боится английских глаголов? Пособие для изучающих, изучавших и недоучивших английский язык
Цебаковский Сергей Издательство: Титул Год издания: 2000 Страниц: 112 ISBN: 5-86866-156-7 Язык: русский Формат: PDF Размер: 16.6 Мб Автор считает, что ключи от английского языка находятся . . .
-
Ораторское искусство - путь к успеху
Данкел Ж., Парихэм Э. Издательство: Питер Пресс Год издания: 1997 Страниц: 192 ISBN: 5-88782-201-5 Язык: русский Формат: DJVU Размер: 0,8 Мб Представьте себе, что вам предстоит заключить м . . .
-
Поль Лам. Тайцзи для здоровья - 6 форм / Paul Lam. Tai Chi for Health — The 6 Forms (2010/DVDRip)
Поль Лам / Paul Lam Издательство: Австралия Год издания: 2010 Страниц: 01:47:03 Язык: английский Формат: Видео Размер: 709,92 MB Комплекс из 6-ти форм был разработан мастером Полем Ламом дл . . .
-
Cамодельные медицинские приборы
И. Шумицкий Издательство: электронное Год издания: 2010 Страниц: 178 Язык: русский Формат: PDF Размер: 27,2 мб В книге представлены лучшие конструкции медицинских приборов, разработанные ра . . .
-
Тай-чи для начинающих / Tai Chi for Beginners (2011/DVDRip)
Dr. Paul Lam Издательство: USA Год издания: 2011 Страниц: 01:30:00 Язык: английский Формат: Видео Размер: 812,5 MB Доктор Лам демонстрирует основы Тай-цзы "для чайников", все грамотно объяс . . .
-
Интимные и лечебные практики фонтанов Дао (2010/DVDRip)
А.Н. Медведев Издательство: Россия Год издания: 2010 Страниц: 1:33:00 Язык: русский Формат: Видео Размер: 524,87 Мб Лекция А.Н.Медведев "Интимные и лечебные практики фонтанов Дао" от 20.02. . . .
-
Удивительное очищение печени
Андреас Мориц Издательство: Попурри Год издания: 2007 Страниц: 272 ISBN: 978-985-15-0478-3 Язык: русский Формат: PDF Размер: 5.23 Мб Книга раскрывает причины появления камней в печени и же . . .
Вы не зарегистрированы!
Если вы хотите скачивать книги, журналы и аудиокниги бесплатно, без рекламы и без смс, оставлять комментарии и отзывы, учавствовать в различных интересных мероприятиях, получать скидки в книжных магазинах и многое другое, то Вам необходимо зарегистрироваться в нашей Электронной Библиотеке.
Отзывы читателей
Ой!
К сожалению, в нашей Бесплатной Библиотеке пока нет отзывов о Книге Математическая логика.. Помогите нам и другим читателям окунуться в сюжет Книги и узнать Ваше мнение. Оставьте свой отзыв или обзор сейчас, это займет у Вас всего-лишь несколько минут.