Docsity
Docsity

Prepare for your exams
Prepare for your exams

Study with the several resources on Docsity


Earn points to download
Earn points to download

Earn points by helping other students or get them with a premium plan


Guidelines and tips
Guidelines and tips

Discrete Mathematics in Software Engineering, Lecture notes of Programming Methodologies

The internal verification of assessment decisions for a btec higher national diploma in computing, specifically for unit 18: discrete mathematics. It provides detailed guidelines and assessment criteria for topics such as set theory, functions, graph theory, boolean algebra, and abstract algebra. Assignment briefs, grading rubrics, and feedback forms to ensure accurate and constructive assessment of student work. It serves as a comprehensive resource for both students and assessors in the field of discrete mathematics and its applications in software engineering.

Typology: Lecture notes

2020/2021

Uploaded on 11/11/2022

charles-rodrigo-1
charles-rodrigo-1 šŸ‡®šŸ‡³

8 documents

1 / 17

Toggle sidebar

This page cannot be seen from the preview

Don't miss anything!

bg1
Higher Nationals
Internal verification of assessment decisions – BTEC (RQF)
INTERNAL VERIFICATION – ASSESSMENT DECISIONS
Programme title
BTEC Higher National Diploma in Computing
Assessor
Internal Verifier
Unit(s)
Unit 18 : Discrete Mathematics
Assignment title
Discrete mathematics in software engineering concepts
Student’s name
List which assessment
criteria the Assessor
has
awarded.
Pass
Merit Distinction
INTERNAL VERIFIER CHECKLIST
Do the assessment criteria awarded
match
those shown in the
assignment brief? Y/N
Is the Pass/Merit/Distinction grade awarded
justified
by the assessor’s comments on the
student work?
Y/N
Has the work been assessed
accurately? Y/N
Is the feedback to the student:
Give details:
•
Constructive?
•
Linked to relevant assessment
criteria?
•Identifying opportunities for
improved performance?
•
Agreeing actions?
Y/N
Y/N
Y/N
Y/N
Does the assessment decision need
amending? Y/N
Assessor signature
Date
Internal Verifier signature Date
Programme Leader signature (if
required)
Date
pf3
pf4
pf5
pf8
pf9
pfa
pfd
pfe
pff

Partial preview of the text

Download Discrete Mathematics in Software Engineering and more Lecture notes Programming Methodologies in PDF only on Docsity!

Higher Nationals

Internal verification of assessment decisions – BTEC (RQF)

INTERNAL VERIFICATION – ASSESSMENT DECISIONS

Programme title

BTEC Higher National Diploma in Computing

Assessor Internal Verifier

Unit(s)

Unit 18 : Discrete Mathematics

Assignment title

Discrete mathematics in software engineering concepts

Student’s name

List which assessment

criteria the Assessor has

awarded.

Pass Merit Distinction

INTERNAL VERIFIER CHECKLIST

Do the assessment criteria awarded match

those shown in the assignment brief?

Y/N

Is the Pass/Merit/Distinction grade awarded

justified by the assessor’s comments on the

student work?

Y/N

Has the work been assessed

accurately?

Y/N

Is the feedback to the student:

Give details:

  • Constructive?
  • Linked to relevant assessment

criteria?

  • Identifying opportunities for

improved performance?

  • Agreeing actions?

Y/N

Y/N

Y/N

Y/N

Does the assessment decision need

amending?

Y/N

Assessor signature Date

Internal Verifier signature Date

Programme Leader signature (if

required)

Date

Confirm action completed

Remedial action taken

Give details:

Assessor signature Date

Internal Verifier

signature

Date

Programme Leader

signature (if required)

Date

Pearson

Higher Nationals in

Computing

Unit 18 : Discrete Mathematics

General Guidelines

  1. A Cover page or title page – You should always attach a title page to your assignment. Use previous page as

your cover sheet and make sure all the details are accurately filled.

  1. Attach this brief as the first section of your assignment.
  2. All the assignments should be prepared using a word processing software.
  3. All the assignments should be printed on A4 sized papers. Use single side printing.
  4. Allow 1ā€ for top, bottom , right margins and 1.25ā€ for the left margin of each page.

Word Processing Rules

  1. The font size should be 12 point, and should be in the style of Time New Roman.
  2. Use 1.5 line spacing. Left justify all paragraphs.
  3. Ensure that all the headings are consistent in terms of the font size and font style.
  4. Use footer function in the word processor to insert Your Name, Subject, Assignment No, and Page Number

on each pag e. This is useful if individual sheets become detached for any reason.

  1. Use word processing application spell check and grammar check function to help editing your assignment.

