Основная логика & mdash; & mdash; Проблемы с коррекцией мышления и выражения исследуют Feng Qi из существующих формальных логических учебников и профессиональных учебников по математической логике
Вес товара: ~0.7 кг. Указан усредненный вес, который может отличаться от фактического. Не включен в цену, оплачивается при получении.
Описание товара
Основная логика——Мышление и выражение расследования правильности
Ценообразование168.00
ИздательScience Press
Издание3101
Опубликованная датаСентябрь 2020 года
форматB5
авторФэн Ци
УкраситьОплата в мягкой обложке
Количество страниц409
Число слов523000
Кодирование ISBN9787030658968
Эта книга направлена на систематическую интерпретацию логики, которая обеспечивает мышление и выражает правильность для всех молодых ученых, которые готовы думать и рационально рассмотреть.Можно сказать, что логика - это инструмент, который готов быть серьезным и рациональным мышлением.Его прототип является формой формальной логики древнегреческого философа Аристотеля.Он развивался с тех пор, как семнадцатый век развивался и интегрировал интеллектуальные продукты, которые способствовали выдающимся вкладам, таким как Лейбниц, Булеан, Фредер, Контел, Готику, Тарски и т. Д.Эта книга объяснит читателям, какие композиции, какие функции системных инструментов и как их можно применять.Это включает в себя“число”и“рассчитать”Концептуальный анализ и теоретическая интерпретация, формальная логика и реализация логической схемы, эффективность, надежность и полнота формальной логической системы, подходящие для синонимической логики для решения реальных проблем, эффективности, надежности и полноты логики синонимов, как прекрасная теория базовой коллекции. концептуального текста.Эта книга также объяснит читателям значение свободы и последовательности отправной точки в процессе рационального мышления.
Автор надеется, что эта книга представляет собой книгу самостоятельного изучения между существующими формальными логическими учебниками и профессиональными учебниками по математической логике.Хотя эта книга на самом деле показывает основное содержание математической логики в форме синонимической логики, в центре внимания книги не является основа математики и математики, а философия, право, экономика и другие социальные науки, потому что автор действительно надеется на них Поля Многие молодые читатели могут извлечь из этого пользу.Автор даже надеется, что многие молодые читатели во многих науках могут извлечь выгоду из этой книги.
“Если вы хотите быть хорошим в работе, вы должны сначала принести пользу своему инструменту”Сущность“Сердца чиновники”, Мышление должно использовать острые инструменты.
Предисловие
Глава 1 Цитата: номер 1
Глава 2 Логика предложения 39
2.1 Основные вопросы 40
2.2 Суждение 40
2.2.1 Отрицательное суждение 42
2.2.2 Анализ суждения 46
2.2.3 Боевое решение 51
2.2.4 содержит решение 52
2.2.5 Сравнение эквивалентности 56
2.3 Реальная и ложная индикация и расчет 57
2.3.1 Реальная и ложная алгебра 57
2.3.2 Абстрактная логика Дверь 65
2.3.3 Электронная логическая затвора 67
2.4 Анализ суждения 75
2.4.1 Предложение 77
2.4.2 Логическое назначение 83
2.4.3 Пример расчета логического назначения 95
2.4.4 Логическая функция и истинное значение Таблица 99
2.4.5 полезная и относительная истина 101
2.4.6 Логический эквивалент и повторяющиеся слова 104
2.5 Девизис вывод 105
2.5.1 Логическая справедливая аксиома и закон вывода 107
2.5.2 Надежность и полнота 115
2.5.3 Ограничение и укрепление 116
2.6 Приложение I: История примечания 117
2.7 Приложение II: ограниченное и бесконечное 124
Глава 3 местоимения выразительная логика 128
3.1 Вопрос и предположение 129
3.2 Экспрессивные строительные статьи 133
3.2.1 Основная концепция и базовое суждение 133
3.2.2 Словарь и выражение 134
3.2.3 Экспрессивная блестящая матрица 142
3.2.4 Замена и замена 156
3.3 Прибыль и убыток Глава 157
3.3.1 существительное значение объяснения 158
3.3.2 Семантика базового выражения и их прибыль и убыток 159
3.3.3 Базовая концепция и базовое суждение Пример 162
3.3.4 Экспрессивная семантическая семантика и прибыль или убыток 165
3.3.5 Пример составного суждения 172
3.4 Правда 184
3.4.1 Логический эквивалент 184
3.4.2 Разумная и подлинность 187
3.4.3 Пример общей правды 189
3.5 Рассуждение 196
3.5.1 Логическая аксиома 197
3.5.2 Не -логическая аксиома 199
3.5.3 Исследование 203
3.5.4 Консистенция 205
3.5.5 Смущающие торговцы оружием и теорема Хан Фейзи 205
3.5.6 Фабрика и Независимость 210
3.5.7 Надежность и полнота 214
3.5.8 Основная теорема 215
3.5.9 Сертификат теоремы Хань Фейзи 217
Глава 4 Коллекция Алгебра 225
4.1 Ранний язык алгебры 225
4.2 Существование сбора 229
4.3 Эпизод N и последовательность 244
4.4 Decartes Jet and Function 255
4.5 Limited Collection и Unlimited Collection 270
4.6 Рекурсивное определение и естественное число арифметических вычислений 276
4.7 Pure Co., Ltd. 285
4.8 целое число и разумное число 289
4.8.1 целое число 289
4.8.2 Есть разумные числа 292
ГЛАВА 5 Предел и завершен 297
5.1 Теория чисел и организационная структура 298
5.1.1 Натуральное число арифметическая модель 298
5.1.2 Сопровождающая стандартная модель 301
5.1.3 Терминальная арифметическая стандартная модель 303
5.2 Ограничение теории арифметики естественного числа 306
5.3 Арифметическая теория полностью 309
5.4 Существует разумная теория порядка 312
5.5 Основная теория механики завершена 315
5.5.1 Galileo Freedom Palling Pattern 317
5.5.2 Ньютоновская механика 324
5.5.3 Относительность Эйнштейна 327
Глава 6 Расчет и расчет 333
6.1 Модель расчета 334
6.1.1 Алгоритм 334
6.1.2 Рекурсивная функция 340
6.1.3 Машина Тьюринга может рассчитать функцию 348
6.2. Зачеркивание 368
6.2.1 Тьюринговая машина, кодирующая 370
6.2.2 Обзор генеральной машины Тьюринга 372
6.2.3 Проблема суждения без решения 375
6.3 компьютер——Логическая машина 378
6.3.1 Компьютерная структура 379
6.3.2 Компьютерная аппаратная система 389
6.3.3 Компьютерная программная система 395
6.4 Приложение: Введение в компьютерную разработку 398
Индекс 401
PestaTal 408