книга

Прикладная логика

Автор: Николай Непейвода

Форматы: PDF

Издательство: Издательство Новосибирского университета

Год: 2000

Место издания: Новосибирск

ISBN: 5-7615-0490-1

Страниц: 521

Артикул: 19450

Электронная книга

140 ₽

Купить и скачать

Читать фрагмент

Аннотация

Краткая аннотация книги "Прикладная логика"

Данное пособие является элементарным введением в язык современной математики и методы современной математической логики. Его можно использовать совместно с обучающими программами высокого уровня.
Рекомендуется для студентов и аспирантов специальностей: "Математика", "Прикладная математика", "Структурная прикладная лингвистика", "Философия", "Когнитивная психология".

Содержание

Содержание книги "Прикладная логика"

Введение
Часть I . Язык математики
1. Необходимость точного языка в математике
2. Простейшие высказывания
3. Запись высказываний. Логические формулы
4. Методы перевода с естественного языка на математический и обратно
5. Базовые математические понятия
Часть II. Классическая логика
6. Индукция и определения
7. Введение в синтаксис
8. Семантика классической логики
9. Семантические таблицы для классической логики
10. Элементы нестандартного анализа
11. Естественный вывод в классической логике
12. Основы теории определений
13. Неполнота и неформализуемость
Часть III. Введение в неклассические логики
14. Основы λ-исчисления
15. Корни неклассических логик
16. Интуиционистская логика
17. Семантики Крипке и базирующиеся на них логики
18. Проблема отрицания
19. Доказательства и программы
Литература
Предметный указатель
Персоналии

Отзывы

Все отзывы о книге Прикладная логика

Чтобы оставить отзыв, зарегистрируйтесь или войдите

Отрывок из книги Прикладная логика

18ГЛАВА2.ПРОСТЕЙШИЕ ВЫСКАЗЫВАНИЯ•Модальностиприменяются к высказываниям и изменяют нашеотношениек ним.Например,модальностью является“По словамСталина. . . ”•Кванторные конструкцииприменяются к совокупности однород-ных(отличающихся лишь значениями некоторых параметров)вы-сказываний либо выражений и дают единое высказывание либовыражение,не зависящие от упомянутых выше параметров.На-пример,таковы“Большинство. . . ”, “Все. . . ”Порою кванторныеконструкции подразумеваются,как,например,в(2.16).К несчастью,во многих естественных языках(особенно в русском)модальности,оценки связаны почти с каждым словом.Например,гово-ря: “иA,иB”,мы подчеркиваем равноправие двух утверждений,а“нетолькоA,но иB” —наоборот,предпочтительность одного из них.Помимо высказываний,в естественном языке имеется множествопредложений такой же грамматической структуры,которые тем не ме-нее принципиально не могут иметь четкой и однозначной интерпрета-ции.Их мы назовемквазивысказываниями.Например,квазивысказываниями являются утверждения о субъек-тивных чувствах,скажем, “Саша любит Машу”.Беда даже не в том,чтопонятие любви неточно.Оно,прежде всего,неформализуемо,то естькаждая его формализация немедленно вызывает к жизни контрприме-ры4.Далее,оно принципиально непроверяемо,поскольку относится квнутреннему миру человека и понимается разными людьми совершен-но неодинаково.Тем не менее методы логики,и даже математической логики,разра-ботанные для высказываний,интенсивно применяются(прежде всегов современных философии и“искусственном интеллекте”5)к квазивы-сказываниям.Да и мы будем интенсивно пользоваться квазивысказыва-4Изобретение таких контрпримеров в исторические моменты,когда возникает прак-тически общепринятое уточнение понятия любви,является одним из излюбленных за-нятий литераторов и поэтов.Впрочем,т.н. “творческая интеллигенция”во всем миреочень любит разрушать устоявшиеся системы взглядов,совершенно не задумываясь опоследствиях,почему И.А.Крылов и поместил в аду писателя в худшие условия,чемразбойника...

С книгой "Прикладная логика" читают

Прикладная логика

Аннотация

Содержание

Отзывы

Краткая аннотация книги "Прикладная логика"

Содержание

Все отзывы о книге Прикладная логика

Отрывок из книги Прикладная логика

С книгой "Прикладная логика" читают

Бестселлеры нон-фикшн

Новинки книги нон-фикшн

Непейвода Н. Н. другие книги автора