© All Rights Reserved

13 views

© All Rights Reserved

- The story of 1 not answer key
- 5 Questions
- Doubting Vision
- Managing Change
- 2017-2018 1st Grade 3rd Nine Weeks Overview.docx
- weekly journal - entry 7 terc
- parcc high level blueprints - mathematics 043013
- FUZZY NEUTROSOPHIC SOFT SET MEASURES
- S2MidYearRev2^11
- God Matters [Worksheet 1]
- Simbolic Representation and Computation of Timed Discrete Events Systems
- CLE Survey June 26, 2012
- standard-41
- Fund Phy Los
- Complete Add Maths Project 2017
- Conference Presentation
- Set5.k2.pdf
- Unit Test in Functions
- Absolute Value of a Number
- Uncertainty evaluation for an ultrasonic data fusion based target differentiation problem using Generalized Aggregated Uncertainty measure 2

You are on page 1of 10

NIM:

Class:

Mathematical Logic - A (MSH1B3)

First Term 2016-2017

Instructions:

1. This assignment is due Wednesday December 7 at 5:00 p.m.. Please submit your work at School

of Computing academic roster (roster akademik Fakultas Informatika), room A203A (building A room

A203A). Do not forget to write your identity on the space provided. You may submit this assignment as

of Monday December 5 at 8:00 a.m..

2. In order to prevent any academic misconduct, you also need to submit a readable scan or photograph of

this assignment to the provided submission slot in IDEA. Please contact your class instructor for more

detailed information. The due date of this online submission is the same as the hardcopy. Please make

sure that your file size do not exceed the maximum file size allowed.

3. To save paper, you may print and reproduce this assignment double-sided.

4. Your answers should be handwritten. You may use: HB or 2B pencil, or pen with blue or black ink.

5. All problems in this assignment are adapted from the textbooks. The problems are written in English.

If you are a student in a regular class, you may answer the problems in Bahasa. However, if you are a

student in international class, your answers must be written in English otherwise your assignment will

not be graded. You may ask your class instructor or teaching assistant for helping you understanding the

problem, but you should not ask them to give the solution of any problem.

6. Write your solutions on the space provided. If you need more space, you may use additional A4 papers

and attach them to your assignment.

7. Be neat and write legibly. You will be graded not only on the correctness of your answers, but also on

the clarity with which you express them.

8. This assignment consists of 9 problems, Problems 6 and 9 are worth 15 points, other problems are worth

10 points.

9. Please retain yourself from copying answers from elsewhere without understanding the steps. This

assignment is an individual evaluation.

10. Important: late submission without reasonable explanation will not be graded.

page 1 of 10

Problem 1 (10 points) Rewrite each of these sets by listing all of its members.

(a). [2.5 points] A = x 2 R : x2 = 1 .

(b). [2.5 points] B = fx 2 Z : x is positive and x

10g.

(d). [2.5 points] D = x 2 Z : x2 = 2 .

A NSWER :

page 2 of 10

Name:

NIM:

Class:

Problem 2 (10 points) For each of the following sets, determine whether the number 2 is an element of

that set.

(a). [2 points] A = fx 2 Z : x > 1g.

(b). [2 points] B = x 2 Z : x = y 2 for some y 2 Z .

(c). [2 points] C = f2; f2gg.

(d). [2 points] D = ff2g ; ff2ggg.

(e). [2 points] E = ff2g ; f2; f2ggg.

A NSWER :

page 3 of 10

Problem 3 (10 points) Determine whether each of these statements is true or false, provide a concise explanation.

(a). [2 points] 0 2 ;.

(b). [2 points] ; 2 f0g.

(c). [2 points] ;

f0g.

f0g.

f;g.

A NSWER :

page 4 of 10

Name:

NIM:

Class:

Problem 4 (10 points) Determine the power set of each of these sets, where a and b are distinct elements.

(a). [2.5 points] A = fag.

(b). [2.5 points] B = fa; bg.

(c). [2.5 points] C = f;; ag.

(d). [2.5 points] D = f;; f;gg.

A NSWER :

page 5 of 10

Problem 5 (10 points) Determine the cardinality of each of the following sets, where P (X) denotes the

power set of the set X.

(b). [2.5 points] P (fa; b; fa; bgg).

(c). [2.5 points] P (f;; a; fag ; ffaggg).

(d). [2.5 points] P (P (;)).

A NSWER :

page 6 of 10

Name:

NIM:

Class:

Problem 6 (15 points) Given the universal set U = fa; b; c; d; eg, a set A = fa; b; cg, a set B = fb; c; dg,

and a set C = fb; c; eg. Determine:

