Непейвода Н.Н., Прикладная логика
Издательство Новосибирского университета, 2000 г., 521 стр., 5761504901 , 220*148*33 мм., тираж: 2000
Описание книги
Данное пособие является элементарным введением в язык современной математики и методы современной математической логики. Его можно использовать совместно с обучающими программами высокого уровня.br/Рекомендуется для студентов и аспирантов специальностей: "Математика", "Прикладная математика", "Структурная прикладная лингвистика", "Философия", "Когнитивная психология".
Поделиться ссылкой на книгу
Содержание книги
Введение......Часть I . Язык математики......11. Необходимость точного языка в математике......32. Простейшие высказывания......153. Запись высказываний. Логические формулы......314. Методы перевода с естественного языка на математический и обратно......455. Базовые математические понятия......73Часть II. Классическая логика......1376. Индукция и определения......1397. Введение в синтаксис......1678. Семантика классической логики......1899. Семантические таблицы для классической логики......20910. Элементы нестандартного анализа......26011. Естественный вывод в классической логике......28812. Основы теории определений......33013. Неполнота и неформализуемость......339Часть III. Введение в неклассические логики......37914. Основы #955;-исчисления......38115. Корни неклассических логик......39516. Интуиционистская логика......41217. Семантики Крипке и базирующиеся на них логики......45218. Проблема отрицания......45919. Доказательства и программы......469Литература......479Предметный указатель......482Персоналии......489
Об авторе
Последние поступления в рубрике "Электронные книги, аудиокниги"
 |
Tod eines Soldaten Klinkhammer ". |
 |
Seltene Hunderassen aus aller Welt Frey F. |
 |
Vulpes Lupus Canis Gajaze K. |
Если Вы задавались вопросами "где найти книгу в интернете?", "где купить книгу?" и "в каком книжном интернет-магазине нужная книга стоит дешевле?", то наш сайт именно для Вас. На сайте книжной поисковой системы Книгопоиск Вы можете узнать наличие книги Непейвода Н.Н., Прикладная логика в интернет-магазинах. Также Вы можете перейти на страницу понравившегося интернет-магазина и купить книгу на сайте магазина. Учтите, что стоимость товара и его наличие в нашей поисковой системе и на сайте интернет-магазина книг может отличаться, в виду задержки обновления информации.
