人生的不标准答案

副标题:无

作   者:张忠朴著

分类号:

ISBN:9787800734649

微信扫一扫,移动浏览光盘

简介

  《人生的不标准答案》内容简介:在不标准的生活理念里飞扬,你才能找到属于自己的海阔天空。也许你没有听说过张忠朴这个人,但请你一定要看看这本书。在你最安静的时候,翻一翻这本书;用最原始无伪的生命体验,去体会这一个人。体会他在27年职场生涯中,不论是做小工程师,还是贵为老板,总是“欢欢喜喜出门,快快乐乐回家”的诀窍。   体会他在学生与老师两种身分之间,充分挖掘出的学习之美、学习之乐。   体会他自创一格、让人更自在的沟通说理方式。   体会他不甘心“白白”生病,而将“养生有误”转化成“养生有悟”的智慧与福气。   也许,你可以就此找到属于你自己的、正确但不怎么标准的人生答案。   ·在人的职业生涯中,有一些人总是在“找”一份好工作,结果似乎总是找不到,为什么呢?因为如果真的有那么好的工作,目前拥有的人为什么要将这个宝贵的机会让出来呢?慢慢地,回思考、肯反省的人终于领悟了一个真理:好工作不是被找到的,而是在快乐中做到的。   ·你曾经吃过多少颗苹果呢?你知道苹果里面有一颗星星吗?   如果你从来没见过苹果里的星星,   那也许正是对我们墨守成规的一种提醒。   ·拥有幸福就是一般人对美丽人生最直觉的定义。但是,在更深层的生命中,悲与离一样可以孕育出美丽,那种美丽就是不断地给苦难中的人打气,让他们感受并坚持走出痛苦的希望。   ·决定一件事不平凡的关键因素是什么?   是价值观。   和野人一起被太阳晒的人何其多,但是否每一位都领悟了冬阳的价值?   人们大概觉得冬阳太平凡吧!   许多人都被功利主义搞昏了头,错把价钱观当作价值观,把愈贵的东西看得愈有价值。殊不知,免费和价值绝对是两种尺度,心告诉我们重要的东西,才值得我们珍惜。  

目录

preface

to the student

to the educator

the current edition

feedback to the author

acknowledgments


0 introduction

0. l automata, computability, and complexity

complexity theory

computability theory

automata theory

0.2 mathematical notions and terminology

sets

sequences and tuples

functions and relations

graphs

strings and languages

boolean logic

summary of mathematical terms

.o.3 definitions, theorems, and proofs

finding proofs

0.4 types of proof

proof by construction

proof by contradiction

proof by induction

exercises and problems


part one: automata and

l regular

l . l finite automata

formal definition of a finite automaton

examples of finite automata

formal definition of computation

designing finite automata

the regular operations

l .2 nondeterminism

formal definition of a nondeterministic finite automaton

equivalence of nfas and dfas

closure under the regular operations

l . 3 regular expressions

formal definition of a regular expression

equivalence with finite automata

l .4 nonregular languages

the pumping lemma for regular languages

exercises and problems


2 context-free languages

2 . l context-free grammars

formal definition of a context-free grammar

examples of context-free grammars

designing context-free grammars

ambiguity

chomsky normal form

2 .2 pushdown automata

formal definition of a pushdown automaton

examples of pushdown automata

equivalence with context-free grammars

2 . 3 non-context-free languages

the pumping lemma for context-free languages

exercises and problems


part two: computability theory

3 the church-turing thesis

3 . l turing machines

formal definition of a turing machine

examples of turing machines

3 .2 variants of turing machines

multitape turing machines

nondeterministic turing machines

enumerators

equivalence with other models

3 .3 the definition of algorithm

hilbert's problems

terminology for describing turing machines

exercises and problems


4 decidability

4. l decidable languages

decidable problems concerning regular languages

decidable problems concerning context-free languages

4.2 the halting problem

the diagonalization method

the halting problem is undecidable

a turing-unrecognizable language

exercises and problems


5 reducibility

5 . l undecidable problems from language theory

reductions via computation histories

5.2 a simple undecidable problem

5 . 3 mapping reducibility

computable functions

formal definition of mapping reducibility

exercises and problems


6 advanced topics in computability theory

6. 1 the recursion theorem

self-reference

terminology for the recursion theorem

applications

6.2 decidability of logical theories

a decidable theory

an undecidable theory

6. 3 turing reducibility

6.4 a definition of information

minimal length descriptions

optimality of the definition

incompressible strings and randomness

exercises and problems


part three: complexity theory

7 time complexity

7. l measuring complexity

big-o and small-o notation

analyzing algorithms

complexity relationships among models

7.2 the class p

polynomial time

examples of problems in p

7.3 the class np

examples of problems in np

the p versus np question

7 .4 np-completeness

polynomial time reducibility

definition of np-completeness

the cook-levin theorem

7. 5 additional np-complete problems

the vertex cover problem

the hamiltonian path problem

the subset sum problem

exercises and problems


8 space complexity

8. l savitch's theorem

8.2 the class pspace

8 . 3 pspace-completeness

the tqbf problem

winning strategies for games

generalized geography

8.4 the classes land nl

8. 5 nl-completeness

searching in graphs

8.6 nl equals conl

exercises and problems


9 intractability

9. l hierarchy theorems

exponential space completeness

9.2 relativization

limits of the diagonalization method

9. 3 circuit complexity

exercises and problems


10 advanced topics in complexity theory

l0. l approximation algorithms

l0.2 probabilistic algorithms

the class bpp

primality

read-once branching programs

10.3 alternation

alternating time and space

the polynomial time hierarchy

10.4 interactive proof systems

graph nonisomorphism

definition of the model

ip = pspace

l0.5 parallel compuation

uniform boolean circuits

the class nc

p-completeness

io.6 cryptography

secret keys

public-key cryptosystems

one-way functions

trapdoor functions

exercises and problems


selected bibliography

index



已确认勘误

次印刷

页码 勘误内容 提交人 修订印次

人生的不标准答案
    • 名称
    • 类型
    • 大小

    光盘服务联系方式: 020-38250260    客服QQ:4006604884

    意见反馈

    14:15

    关闭

    云图客服:

    尊敬的用户,您好!您有任何提议或者建议都可以在此提出来,我们会谦虚地接受任何意见。

    或者您是想咨询:

    用户发送的提问,这种方式就需要有位在线客服来回答用户的问题,这种 就属于对话式的,问题是这种提问是否需要用户登录才能提问

    Video Player
    ×
    Audio Player
    ×
    pdf Player
    ×
    Current View

    看过该图书的还喜欢

    some pictures

    解忧杂货店

    东野圭吾 (作者), 李盈春 (译者)

    loading icon