(a). [3 points] A [ B [ C

C

(b). [3 points] (A \ B \ C) , where X C denotes the complement of a set X with respect to the universal

set U .

(d). [3 points] A r (B r C).

(e). [3 points] (A

B)

C, where X

Y is defined as a set (X [ Y ) r (X \ Y ).

A NSWER :

page 7 of 10

Problem 7 (10 points) Given the universal set Z. For every non-negative integer k, a set Ak is defined as

Ak = f2k; 2k + 2; 2k + 4; :::g , for k 2 N

and a set Bk is defined as

Bk = f1; 2; : : : ; kg , for k 2 N.

Determine the following sets:

(a). [2.5 points]

2016

S

Ak

k=1

2016

T

Ak

k=1

2016

S

Bk

k=1

2016

T

Bk

k=1

A NSWER :

page 8 of 10

Name:

NIM:

Class:

Problem 8 (10 points) There are 345 students at a college who have taken a course in Calculus, 212 who

have taken a course in Mathematical Logic, and 188 who have taken courses in both Calculus and Mathematical Logic. How many students have taken a course in either Calculus or Mathematical Logic (or

both)?

A NSWER :

page 9 of 10

Problem 9 (15 points) There are 2504 computer science students at a school. Of these, 1876 have taken a

course in Java, 999 have taken a course in Linux, and 345 have taken a course in C. Further, 876 have taken

courses in both Java and Linux, 231 have taken courses in both Linux and C, and 290 have taken courses in

both Java and C. If 189 of these students have taken courses in Linux, Java, and C, how many of these 2504

students have not taken a course in any of these three programming languages?

A NSWER :

page 10 of 10

- The story of 1 not answer keyUploaded byJanice Escobedo
- 5 QuestionsUploaded byMilana Kostic
- Doubting VisionUploaded byJessica Fernanda
- Managing ChangeUploaded byDaniel Christian
- 2017-2018 1st Grade 3rd Nine Weeks Overview.docxUploaded byivfour47918
- weekly journal - entry 7 tercUploaded byapi-252756547
- parcc high level blueprints - mathematics 043013Uploaded byapi-115680157
- FUZZY NEUTROSOPHIC SOFT SET MEASURESUploaded byMia Amalia
- S2MidYearRev2^11Uploaded bylow_jackson
- God Matters [Worksheet 1]Uploaded byJulius Porqueriño
- Simbolic Representation and Computation of Timed Discrete Events SystemsUploaded byJavier Ruiz Thorrens
- CLE Survey June 26, 2012Uploaded bymmatsubara13
- standard-41Uploaded byapi-230445423
- Fund Phy LosUploaded byCharlie
- Complete Add Maths Project 2017Uploaded byMuruli Krishan
- Conference PresentationUploaded byLucas Silva
- Set5.k2.pdfUploaded byHarry Hing
- Unit Test in FunctionsUploaded byadlez nootib
- Absolute Value of a NumberUploaded byArlene Polis Delos Reyes
- Uncertainty evaluation for an ultrasonic data fusion based target differentiation problem using Generalized Aggregated Uncertainty measure 2Uploaded byMia Amalia
- Isat2011 Answer KeyUploaded byZamuka Singh
- maths planning week 2 term 4 2017Uploaded byapi-364432772
- ass1_0Uploaded byaanya097
- UntitledUploaded byapi-114327653
- pogi2Uploaded byKapitan Bilang
- img009Uploaded bySandeepan Pramanick
- CLE Survey - MLaperalUploaded byMigi Laperal
- 2 5 aUploaded byapi-366807311
- MATHEMATICS.docxUploaded byVictor Hugo Choque
- 2012-IMAS-JS-ENG-WMUploaded byElaine Neria

- Chapter 2 Program Solution(Control Structure & Classes)Uploaded bygc14
- ec2-ugUploaded byselvakumar_uth
- SpagoBI_How_To-1.3Uploaded byDushan Karawita
- TI-2015-1Uploaded byRicky Paul Adiyudha
- Lecture 1Uploaded byMahrukh Fida
- Sourcefire Next-Generation IPS (NGIPS) White PaperUploaded bygfb
- Field-service-Hurco1990-1999.pdfUploaded byNestor German Pissoni
- SAP HANA Course CurriculumUploaded byuser4timepass6237
- 183 PB P-28-4 N3 V01 Volvo Penta Software Handling ProceduresUploaded byCheohdez
- Cincom Smalltalk Products Roadmap 2011 - Arden ThomasUploaded bySmalltalk Solutions
- Block Website With ISA Server 2006Uploaded bymasaa4ever
- User GuideUploaded byEran
- RobotUploaded bySonal Mehir Ramjunun
- Bet Fair API Quick StartUploaded bykapex3349
- DYNDASH-901-Jan11-CGUploaded bySuv Jeet
- Motor HarmonicsUploaded byjanluccas
- cseUploaded bymsaravanan86868
- CHARM (Change Request Management)Uploaded byShyam Krishna Mishra
- 5992-2035EN Nemo Outdoor Qualcomm Chipset Based Terminals DSUploaded byHajiAkbarBabar
- AladinManual6.pdfUploaded byddgdfgdfgd
- 1-02-COCO.pdfUploaded bysandeep lal
- Huge Question Bank for Microprocessor 8085 _ 8085 Microprocessor Complete TutorialUploaded byRamakrishna Vadlamudi
- 3GPP TS 27.005 V9.0.0 (2009-12)Uploaded byramistel
- UnbalancedUploaded bySubrat Kumar Sahu
- 01B WEB - Silvermedia Innovation ITUploaded byPedro Marmol
- Professional PracticesUploaded byHamza Imtiaz Malik
- Lecture 01Uploaded byjulyanamci
- Adfs and OifUploaded byKaran Mishra
- IBM SPSS Direct MarketingUploaded byBair Puig
- 2.Variable Naming Rule Questions in cUploaded byRakesh Maraiya