2008年07月_keminlau

12月 11月 10月 09月 08月 07月 06月 05月 04月 03月 02月 01月

转载（转）《统一价值论》

内容提要目前的哲学、政治经济学、经济学、价值工程学等在对“价值”的理解上各执一端，本书根据“从能量角度看价值，从价值角度看世界”的基本思路，以自然科学的基本公理为前提，以严谨的逻辑推理和精确的数学运算来研究价值问题、解释价值现象、探索价值规律，推导出“利益最大化法则”和“广义价值规律”，继而推导出一般经济规律、人际交往规律和社会历史规律，实现了价值理论内部体系的逻辑统一、价值理论与自然科学的逻辑

2008-07-31 18:23:00 1535

原创集合与数理逻辑哪个更基础？

大部分的离散数学图书第一章不是集合论就是数理逻辑，那到底是集合论基础一点还是数理逻辑基础一点？从这个粗略的结构图可以初步看出来，集合与逻辑是两种不同的基础，没有谁比谁更基础的问题。大家工作在不同的维度上。集合与以其为基础派生出来的形成层次结构的各概念是静态的结构概念；逻辑推理则为形成这样的结构提供了逻辑工具--定义、定理和证明。属方法论哲学层面的概念。也就是所谓有工具性学科：工具性的科学是学习其

2008-07-30 00:32:00 1704

转载人类轨迹记录的另类诠释——《智慧学九论》

智慧学九论自序导读自序千百年来，无数智者孜孜探索人生，铺就了一条条康庄大道。后人飞驰其间，有的意兴风发，自诩为万物之灵；有的匆匆驶过，不过充塞些流量，遗留些秽物；更有人面对万象，驻足踯躅，徘徊深思，不知何去何从。道路两旁的景物，时而开阔，时而局促，观之略同，究之又大异其趣。人类文明又何尝不是？千古以降，人智仿佛丛峦叠翠，绵延起伏。今人得以凌风登

2008-07-14 23:36:00 2925 1

原创 June 2008

《童年往事》插曲 Something about us...词：陈墨荷曲：吴楚楚演唱：蔡琴还记得玩弹珠蹲在庙门边还记得骑新车经过同学面前还记得打瞌睡罚站了半天弹指间都变成遥远的从前为什么春去秋来为什么春去秋来人事也跟着改变人事也跟着改变我的童年我的童年就这样消失不见那时

2008-07-04 13:58:00 1140

翻译 (译)为什么要学习人工语言——一阶逻辑

译自《LANGUAGE, PROOF AND LOGIC》 http://www.douban.com/subject/1900408/Why learn an artificial language? This language of frst-order logic is very important. Like Latin, the language is not spoke

2008-07-02 00:37:00 3486 1

React Cookbook: Recipes for Mastering the React Framework

2022-05-12

Mastering Mongoose Become a Full-Stack Mongoose Expert.pdf

Mastering Mongoose Become a Full-Stack Mongoose Expert

2021-04-14

Backbone书合集（二）.tar.gz

Mastering Backbone.js(PACKT,2015) Developing Backbone.js Applications

2019-07-29

This book is a comprehensive guide to all aspects of the Backbone and Marionetteframeworks for JavaScript. From the basics of installing and setting up your first JavaScriptapp to developing a complex full-featured application that can integrate with multiple webservices, navigate your user through your systems from any arbitrary entry point, and takefull advantage of the latest JavaScript and HTML5 features.

2019-07-29

Backbone书合集（一）.tar.gz

Backbone.js.CookbookVadim.Mirgorod.文字版 Backbone.js Essentials(PACKT,2015).pdf Backbone.js Patterns and Best Practices.pdf 三本

2019-05-27

a smarter way to learn javascript 2013

2019-03-21

Programming Language Pragmatics 最新的第三版

Programming Language Pragmatics, Third Edition.chm 最新的第三版

2011-02-23

串口驱动-串口编程资料合集

串口驱动- 串口编程资料合集串口驱动- 串口编程资料合集串口驱动- 串口编程资料合集

2010-09-28

嵌入式LINUX相关论文

嵌入式LINUX相关论文为模拟设备开发驱动A Simulation Framework for Device Driver Development 1^^^^^DRIVER ARCHITECTURE IN A LINUX WORLD

2009-10-28

Practical Development Environments

软件开发方法论 By Matthew B. Doar 0-596-00796-5 This book doesn't tell you how to write faster code, or how to write code with fewer memory leaks, or even how to debug code at all. What it does tell you is how to build your product in better ways, how to keep track of the code that you write, and how to track the bugs in your code. Plus some more things you'll wish you had known before starting a project.

2009-09-13

Almesberger, Werner; "Booting Linux: The History and the Future"

2009-09-03

Software Design Methodology下

Software Design Methodology

2009-05-17

Software Design Methodology上

Software Design Methodology 软件设计方法论上

2009-05-17

指令级并行处理历史Instruction-level parallel processing history

Instruction-level parallel processing history, overview, and perspective.pdf 指令级并行处理历史

2009-05-04

Win32 Text Editor

一个非常棒的WIN32教程，关于写一个文本编辑器的教程

2009-04-06

The Craft of Text Editing

2009-03-30

Data Structures for Text Sequences

Data Structures for Text Sequences 有关编写文本编辑器时读取文本序列的数据结构

2009-03-30

MFC Bible MFC宝典

