مشخصات کتاب

现代逻辑学讲义

ویرایش:  
نویسندگان: 李小五  
سری:  
ISBN (شابک) : 9787306025883 
ناشر: 中山大学出版社 
سال نشر: 2005 
تعداد صفحات: 246 
زبان: Chinese 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 5 مگابایت 

در صورت تبدیل فایل کتاب 现代逻辑学讲义 به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب 现代逻辑学讲义 نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی درمورد کتاب به خارجی

فهرست مطالب

封面
书名
版权
前言
目录
第0章　引论
	1  导言
	2　集合论初步
第1章　句形的基本性质
	1　句形与句子联结词
	2　联结符号的基本解释
	3　重言式及其判定
	4　真值函数的个数及其句形表示
	5　联结符号的完备性与独立性
第2章　公理化系统
	1　句子语言
	2　蕴涵系统的引入
	3　演绎定理与等价置换定理
	4　其他系统及其等价性
第3章　二值语义与系统性质
	1　二值语义
	2　刻画定理
	3　和谐性、协调性与Post-完备性
	4　强刻画定理
	5　公理的独立性
第4章　一阶语言
	1　简单陈述句的内部结构
	2　初始符号集　项
	3　一阶语言
第5章　一阶语义
	1  一阶结构
	2　有效性　逻辑后承
	3　范式
第6章　一阶系统
	1　系统PS的引入
	2　系统定理
	3　协调性定理与和谐性定理
	4　等价前束范式存在定理
第7章　刻画定理
	1　强可靠性定理
	2　强完全性定理
第8章　带等号的一阶逻辑
	1　带等号的一阶语言
	2　带等号的一阶语义
	3　带等号的公理化系统
	4　带等号的强刻画定理
参考文献
后记

نظرات کاربران

کتاب های تصادفی

دانلود کتاب Grow a Sustainable Diet: Planning and Growing to Feed Ourselves and the Earth

دانلود کتاب How the birds got their colours: Gah w’indinimowaut binaesheehnyuk w’idinauziwin-wauh: Bilingual text in Ojibway and English

دانلود کتاب Ace Your Exam

دانلود کتاب The mind of the organization

دانلود کتاب Лекції по державному фінансовому контролю