... propositional and predicate logic L.O.1.2 – Define basic discrete structures: set, mapping, graphs L.O.2.1 – Logically describe some problems arising in Computing L.O.2.2 – Use proving methods: direct, ... ∀x∃y∃z∃y1∃y2∃z1∃z2 (F (y, x) ∧ M (z, x) ∧ F (y1, y) ∧ M (y2, y) ∧ F (z1, z) ∧ M (z2, z)) f) ‘A father of a person cannot be a mother of other ones’ ∃x∃y∀z(F (x, y) → ¬M (x, z)) Trang 32Nguyen An ... Tran Tuan Anh, Le Hong TrangContents Predicate Logic Exercise Chapter 2 Logics (cont.) Discrete Structures for Computing on August 31, 2017 Nguyen An Khuong, Tran Tuan Anh, Le Hong Trang Faculty
Ngày tải lên: 23/01/2022, 09:30
... Trang 1Chapter 2Logics (cont.) Discrete Structures for Computing on August 31, 2017 Nguyen An Khuong, Tran Tuan Anh, Le HongTrang Faculty of ... Trang 21Propositional Rules of InferencesRule of Inference p p ! q) q :q p ! q) :p p ! q q ! r Trang 22Nguyen An Khuong, Tran Tuan Anh, Le Hong TrangContents Predicate Logic Exercise Trang 23Propositional ... Logic Exercise Trang 321 9x(C(x) ^ :B(x)) PremiseNguyen An Khuong, Tran Tuan Anh, Le Hong Trang Contents Predicate Logic Exercise Trang 33Given the predicate p(x) :00 x2 3x + 2 = 000 What is the
Ngày tải lên: 23/01/2022, 09:42
(TIỂU LUẬN) chapter 2 logics (cont ) discrete structures for computing on august 31, 2017
... ∀x∃y∃z∃y ∃y ∃z ∃z1 2 1 2 (F (y, x) ∧M (z,x)∧F (y ,y)∧M (y ,y)∧F (z ,z)∧M (z ,z)).1 2 1 2 f) ‘A father of a person cannot be a mother of other ones’ x∃y∀z(F (x, y) → ¬M(x, z)) ∃ Trang 32Nguyen An Khuong, ... passed the first exam Premises??? Trang 27Nguyen An Khuong, Tran Tuan Anh, Le Hong TrangTrang 28Nguyen An Khuong, Tran Tuan Anh, Le Hong Trang00 2 − 3x + 2 = 000 What is the truth Given the predicate ... gọn) ∴ ppq Conjunction(Kết hợp) ∴ Trang 22Nguyen An Khuong, Tran Tuan Anh, Le Hong TrangTrang 23Nguyen An Khuong, Tran Tuan Anh, Le Hong TrangExample 1 2 ¬p ∧ q ¬p Hypothesis • It is not sunny
Ngày tải lên: 06/12/2022, 15:17
Dbms chapter 2 storage and file structures
... bytes ssn VARCHAR2(9), //9 bytes salary NUMBER, //22 bytes job_code NUMBER, //22 bytes department VARCHAR2(20) //20 bytes ); Trang 342.2 File Operations 34 (a) A fixed-length record with ... is rewritten back to the disk block 22 Trang 232.1 Disk Storage Transfer rate: the number of data bytes transferred in a time unit (msec) 23 Trang 252.1 Disk Storage its address, is estimated ... used to transfer the useful data, is: (s + rd + k*(B/btr)) msec 25 Trang 262.1 Disk Storage Buffering of data Proper organization of data on disk Reading data ahead of request Proper
Ngày tải lên: 06/04/2023, 09:30
Chapter 2 source of data (f2 acca)
... data B Categorical data C Continuous data D Interval data Trang 627 A census involves:A Sampling a subset B Studying the entire population C Using secondary data only D Probability sampling 28 ... Continuous data differs from discrete data because: A Continuous data can take any value within a range B Discrete data is always whole numbers C Continuous data cannot be measured D Discrete data ... are true? (Select all that apply) Trang 2A Quantitative data are data that cannot be measuredB Continuous data can take on any value C Population data are data arising as a result of investigating
Ngày tải lên: 12/08/2025, 21:02
chapter 4 – control structures part 1 2002 prentice hall all rights reserved chapter 8 – object based programming outline 8 1 introduction 8 2 implementing a time abstract data type with a class 8 3
... Time2( 12 , 25 , 42 ); // 12:25:42 19 time5 = new Time2( 27 , 74 , 99 ); // 00:00:00 20 time6 = new Time2( time4 ); // 12:25:42 21 22 String output = "Constructed with: " + 23 ... args ) 12 { 13 Time2 time1, time2, time3, time4, time5, time6; 14 15 time1 = new Time2(); // 00:00:00 16 time2 = new Time2( 2 ); // 02:00:00 17 time3 = new Time2( 21 , 34 ); // 21:34:00 ... "{0}:{1:D2}:{2:D2} {3}" , 70 ( ( hour == 12 || hour == 0 ) ? 12 : hour % 12 ), 71 minute, second, ( hour < 12 ? "AM" : "PM" ) ); 72 } 73 74 } // end class Time2 Trang
Ngày tải lên: 10/04/2021, 21:21
Lecture Java methods: Object-oriented programming and data structures (2nd AP edition): Chapter 2 - Maria Litvin, Gary Litvin
... Copyright © 2011 by Maria Litvin, Gary Litvin, and Skylight Publishing All rights reserved Chapter 2 Java Methods Object-Oriented Programming and Data Structures Maria Litvin ● Gary Litvin 2nd AP ... Applications C:\javamethods\Ch02> path=%PATH%;C:\Program Files\Java\jdk 1.5.0_07\bin C:\javamethods\Ch02> javac Greetings2.java C:\javamethods\Ch02> java Greetings2 Enter your first name: ... Trang 23SliderTrang 24 HelloGui window = new HelloGui( ); // Set this window's location and size: // upper-left corner at 300, 300; width 200, height 100 window.setBounds(300, 300, 200, 100);
Ngày tải lên: 04/11/2020, 23:13
Lecture Data structures and other objects using C++ - Chapter 2: Object-oriented programming - Trường Đại học Công nghiệp Thực phẩm Tp. Hồ Chí Minh
... Trang 1Chapter 2 introduces Object Oriented Programming OOP is a relatively new approach to programming which supports the creation of new data types and operations to manipulate ... operations to manipulate those types This presentation introduces OOP Programming Data Structures and Other Objects Using C++ Trang 2There is no real answer to the question, but we’ll call it a “thinking cap” ... 5That test was a breeze ! Trang 6I should study harder ! Trang 7We can implement the thinking cap using a data type called a class class thinking_cap { . . }; Trang 8The class will have two components called
Ngày tải lên: 01/04/2021, 19:25
Book Econometric Analysis of Cross Section and Panel Data By Wooldridge - Chapter 2 pdf
... 2.1: For K ¼ 2 explanatory variables, consider the following examples ofconditional expectations: Trang 3Eð y j x1; x2Þ ¼ b0þ b1x1þ b2x2þ b3x22 ð2:3ÞEð y j x1; x2Þ ¼ b0þ b1x1þ b2x2þ b3x1x2 ð2:4Þ ... x2; zÞ ¼ b0þ b1x1þ b2x2þ b3z ð2:23Þbut where z is unobserved By the LIE, and the linearity of the CE operator, Eð y j x1; x2Þ ¼ Eðb0þ b1x1þ b2x2þ b3zj x1; x2Þ ¼ b0þ b1x1þ b2x2þ b3Eðz j x1; x2Þ ... zÞ ¼ b0þ b1x1þ b2x2þ b3zþ b4x1z ð2:26ÞThen, again by the LIE, Eð y j x1; x2Þ ¼ b0þ b1x1þ b2x2þ b3Eðz j x1; x2Þ þ b4x1Eðz j x1; x2Þ If Eðz j x1; x2Þ is again given in equation (2.25), you can show
Ngày tải lên: 06/07/2014, 08:20
data structures algorithms in java 4th part 2
... the element at index k is greater than or equal to its "children" at indices 2k + 1 and 2k + 2 2 In the first phase of the algorithm, we start with an empty heap and move the boundary ... (7,4,8,2,5,3,9) In Phase 1, we repeatedly remove the first element of S and insert it into P, by scanning the list implementing P, until we find the correct place for this element In Phase 2, we ... hence, the name "heap" for the data structure By the way, the heap data structure defined here has nothing to do with the memory heap (Section 14.1.2) used in the run-time environment supporting
Ngày tải lên: 17/07/2014, 09:31
Data Structures & Algorithms in Java PHẦN 2 pdf
... log to the base 10, but you can convert easily to base 2 by multiplying by 3.322 For example, log10(100) = 2, so log2(100) = 2 times 3.322, or 6.644 Rounded up to the whole number 7, this is what ... range by two each time Table 2.4 shows how this looks for the first ten steps Table 2.4: Powers of Two Step s, Same as log 2 (r) Range r Range Expressed as Power of 2 (2s) Doubling the range each ... * log2(N) As we saw earlier, the time is proportional to the base 2 logarithm of N Actually, because any logarithm is related to any other logarithm by a constant (3.322 to go from base 2 to
Ngày tải lên: 12/08/2014, 16:20
Data Structures and Algorithms in Java 4th phần 2 pptx
... force (Section 12.2.1) • The greedy method (Section 12.4.2) • Dynamic programming (Section 12.5.2) Likewise, some of the software engineering design patterns we discuss include: 2.2 Inheritance ... interface shown in Code Fragment 2.10 Code Fragment 2.8: Interface Sellable Code Fragment 2.9 : Class Photograph implementing the Sellable interface Trang 25Code Fragment 2.10: Interface Transportable ... more detail in Section 1.2 Trang 12Code Fragment 2.3: Class for arithmetic progressions, which inherits from the general progression class shown in Code Fragment 2.2 A Geometric Progression
Ngày tải lên: 14/08/2014, 01:21
INTRODUCTION TO KNOWLEDGE DISCOVERY AND DATA MINING - CHAPTER 2 ppt
... Trang 1Chapter 2 Preprocessing Data In the real world of data-mining applications, more effort is expended preparing data than applying a prediction program to data Data mining methods ... faced by most data min-ing methods in searchmin-ing for good solutions 2.2 Data Transformations A central objective of data preparation for data mining is to transform the raw data into a standard ... training data are saved for each feature If standard-error normalizations are used, the means and standard standard-errors for each feature are saved for application to new data 2.2.2 Data Smoothing
Ngày tải lên: 14/08/2014, 02:21
Principles of GIS chapter 2 geographic information and spatial data types
... Trang 12.1 Geographic phenomena 15 2.1.1 Geographic phenomenon defined 15 2.2.6 Representations of geographic fields 31 In the previous chapter, we identified geographic ... issues: • what original, raw data (from sensors or otherwise) is available, and • what sort of data manipulation does the application want to perform Trang 2Figure 2 1: The three ways in which ... can be determined. Trang 4Figure 2 2: A continuous field example, namely the elevation in the study area Data source: Division of Engineering Geology (ITC) 2.1.3 Geographic fields A field is
Ngày tải lên: 21/10/2014, 10:09
Bài giảng hệ điều hành nâng cao chapter 2 operating system structures
... Trang 1Silberschatz, Galvin and Gagne ©2009 Operating System Concepts – 8 th EditionChapter 2: Operating-System Structures Trang 2Chapter 2: Operating-System Structures■ Operating System Services ... information ● attach and detach remote devices Trang 22Examples of Windows and Unix System Calls Trang 232.23 Silberschatz, Galvin and Gagne ©2009 Operating System Concepts – 8 th EditionExample: ... ■ Program exit -> shell reloaded Trang 24MS-DOS execution(a) At system startup (b) running a program Trang 252.25 Silberschatz, Galvin and Gagne ©2009 Operating System Concepts – 8 th EditionExample:
Ngày tải lên: 03/12/2015, 17:14
Data Mining: Data Lecture Notes for Chapter 2 Introduction to Data Mining potx
... p1 p2 p3 p4 p1 p3 p4 p2 0 y 1 p1 p1 p2 p3 p4 x 2. 828 3.1 62 5.099 p2 2. 828 1.414 3.1 62 p3 3.1 62 1.414 p4 5.099 3.1 62 Distance Matrix © Tan,Steinbach, Kumar Introduction to Data Mining 50 Minkowski ... to Data Mining Types of data sets Record – Data Matrix – Document Data – Transaction Data Graph – World Wide Web – Molecular Structures Ordered – Spatial Data – Temporal Data – Sequential Data ... Introduction to Data Mining 19 Ordered Data Spatio-Temporal Data Average Monthly Temperature of land and ocean © Tan,Steinbach, Kumar Introduction to Data Mining 20 Data Quality What kinds of data quality...
Ngày tải lên: 15/03/2014, 09:20
Data Mining - Chapter 2
... Nội dung 2. 1 Tổng quan giai đoạn tiền xử lý liệu 2. 2 Tóm tắt mô tả liệu 2. 3 Làm liệu 2. 4 Tích hợp liệu 2. 5 Biến đổi liệu 2. 6 Thu giảm liệu 2. 7 Rời rạc hóa liệu 2. 8 Tạo phân ... Springer-Verlag, 20 06 [5] ZhaoHui Tang, Jamie MacLennan, Data Mining with SQL Server 20 05”, Wiley Publishing, 20 05 [6] Oracle, Data Mining Concepts”, B28 129 -01, 20 08 [7] Oracle, Data Mining ... 23 2. 3 Làm liệu Xử lý liệu không quán Định nghĩa liệu không quán Dữ liệu ghi nhận khác cho đối tượng/thực thể discrepancies from inconsistent data representations 20 04/ 12/ 25 25 / 12/ 2004...
Ngày tải lên: 23/01/2013, 22:17
Tài liệu C++ Lab 2 Sending the output to a printfile Data Types: Chapter 2 ppt
... remainder = remainder % 5; //find nickel rolls nickelR = remainder / 2; remainder = remainder %2; //find penny rolls pennyR = remainder *2; //display results cout
Ngày tải lên: 20/02/2014, 08:20
Chapter 2: Data and Expressions pptx
... Min Value byte short int long bits 16 bits 32 bits 64 bits 127 - 128 32, 767 - 32, 768 -2, 147,483,648 2, 147,483,647 < -9 x 1018 > x 1018 float double 32 bits 64 bits +/- 3.4 x 1038 with significant ... read data of particular types • See GasMileage.java (page 92) © 20 04 Pearson Addison-Wesley All rights reserved 2- 48 Summary • Chapter focused on: character strings primitive data ... light bulb being on or off © 20 04 Pearson Addison-Wesley All rights reserved 2- 23 Outline Character Strings Variables and Assignment Primitive Data Types Expressions Data Conversion Interactive...
Ngày tải lên: 06/03/2014, 10:21
Data Structures and Algorithms - Chapter 9: Hashing pot
... hash( 121 267) = 121 267 MOD 307 + = + = Cao Hoang Tru CSE Faculty - HCMUT 18 01 December 20 08 Digit Extraction Address = selected digits from Key • Example: 3794 52 121 267 378845 16 025 2 045 128 Cao ... the size of the Key2 is too large • Variations: use only a portion of the key 3794 52: 379 * 379 = 143641 → 364 121 267: 121 * 121 = 014641 → 464 045 128 : 045 * 045 = 0 020 25 → 20 2 Cao Hoang Tru CSE ... - HCMUT 26 01 December 20 08 Pseudorandom • Example: Key = 121 267 Address a = 17 c=7 listSize = 307 = ((17* 121 267 + 7) MOD 307 + = (20 61539 + 7) MOD 307 + = 20 61546 MOD 307 + = 41 + = 42 Cao Hoang...
Ngày tải lên: 06/03/2014, 17:20