Chapter 2 Logic Discrete Mathematics by Tran Vinh Tan VNUHCM

... then n2 is odd Pr.: Assume that n is odd By the definition, n = 2k + 1, k ∈ Z n2 = (2k + 1 )2 = 4k + 4k + = 2( 2k + 2k) + is an odd number 2. 32 Proof by Contraposition Logics (cont.) Tran Vinh Tan ... Contents Logics (cont.) Tran Vinh Tan Contents Predicate Logic Predicate Logic Proof Methods Proof Methods 2. 2 Limits of Propositional Logic Logics (cont.) Tran V...

Ngày tải lên: 07/06/2016, 19:14

... Logic • Bit operations • 10 1 010 011 is a bit string of length nine 1. 19 Logics Tautology and Contradiction Tran Vinh Tan Definition A compound proposition that is always true (false) is called ... false Contents Propositional Logic Definition (Penguin Encyclopedia) The formal systematic study of the principles of valid inference and correct reasoning Definition (Discrete Mathematics...

Ngày tải lên: 31/05/2016, 01:24

... right in doing experiments To keep the emphasis on the discrete mathematics, logic, and computability, we’ll introduce new Prolog tools in the experiments where they are needed 1.1 Getting Started ... grandmother, grandfather, grandson, and granddaughter b Define and test the relations aunt, uncle, niece, nephew, and the maternal and fraternal versions of grandmothe...

Ngày tải lên: 21/02/2014, 09:20

... Expectations and Related Concepts in Econometrics 15 Eðy j x1 ; x2 Þ ¼ b0 þ b1 x1 þ b2 x2 þ b x2 2: 3Þ Eðy j x1 ; x2 Þ ¼ b0 þ b1 x1 þ b2 x2 þ b x1 x2 2: 4Þ Eðy j x1 ; x2 Þ ¼ exp½b þ b1 logðx1 Þ þ b2 x2 ... b3 z 2: 23Þ but where z is unobserved By the LIE, and the linearity of the CE operator, Eðy j x1 ; x2 Þ ¼ Eðb0 þ b x1 þ b2 x2 þ b3 z j x1 ; x2 Þ ¼ b þ b1 x1 þ b x2 þ b3 Eðz j x1 ; x...

Ngày tải lên: 06/07/2014, 08:20

... 100: Percent (%) = Part Whole (2. 1) For example, 22 percent (or 22 %) means 22 out of 100, or 22 /100 Dividing 22 by 100 results in the decimal 0 .22 : 22 % = 22 = 0 .22 100 • When using percentage ... 3 .2 mil gal 24 h × 8h day = 3 .2 × 24 MGD = 9.6 MGD © 20 05 by CRC Press LLC L1681_book.fm Page 52 Tuesday, October 5, 20 04 10:51 AM 52 ENVIRONMENTAL ENGINEER’S MATHEMATI...

Ngày tải lên: 11/08/2014, 17:20

... RS -2 3 2C ⇔ RS- 422 Converter RS -2 3 2C ⇔ RS- 422 G7L-CUEC G7L-CUEC K7M-DR10S K7M-DR10S/DC Converter 2- 3 K7M-DT10S 2. 2 Product functional model The following describes functional model of the MASTER-K80Sseries ... 8points -input filter: ~ 15ms (all input ) -PID control function -RS -2 3 2C communication, RS-485 communication • I/O Points - 12 DC inputs / relay outputs (K7M-DR20S, K...

Ngày tải lên: 13/08/2014, 02:21

... are possible for the traffic-light controller of Table 2-1 2? List all of the “bad” boundaries in the mechanical encoding disc of Figure 2-5 , where an incorrect position may be sensed As a function ... cross, or prove that it’s impossible Copyright © 1999 by John F Wakerly Copying Prohibited 73 74 Chapter Number Systems and Codes DO NOT COPY DO NOT COPY DO NOT COPY DO NOT COPY DO NOT COP...

Ngày tải lên: 01/07/2015, 09:43

... R Y THE TEN BELLS CORKBUZZ WINE STUDIO FOUND IN UNION SQUARE, GREENWICH VILLAGE, CORKBUZZ WINE STUDIO IS THE MODERNIZE TEMPLE FOR WINE LOVERS WHETHER YOU ARE LOOKING FOR AN E D U C AT I O N ... AS WE CONTINUE THE SAGA OF WINE BARS IN THE CONCRETE JUNGLE, I CANNOT HELP BUT SMILE FOR THE NEW MEANING AND DEFINITION FOR HAPPY HOUR O R S AT U R D AY N I ... T Y, ALDO SOHM WINE BAR...

Ngày tải lên: 30/11/2015, 10:44

... air piping after the air filter 1 12 60 El ectrical Components IAT2 (Intake Air Temperature #2) • The IAT2 sensor is a two (2) wire thermistor type sensor • The IAT2 sensor changes resistance when ... sensor is gray in color for the 6.4L and black in color for the 6.0L Some early 6.4L engines may be equipped with black sensors Do not interchange 6.0L EP sensors with 6.4L EP sensors, th...

Ngày tải lên: 20/10/2012, 08:08

... ratings of 0. 62 lb-ft (0.84 N-m) to 5.0 lb-ft (6.8 N-m), peak torque ratings of 1.9 lb-ft (2. 6 N-m) to 14 lb-ft (19 N-m), and continuous power ratings of 0.73 hp (0.54 kW) to 2. 76 hp (2. 06 kW) Maximum ... motor step angles are 15 and 30º per step The 30º angle is obtained with a 4-tooth rotor and a 6-pole stator, and the 15º angle is achieved with an 8-tooth rotor and a 1 2- p...

Ngày tải lên: 22/10/2012, 14:27

... THỐNG THÔNG TIN MARKETING Vai trò hệ thống thông tin marketing: * Thông tin yếu tố thiếu việc phân tích, hoạch đònh, triển khai kiểm soát hoạt động marketing * Hệ thống thông tin marketing (MIS) ... nhà quản lý marketing * Thông tin marketing có giá trò đáp ứng: - Đúng chỗ (cần thiết) - Đúng lúc (kòp thời) - Đúng nội dung (chính xác) 17 HỆ THỐNG THÔNG TIN MARKETING (tt) Nhà QL m...

Ngày tải lên: 25/10/2012, 08:58

... 34 1.2V 0.8BOr 12 CAN_Hi 21 33 30 1.2BrW 74 20 32 1.2Br WASHER P/P 31 1.2R 31 19 30 1.2B 28 FUSE 29 1.2B 27 GND 18 28 1.2Or 84A RS2 32_ TX(MCU) 17 27 1.2V 26 28 16 26 1.2B 2. 0B 25 1.2Br RS2 32_ RX(MCU) ... 10A 10A 20 A 20 A 20 A 20 A 20 A 20 A 10A 30A 10A 20 A 30A 20 A 20 A 30A 30A 20 A 10A 10A 10A 20 A 5A 10A 10A 10A 20 A 30A 20 A 31 30 29 28 27 26 25 24 23...

Ngày tải lên: 27/10/2012, 08:16

... G 62 CL -2 2 146 G71A G71 W W 1 32 G64 G60 B CR -2 4 W G 62 G61 11 377 ROr 717A RW 718 2 CL -2 3 146A G71B 24 7 G53B RS-1 1 CN -2 4 CL-36 CN-178 410 G59A 1 .25 1 .25 132A G61A W CN-7 BOr LOr LW BW WOr 1 32 G61 ... COUNT_WEIGHT 20 3 VW C B A 12 BATTERY(+) CD -2 6 6 82 677 6 92 INTAKE ACT'R_REC 947 7 02 9 42 - S+ MODE -2 ACT'R_DEF CN-57 29 30 31 42 673 676 701 PR SENSOR CD-5...

Ngày tải lên: 27/10/2012, 08:16

... 7870 *3640 *8 020 *3140 *6 920 20 10 4430 1 620 3570 1450 320 0 1410 3110 1500 3310 1780 3 920 24 90 5490 7 .22 (23 .7) 7. 92 (26 .0) 8 .25 (27 .1) 8 .26 (27 .1) 7.94 (26 .0) 7 .26 (23 .8) 6.05 (19 .8) (3) 5.1 m ... 3140 6 920 3300 728 0 3780 8330 *3700 *8160 26 40 5 820 1880 4140 1530 3370 1370 3 020 1330 29 30 1390 3060 1 620 3570 21 80 4810 6.37 (20 .9) 7.53 (24 .7) 8 .20 (26 .9) 8...

Ngày tải lên: 27/10/2012, 08:17