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










Категории каталога
Экономическая статистика [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]
Книги по информационным системам, информационным технологиям и тд. Вы можете скачать книгу бесплатно.


Друзья сайта




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

Гладкий А.В. Математическая логика. М.: Российск. гос. гуманит. ун-т, 1998. 479 с.
[ · Скачать удаленно (25.18 Мб) ] 28.06.2008, 10:24
Гладкий А.В. Математическая логика. М.: Российск. гос. гуманит. ун-т, 1998. 479 с. Логика. Скачать бесплатно.
Книга представляет собой учебное пособие по математической логике, осебенностями которого являются соединение строгости и доступности изложения, достигаемое благодаря отчётливому выделению основных идей и тщательной проработке деталей, и повышенное внимание к гуманитарным аспектам предмета - в частности, к его связям с естественным языком и лингвистикой. Излагаются семантика и сиснтаксис логики предложений и логики предикатов, элементы теории алгоритмов, формальная арифметика(включая теорему Гёделя о неполноте арифметики). Центральное место занимает теория доказательства, излагаемая на основе исчисления есттественного вывода. Книга содержит много задач и упражнений.
Для студентов математических и физико-математических факультетов, факультетов и отделений информатики, теоретической и прикладной лингвистики, искусственного интеллекта.
 
Название: Гладкий А.В. - Математическая логика.pdf
Размер: 25.18 Мб
Описание: Гладкий А.В. Математическая логика. М.: Российск. гос. гуманит. ун-т, 1998. 479 с.
Ссылка для скачивания файла:
 
Ключевые слова: математическая логика, логика, учебник скачать бесплатно, логика предикатов, теория алгоритмов, формальная арифметика, теорема Гёделя о неполноте арифметики, теория доказательства, лингвистика
Категория: Логика | Добавил: avorut
Просмотров: 2013 | Загрузок: 464 | Рейтинг: 4.0/1 |
 


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

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



Rambler's Top100

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


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