Important Points:

  1. It is strictly prohibited to use textboxes to add texts in the assignments, except for the compulsory

information. eg: Figures, tables of comparison etc. Adding text boxes in the body except for the before

mentioned compulsory information will result in rejection of your work.

  1. Carefully check the hand in date and the instructions given in the assignment. Late submissions will not be

accepted.

  1. Ensure that you give yourself enough time to complete the assignment by the due date.
  2. Excuses of any nature will not be accepted for failure to hand in the work on time.
  3. You must take responsibility for managing your own time effectively.
  4. If you are unable to hand in your assignment on time and have valid reasons such as illness, you may apply

(in writing) for an extension.

  1. Failure to achieve at least PASS criteria will result in a REFERRAL grade.
  2. Non-submission of work without valid reasons will lead to an automatic RE FERRAL. You will then be asked

to complete an alternative assignment.

  1. If you use other people’s work or ideas in your assignment, reference them properly using HARVARD

referencing system to avoid plagiarism. You have to provide both in-text citation and a reference list.

  1. If you are proven to be guilty of plagiarism or any academic misconduct, your grade could be reduced to A

REFERRAL or at worst you could be expelled from the course

Feedback Form

Formative feedback: Assessor to Student

Action Plan

Summative feedback

Feedback: Student to Assessor

Assessor’s

Signature

Date

Student’s

Signature

Date

Assignment Brief

Student Name /ID Number

Unit Number and Title Unit 18 :Discrete Mathematics

Academic Year 2021/

Unit Tutor

Assignment Title Discrete mathematics in Computing

Issue Date

Submission Date

IV Name & Date

Submission Format:

This assignment should be submitted at the end of your lesson, on the week stated at the front of this

brief. The assignment can either be word-processed or completed in legible handwriting.

If the tasks are completed over multiple pages, ensure that your name and student number are present

on each sheet of paper.

Unit Learning Outcomes:

LO1 Examine set theory and functions applicable to software engineering.

LO2 Analyse mathematical structures of objects using graph theory.

LO3 Investigate solutions to problem situations using the application of Boolean algebra.

LO4 Explore applicable concepts within abstract algebra.

ii. De Morgan’s Law by mathematical induction.

iii. Distributive Laws for three non-empty finite sets A, B, and C.

Activity 02

Part 1

  1. Model two contextualized problems using binary trees both quantitatively and qualitatively.

Part 2

  1. State the Dijkstra’s algorithm for a directed weighted graph with all non-negative edge

weights.

  1. Use Dijkstra’s algorithm to find the shortest path spanning tree for the following weighted

directed graph with vertices A, B, C, D, and E given. Consider the starting vertex as E.

Part 3

  1. Assess whether the following undirected graphs have an Eulerian and/or a Hamiltonian cycle.

i.

ii.

iii.

Part 4

  1. Construct a proof of the five color theorem for every planar graph.

(b)

AB/CD 00 01 11 10

(c)

AB/C 0 1

Activity 04

Part 1

  1. Describe the distinguishing characteristics of different binary operations that are performed on the

same set.

Part 2

  1. Determine the operation tables for group G with orders 1, 2, 3 and 4 using the elements a, b, c, and

e as the identity element in an appropriate way.

i. State the relation between the order of a group and the number of binary operations that can

be defined on that set.

ii. How many binary operations can be defined on a set with 4 elements?

i. State the Lagrange’s theorem of group theory.

ii. For a subgroup H of a group G, prove the Lagrange’s theorem.

iii. Discuss whether a group H with order 6 can be a subgroup of a group with order 13 or not.

Clearly state the reasons.

Part 3

  1. Validate whether the set

S =ā„œāˆ’{āˆ’ 1 }

is a group under the binary operation ā€˜*’defined as

a āˆ— b = a + b + ab

for any two elements

a , b ∈ S

Part 4

  1. Prepare a presentation for ten minutes to explore an application of group theory relevant to

your course of study. (i.e. in Computer Sciences)

application of Boolean algebra.

P5 Diagram a binary problem in the application of Boolean Algebra.

P6 Produce a truth table and its corresponding Boolean equation from

an applicable scenario.

M3 Simplify a Boolean equation using algebraic methods.

D3 Design a complex system using logic gates.

LO4 : Explore applicable concepts within abstract algebra.

P7 Describe the distinguishing characteristics of different binary

operations that are performed on the same set.

P8 Determine the order of a group and the order of a subgroup in

given examples.

M4 Validate whether a given set with a binary operation is indeed a

group.

D4 Explore with the aide of a prepared presentation the application of

group theory relevant to your course of study