Chapter 2 Logic Discrete Mathematics by Tran Vinh Tan VNUHCM
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 Vinh Tan Contents Predicate Logic ... have no common factors Squared, = a2 /b2 , 2b2 = a2 , so a2 is even, and a is even, too Because of that a = 2c, c ∈ Z Thus, 2b2 = 4c2 , or b2 = 2c2 , which means b2 is even and so is b That means...
- 38
- 455
- 0
Chapter 1 Logics Discrete Mathematics I on 13 March 2012
... 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 - Rosen) ... carefully • H1 building is in Ho Chi Minh City • 4>2 • 2n ≥ 10 0 • The sun circles the earth • Today is Thursday • Proposition only when the time is specified 1. 6 Logics Notations Tran Vinh Tan Contents...
- 25
- 3,776
- 0
Tài liệu Prolog Experiments in Discrete Mathematics, Logic, and Computability pdf
... 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 grandmother and grandfather 2.6 Interactive ... 145 Index 156 Preface This book contains programming experiments that are designed to reinforce the learning of discrete mathematics, logic, and computability Most of the experiments...
- 158
- 390
- 0
Basic Mathematics for Economists - Rosser - Chapter 2 potx
... physical analogies for powers other than and 3, in mathematics one can encounter powers of any value Example 2. 30 124 = 12 × 12 × 12 × 12 = 20 ,736 125 = 12 × 12 × 12 × 12 × 12 = 24 8,8 32 etc To multiply ... following 424 × 638. 724 = 6,434 ÷ 29 . 12 = 22 .437 = 9.6 128 .34 = √ 36 5 ,20 0 = 3 .2 × 6 .24 × 810 .2 = 14 If (1.06)n = 23 5 what is n? If 825 (1 .22 )n = 1,9 72 what is n? If 4,350(1.14)n = 8, 523 what is ... into decimal fractions by dividing by 100 © 1993, 20 03 Mike Rosser Example 2. 24 22 % = 0 .22 24 .56% = 0 .24 56 0 .24 % = 0.0 024 0. 02% = 0.00 02 2.4% = 0. 024 You will need to convert interest rate percentages...
- 26
- 421
- 0
Book Econometric Analysis of Cross Section and Panel Data By Wooldridge - Chapter 2 pdf
... 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 ; x2 Þ 2: 24Þ Now, ... Eðy j x1 ; x2 Þ ¼ b0 þ b1 x1 þ b2 x2 þ b x1 x2 and define z1 x1 x2 Then, from Property CE.3, Eðy j x1 ; x2 ; z1 Þ ¼ b þ b1 x1 þ b x2 þ b3 z1 2: 46Þ The right-hand side of equation (2. 46) is also...
- 22
- 414
- 0
ENVIRONMENTAL ENGINEER’S MATHEMATICS HANDBOOK - CHAPTER 2 docx
... 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 MATHEMATICS HANDBOOK Example 2. 36 ... be added to 42 lb of sand for a mixture that contains 26 % of AC? Solution: Let x be the weight of AC: x = 0 .26 42 + x x = 0 .26 ( 42 + x) x = 10. 92 + 0 .26 x (1 – 0 .26 )x = 10. 92 x = © 20 05 by CRC Press...
- 42
- 375
- 1
User’s Manual LG Programmable Logic Controller - Chapter 2 potx
... 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, K7M-DR20S/DC) - 12 DC inputs ... (K7M-DT20S) • Program capacity : 48 kbytes Basic Base Unit K7M-DR20S K7M-DR20S/DC K7M-DT20S • Built-in function -High-speed counter : Phase1 16 kHz, phase2 kHz 1channel -pulse output : × kHz -pulse...
- 6
- 566
- 0
Chapter 2- Sequential Logic Design Principles
... 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 COPY DO ... not detected if the “corner” parity bits are not included in the two-dimensional codes of Figure 2-1 4 2.43 The rate of a code is the ratio of the number of information bits to the total number...
- 3
- 264
- 0
Wine bars in NYC chapter 2 by geoffrey byruch
... 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 EXEMPLIFIES A N Y T H I N G A N D E V E R Y T H I N G T H AT I S A WINE BAR T H I S F O U R - S TA R R E S TA U R A N T O V E R S E E S 15,000-BOTTLE WINE COLLECTIONS...
- 16
- 180
- 0
Tài liệu động cơ FORD 6.4L P1- Chapter 2
... 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, these sensors ... entering the engine Air passing over the hot wire causes it to cool This hot wire is maintained at 20 0°C (3 92 F) above ambient temperature as measured by a constant cold wire • The current required to...
- 22
- 559
- 3
Mechanisms and Mechanical Devices Sourcebook - Chapter 2
... 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- pole stator These motors ... by a 1 2- , 2 4-, or 36-VDC permanent-magnet motor These motors are capable of performing such tasks as positioning antenna reflectors, opening and closing security gates, handling materials, and...
- 32
- 523
- 0
Bài giảng marketing quốc tế CHAPTER 2
... 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 marketing Phân ... hội, kinh tế, người tiêu dùng, môi trường * Thông tin đại chúng dư luận MÔI TRƯỜNG VI MÔ (tt) • Môi trường marketing nội bộ: • * Phụ thuộc vào quan điểm lãnh đạo doanh nghiệp vấn đề marketing...
- 21
- 614
- 0
Máy đào HuynDai R170W-9 (Phần 2) - Chapter 2
... 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 22 21 20 19 18 17 16 15 14 13 12 11 10 2 CS-74 FUSE ... 10A 20 A 30A 10A ROOM LAMP/CASSETTE 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 12 12 31 30 29 28 27 26 25 24 23 22 21 20 19 18 17 16 15 14 13 12 11...
- 21
- 605
- 1
Máy xúc lất HuynDai HL760 - Chapter 2
... 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 674 7 02 MODE -2 ACT'R_FOOT 49 48 44 20 20 R VW ... Br G 40 41 42 43 21 5 YW 19 5 02 RW 30 Or 503 GOr 504 28 29 4 52 916 926 906 GOr 931 LW 921 BrW 911 Or 573 WOr ROr GrW VOr 21 22 23 24 14 27 15 16 17 18 0.5 0.5 0.5 1 .25 1ON W CS-11 CS- 12 YOr YOr...
- 18
- 637
- 5
Máy đào HuynDai R170W-9 (Phần 8) - Chapter 2
... 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. 52 (28 .0) 8. 52 (28 .0) 8 .22 (27 .0) ... lbf 80.3 [87 .2] kN 71.4 [77.5] kN 928 0 [10080] kgf 8190 [8890] kgf 728 0 [7900] kgf 20 460 [22 210] lbf * : Standard 24 250 [26 330] lbf 91.0 [98.8] kN ISO 24 250 [26 330] lbf 19600 [21 280] lbf Arm...
- 13
- 480
- 1
Từ khóa: human resource management by gary dessler 12th edition ppt chapter 2 chapter 2 provides an overview of developments in the regulation of financial reporting by smes in the uk since the 1980sthị trấn vĩnh hưngdraganddrop tech chapter 1 adventuring into the mac world chapter 2 the nuts and bolts of your mac chapter 3 getting to the core of the applechapter 2 interpreting terminologyđề thi học kì 2 toán 6 có ma trậnđề thi học kỳ 2 toán 6 có ma trậna study in scarlet summary chapter 2the rise of greek civilization chapter 2digital logic design book by j s katredigital logic design book by floyd pdf free downloaddigital logic design book by morris mano pdfdigital logic design book by morris mano download pdfdigital logic design book by p rajadigital logic design book by morris manoNghiên cứu sự biến đổi một số cytokin ở bệnh nhân xơ cứng bì hệ thốngNghiên cứu sự hình thành lớp bảo vệ và khả năng chống ăn mòn của thép bền thời tiết trong điều kiện khí hậu nhiệt đới việt namNghiên cứu tổ hợp chất chỉ điểm sinh học vWF, VCAM 1, MCP 1, d dimer trong chẩn đoán và tiên lượng nhồi máu não cấpNghiên cứu tổ chức chạy tàu hàng cố định theo thời gian trên đường sắt việt namGiáo án Sinh học 11 bài 13: Thực hành phát hiện diệp lục và carôtenôitĐỒ ÁN NGHIÊN CỨU CÔNG NGHỆ KẾT NỐI VÔ TUYẾN CỰ LY XA, CÔNG SUẤT THẤP LPWANQuản lý hoạt động học tập của học sinh theo hướng phát triển kỹ năng học tập hợp tác tại các trường phổ thông dân tộc bán trú huyện ba chẽ, tỉnh quảng ninhTrả hồ sơ điều tra bổ sung đối với các tội xâm phạm sở hữu có tính chất chiếm đoạt theo pháp luật Tố tụng hình sự Việt Nam từ thực tiễn thành phố Hồ Chí Minh (Luận văn thạc sĩ)Phát triển du lịch bền vững trên cơ sở bảo vệ môi trường tự nhiên vịnh hạ longNghiên cứu tổng hợp các oxit hỗn hợp kích thƣớc nanomet ce 0 75 zr0 25o2 , ce 0 5 zr0 5o2 và khảo sát hoạt tính quang xúc tác của chúngSở hữu ruộng đất và kinh tế nông nghiệp châu ôn (lạng sơn) nửa đầu thế kỷ XIXTổ chức và hoạt động của Phòng Tư pháp từ thực tiễn tỉnh Phú Thọ (Luận văn thạc sĩ)Tranh tụng tại phiên tòa hình sự sơ thẩm theo pháp luật tố tụng hình sự Việt Nam từ thực tiễn xét xử của các Tòa án quân sự Quân khu (Luận văn thạc sĩ)chuong 1 tong quan quan tri rui roGiáo án Sinh học 11 bài 14: Thực hành phát hiện hô hấp ở thực vậtGiáo án Sinh học 11 bài 14: Thực hành phát hiện hô hấp ở thực vậtGiáo án Sinh học 11 bài 14: Thực hành phát hiện hô hấp ở thực vậtChiến lược marketing tại ngân hàng Agribank chi nhánh Sài Gòn từ 2013-2015HIỆU QUẢ CỦA MÔ HÌNH XỬ LÝ BÙN HOẠT TÍNH BẰNG KIỀMQUẢN LÝ VÀ TÁI CHẾ NHỰA Ở HOA KỲ