Faculty notice: this unit is changing
No longer offered
BCS
Replace with MAT1830 (S1 and S2)
From: Re-enrolment and unit changes - Information Technology (undergraduate) · Last checked: 8 Oct 2026 UTC
Official wording from the faculty, shown as published. It is the page of the Faculty of IT on monash.edu, so confirm with your faculty that it applies to your campus and intake year. Replacements are decided by the faculty, not by this site.
Units / FIT1058
FIT1058 · Foundations of computing
2026 Handbook6 credit pointsLevel 1Faculty of Information Technology
Overview
Computation uses abstract formal models of real objects and systems. This unit lays the theoretical foundations for working with the most fundamental abstract models used in computer science, including relations, sequences, trees and graphs. It will develop skills in abstract modelling, logical reasoning, rigorous proof, formal analysis, enumeration and probability. These concepts and skills will be taught in a variety of contexts from across computer science.
Areas of study: Computer science
Offerings
| Campus | Teaching period | Mode |
|---|---|---|
| Clayton | November teaching period | Some activities have a choice of on-campus or online teaching activities (FLEXIBLE) |
| Malaysia | First semester | Teaching activities are on-campus (ON-CAMPUS) |
| Clayton | Second semester | Some activities have a choice of on-campus or online teaching activities (FLEXIBLE) |
| Malaysia | Second semester | Teaching activities are on-campus (ON-CAMPUS) |
| Clayton | First semester | Some activities have a choice of on-campus or online teaching activities (FLEXIBLE) |
| Malaysia | October intake teaching period, Malaysia campus | Teaching activities are on-campus (ON-CAMPUS) |
Assessment
The Handbook lists an examination for this unit.
| # | Assessment | Type | Weight | Hurdle |
|---|---|---|---|---|
| 1 | Assessed Quizzes | Quiz / Test | 10% | — |
| 2 | Assignment 1: Introduction to Computational Thinking | Project | 10% | — |
| 3 | Mid-semester test | Quiz / Test | 15% | — |
| 4 | Assignment 2: Formal Methods and Logical Reasoning | Project | 25% | — |
| 5 | Scheduled final assessment (3 hours and 10 minutes): | Examination | 40% | — |
| 6 | Assessed Quizzes | Quiz / Test | 10% | Threshold |
| 7 | Assignment 1: Introduction to Computational Thinking | Project | 10% | Threshold |
| 8 | Mid-semester test | Quiz / Test | 15% | Threshold |
| 9 | Assignment 2: Formal Methods and Logical Reasoning | Project | 25% | Threshold |
| 10 | Scheduled final assessment (3 hours and 10 minutes): | Examination | 40% | Threshold |
Sem 1&2 only: This unit has threshold mark hurdles. You must achieve at least 45% of the available marks in the final scheduled assessment, at least 45% in total for in-semester assessments, and an overall unit mark of 50% or more to be able to pass the unit. If you do not achieve the threshold mark, you will receive a fail grade (NH) and a maximum mark of 45 for the unit.
Assessment details may change. Please refer to the assessment information in Moodle closer to the start of the teaching period.
Requisites
corequisite
Learning outcomes
- Define discrete structures and key concepts commonly found in set theory, logic and proof, number theory, probability, combinatorics, graph theory, and related fields underlying computer science;
- Solve problems in computer science using a variety of objects and structures, including sets, functions, relations, graphs, matrices and random variables;
- Analyse complex formal statements, formally define discrete structures, and prove properties about them using a wide range of techniques, including proof by construction, by cases, by contradiction and by induction;
- Use the language of propositional and predicate logic to formally model and reason about problems in computer science and its applications;
- Apply precise counting principles and the tools of probability, number theory, and combinatorics to problems in computer science;
- Relate areas of computer science with appropriate discrete structures and methods.
Workload
Minimum total expected workload to achieve the learning outcomes for this unit is 144 hours per semester typically comprising a mixture of scheduled online and face to face learning activities and independent study. Independent study may include associated reading and preparation for scheduled teaching activities.
| Activity | Duration |
|---|---|
| Seminars | 36 hours |
| Applied sessions | 24 hours |
Ask about FIT1058
Answered from the Handbook fields above — no AI, no guessing. Every answer links back to the source.
Community discussions about FIT1058
CommunityStudent experience, not official rules. Nothing here changes what the Handbook says.