MFC Bible Contents Chapter 1: Windows Programming Chapter 2: The MFC Framework Chapter 3: Application Classes Chapter 4: Windows Messaging Chapter 5: The MFC Window Chapter 6: Document/View Chapter 7: Frame Windows Chapter 8: Dialog Boxes Chapter 9: Windows Controls Chapter 10: Menus and Control Bars Chapter 11: Device Contexts Chapter 12: The MFC GDI Chapter 13: Collection Classes Chapter 14: Files and Serialization Chapter 15: Debugging and Exception-Handling Copyright ?996 Waite Group Press, Inc.

2009-03-19

组合数学理论与题解(题解有很好的评注)

1^^^^组合数学理论与题解(题解有很好的评注)

2009-01-14

Combinatorial Optimization - Eugene L. Lawler

Mathematics - Combinatorial Optimization - Eugene L. Lawler

2009-01-08

现代数学基础丛书递归论（莫绍揆）

现代数学基础丛书递归论（莫绍揆）.pdf

2009-01-06

计算机科学理论手册 A卷算法与复杂性 Handbook of Theoretical Computer Science [1990] - Volume A - ALGORITHMS AND COMPLEXITY

2008-12-17

算法与复杂性 Algorithms and Complexity

Algorithms and Complexity

2008-12-06

计算作为一门学科 COMPUTING AS A DISCIPLINE

COMPUTING AS A DISCIPLINE

2008-11-22

《 Everything Is Byte》 mala

《 Everything Is Byte》 mala .pdf

2008-10-19

编程语言本质论Essentials of Programming Languages

Essentials of Programming Languages This book is an analytic study of programming languages. Our goal is to provide a deep,working understanding of the essential concepts of program- ming languages. These essentials have proved to be of enduring importance; they form a basis for understanding future developments in programming languages.

2008-10-13

空空如也

TA创建的收藏夹 TA关注的收藏夹

TA关注的人

Kemin | 本博客独立到nakeman.cn

转载（转）《统一价值论》

原创集合与数理逻辑哪个更基础？

转载人类轨迹记录的另类诠释——《智慧学九论》

原创 June 2008

翻译 (译)为什么要学习人工语言——一阶逻辑

fullstackreact-book-r39.epub

React Cookbook: Recipes for Mastering the React Framework

Mastering Mongoose Become a Full-Stack Mongoose Expert.pdf

Backbone书合集（二）.tar.gz

marionette-guides-en.pdf

Backbone书合集（一）.tar.gz

a smarter way to learn javascript 2013

Programming Language Pragmatics 最新的第三版

串口驱动-串口编程资料合集

嵌入式LINUX相关论文

Practical Development Environments

Almesberger, Werner; "Booting Linux: The History and the Future"

Software Design Methodology下

Software Design Methodology上

指令级并行处理历史Instruction-level parallel processing history

Win32 Text Editor

The Craft of Text Editing

Data Structures for Text Sequences

MFC Bible MFC宝典

组合数学理论与题解(题解有很好的评注)

Combinatorial Optimization - Eugene L. Lawler

现代数学基础丛书递归论（莫绍揆）

计算机科学理论手册 A卷算法与复杂性 Handbook of Theoretical Computer Science [1990] - Volume A - ALGORITHMS AND COMPLEXITY

算法与复杂性 Algorithms and Complexity

计算作为一门学科 COMPUTING AS A DISCIPLINE

《 Everything Is Byte》 mala

编程语言本质论Essentials of Programming Languages

软件构架艺术之设计方法与技术

ANSI C 标准详解

实用文件系统设计Practical File System Design

调式器工作原理 How Debuggers Work

VC6参考大全Manual - Visual C++ 6 - The Complete Reference

空空如也

转载 （转）《统一价值论》

原创 集合与数理逻辑哪个更基础？

转载 人类轨迹记录的另类诠释——《智慧学九论》

原创 June 2008

翻译 (译)为什么要学习人工语言——一阶逻辑

fullstackreact-book-r39.epub

React Cookbook: Recipes for Mastering the React Framework

Mastering Mongoose Become a Full-Stack Mongoose Expert.pdf

Backbone书合集（二）.tar.gz

marionette-guides-en.pdf

Backbone书合集（一）.tar.gz

a smarter way to learn javascript 2013

Programming Language Pragmatics 最新的第三版

串口驱动-串口编程资料合集

嵌入式LINUX相关论文

Practical Development Environments

Almesberger, Werner; "Booting Linux: The History and the Future"

Software Design Methodology下

Software Design Methodology上

指令级并行处理历史Instruction-level parallel processing history

Win32 Text Editor

The Craft of Text Editing

Data Structures for Text Sequences

MFC Bible MFC宝典

组合数学理论与题解(题解有很好的评注)

Combinatorial Optimization - Eugene L. Lawler

现代数学基础丛书 递归论（莫绍揆）

计算机科学理论手册 A卷 算法与复杂性 Handbook of Theoretical Computer Science [1990] - Volume A - ALGORITHMS AND COMPLEXITY

算法与复杂性 Algorithms and Complexity

计算作为一门学科 COMPUTING AS A DISCIPLINE

《 Everything Is Byte》 mala

编程语言本质论Essentials of Programming Languages

软件构架艺术之设计方法与技术

ANSI C 标准详解

实用文件系统设计Practical File System Design

调式器工作原理 How Debuggers Work

VC6参考大全Manual - Visual C++ 6 - The Complete Reference

空空如也

转载（转）《统一价值论》

原创集合与数理逻辑哪个更基础？

转载人类轨迹记录的另类诠释——《智慧学九论》

现代数学基础丛书递归论（莫绍揆）

计算机科学理论手册 A卷算法与复杂性 Handbook of Theoretical Computer Science [1990] - Volume A - ALGORITHMS AND COMPLEXITY