在遥远的将来,当人们回顾2 0世纪的计算机发展史时,有人可能会以为一种称为“logic gates (逻辑门)”的设备是以著名的微软公司创始人的名字命名的( Bill Gates中的G a t e s在英语中有 “门”的意思),其实并非如此。我们很快就会明白,逻辑门和通常让水和人通过的门十分相 似。逻辑门通过阻挡或允许电流通过在逻辑中执行简单的任务
真理是什么呢?亚里士多德认为逻辑与它有关。他的讲义合集《工具论》(O rg a n o n,可 追溯到公元前4世纪)是最早的关于逻辑的详细著作。对于古希腊人而言,逻辑是追寻真理的 过程中用于分析语言的一种手段,因此它被认为是一种哲学。亚里士多德的逻辑学的基础是 三段论。最有名的三段论(它并非是在亚里士多德的著作中发现的)是: (所有的人都是要死的; 苏格拉底是人; 所以,苏格拉底是要死的。)
All rights reserved. Manufactured in the United States of America. Except as permitted under the United States Copyright Act of 1976, no part of this publication may be reproduced or distributed in any form or by any means, or stored in a database or retrieval system, without the prior written permission of the publisher
微元法 我们先回忆一下求曲边梯形面积S 的步骤:对区间[, ] a b 作划分 ax x x x b = 012 < < <\< n = , 然后在小区间 ],[ 1 ii xx − 中任取点ξ i ,并记 =Δ − iii −1 xxx ,这样就得到了小 曲边梯形面积的近似值 i ii Δ ≈ ξ )( ΔxfS 。最后,将所有的小曲边梯形面积 的近似值相加,再取极限,就得到
函数极值与Fermat引理 定义5.1.1 设 f x( )在(, ) a b 上有定义, 0 x ab ∈(,),如果存在点 x0的 某一个邻域 ),(),( 0 δ ⊂ baxO ,使得 fx fx () ( ) ≤ 0 , ),( ∈ xOx 0 δ , 则称x0是 f x( )的一个极大值点, f x( ) 0 称为相应的极大值