Информация о книге

9785449901262

Главная  » Электронные книги, аудиокниги » Прикладная логика

Непейвода Н.Н., Прикладная логика

Директ-Медиа, 2019 г., 576 стр., 9785449901262


Описание книги

Данное пособие содержит введение в язык современной математики и методы современной логики, основные важнейшие для приложений и методологии результаты логики ХХ века, советы по применению методов и методологии логики в информатике и информационном анализе сложных задач, методологический и философский анализ следствий приведённых результатов и методов. Впервые в мировой литературе оно содержит систематическое изложение конструктивной математики с точки зрения как современной информатики, так и многоуровневого анализа её успехов и уроков. Его можно использовать совместно с обучающими программами высокого уровня и программами проверки рассуждений, подобными AGDA.Рекомендовано Государственным комитетом Российской Федерации по высшему образованию в качестве учебного пособия для студентов высших учебных заведений, обучающихся по специальностям «Математика», «Прикладная математика», «Лингвистика», «Философия» и «Психология».Предыдущие версии книги выпущены издательствами УдГУ, 1997 (1-е издание); НГУПресс, 2000 г. (2-е издание, исправленное и дополненное).Текст приводится в авторской редакции.

Поделиться ссылкой на книгу



Содержание книги

Введение xIn.1. Что такое современная логика?In.2. Методологические принципы
на которых основано данное изложениеIn.3. Как работать с данной книгой?In.4. Введение ко второму изданиюIn.5. Введение к третьему изданиюI Язык математики......11. Необходимость точного языка в математике......22. Простейшие высказывания......133. Запись высказываний. Логические формулы......264. Методы перевода с естественного языка на математический и обратно......385. Базовые математические понятия......62II Классическая логика......1156. Индукция......1167. Введение в синтаксис......1388. Семантика классической логики......1559. Семантические таблицы для классической логики......17010. Элементы нестандартного анализа......21311. Естественный вывод в классической логике......23412. Основы теории определений......26613. Неполнота и нефорализуемость......273III Введение в неклассические логики......30514. Основы -исчисления......30615. Корни неклассических логик......32416. Интуиционистская логика......33917. Семантики Крипке и базирующиеся на них логики......37418. роблема отрицания......381IV Конструктивные и методологические аспекты логики......38919. Конструктивизм......39120. лгорит и реализуе ость......42821. Интуиционизм как альтернатива алгоритмическому конструктивизму......44522. Доказательства и программы......45923. Методологические следствия теорем о неполноте......46724. Прикладная логика......48525. Формализация и деформализация......489Общие принципы и выводы. В ажн е йши е определения......510



Об авторе

Непейвода Н.Н.


Последние поступления в рубрике "Электронные книги, аудиокниги"



Tod eines Soldaten Tod eines Soldaten Klinkhammer ".
Seltene Hunderassen aus aller Welt Seltene Hunderassen aus aller Welt Frey F.
Vulpes Lupus Canis Gajaze K.

Если Вы задавались вопросами "где найти книгу в интернете?", "где купить книгу?" и "в каком книжном интернет-магазине нужная книга стоит дешевле?", то наш сайт именно для Вас. На сайте книжной поисковой системы Книгопоиск Вы можете узнать наличие книги Непейвода Н.Н., Прикладная логика в интернет-магазинах. Также Вы можете перейти на страницу понравившегося интернет-магазина и купить книгу на сайте магазина. Учтите, что стоимость товара и его наличие в нашей поисковой системе и на сайте интернет-магазина книг может отличаться, в виду задержки обновления информации.