K-INFO
HU
EN
Login

Introduction to the Theory of Computing 1

Bevezetés a számításelméletbe 1
A tantárgyleírás hatályossága
Hatályosság kezdete:
2026. March 21.
Hatályosság vége:
Subject name (Hungarian, English)
Bevezetés a számításelméletbe 1
Introduction to the Theory of Computing 1
Subject code BMEVISZAA00
Subject type
Training Level
Course types and hours (weekly/semester)
Course type lecture tutorial laboratory
hours (weekly) 2 2 0
type (linked/independent) derived course
Assessment type vizsga
Credits 4
Subject coordinator
DR. Szeszlér Dávid
position: egyetemi docens
Responsible department
Számítástudományi és Információelméleti Tanszék
Faculty Villamosmérnöki és Informatikai Kar
Subject website cs.bme.hu/bsz1
Primary curriculum type
Direct prerequisites – Strong prerequisite none
Direct prerequisites – Weak prerequisite none
Direct prerequisites – Parallel prerequisite none
Direct prerequisites – Milestone prerequisite none
Direct prerequisites – Exclusion none

Objectives

Programme

1) Coordinate geometry in the space: vectors in the space, coordinate system, scalar product. The equation of a plane. The (parametric and canonic) system of equations of a line. The notion of Rn, operations on column vectors.

2) The notion of a subspace of Rn, the property of being closed under operations. The notions of linear combination, generating system, spanned subspace. The notion of linear independence, the equivalence of the two definitions.

3) Relation between the sizes of linearly independent systems and generating systems in subspaces. The notions of basis and dimension, the unicity of the dimension. The unicity of representing a vector with respect to a basis.

4) Solving systems of linear equations with the Gaussian elimination. The notions of row reduction, echelon form and reduced echelon form. Relation between the number of equations and the number of variables of uniquely solvable systems.

5) The definition of the determinant. The number of inversions in permutations. Basic properties of the determinant. Computing the determinant with the Gaussian elimination. Characterizing the unique solvability of (n x n) systems of linear equations with the determinant. Determinant expansion by minors.

6) The cross product and the mixed product of 3-dimensional vectors. The relation of the mixed product to the determinant. Operations on matrices, identity matrix, transposed matrix. The determinant of the product matrix. Expressing systems of linear equations on the Ax=b form. Connections between the linear independence of the rows and the columns

7) The notion of the inverse matrix, necessary and sufficient condition on its existence. Computing the inverse. The notion of the rank of a matrix, equality of the three types of rank notions. Computing the rank of a matrix.

8) The notion of a linear map, necessary and sufficient condition on the linearity of a map. The composition of linear maps, addition formulas for the sin and cos functions. The kernel and the image of linear maps, the rank-nullity theorem.

9) Basis transformation, the matrix of a linear transformation with respect to a basis, computing this matrix. The notions of the eigenvalue and the eigenvector of a square matrix, computing the eigenvalues, characteristic polynomial.

10) The basic notions of number theory: divisibility, prime numbers, the fundamental theorem of arithmetics, the cardinality of primes, the gap between adjacent primes, the prime number theorem. The notion of congruence, operations on congruences. Solvability of linear congruence equations.

11) Euclidean algorithm for computing the greatest common divisor and for solving linear congruence equations. Linear diophantine equations on two variables, simultaneous linear congruences. Euler's totient theorem, Fermat's little theorem.

12) Arithmetic algorithms: relation between the size of the input and the logartihm of the input data, basic operations, exponentiation modulo m, primality testing. Public key cryptography, the RSA code.

13)  Cardinality of infinite sets: the notions of equal and less than or equal cardinalities. The notions of sets of countably infinite and continuum cardinalities. The cardinality of the sets N, Z, Q and R.

14) Summary and review.
The goal of the subject is to acquire the fundamental mathematical knowledge (in the area of linear algebra and number theory) necessary for software engineering studies.

Learning outcomes

Ez a tantárgy a KKK rendeletben meghatározott, következő kompetenciák fejlesztését szolgálja:

Knowledge

No learning outcomes recorded.

Skills

No learning outcomes recorded.

Attitudes

No learning outcomes recorded.

Autonomy and responsibility

No learning outcomes recorded.

Oktatási módszertan

2 hours lecture, 2 hours problem solving

Tanulástámogató anyagok

Not provided.

Recommended preliminary knowledge for completing the subject

Knowledge type competencies
(azon előzetes ismeretek összessége, amelyek megléte nem kötelező, de a tantárgy eredményes teljesítését nagyban elősegíti)
nincs
Skill type competencies
(azon előzetes képességek és készségek összessége, amelyek megléte nem kötelező, de a tantárgy eredményes teljesítését nagyban elősegíti)
nincs
Recommended (non-compulsory) preliminary competencies
(azon ajánlott (nem kötelező) előzetesen megszerzendő kompetenciák összessége, amelyek jelentősen hozzájárulnak a tantárgy eredményes teljesítéséhez)
nincs
General rules
Requirements: Signature: 2 midterms during the semester. Both must be at least 30% and at least 40% in average. 2 occasions for retake, each time either one of the test can be retaken. Final: Oral exam. Final grade: 40% midterms, 60% oral exam.
Assessment methods
In-term assessments

No detailed assessments provided.

Weight of in-term assessments

No weights provided.

Exam-period assessments

No detailed assessments provided.

Weight of exam elements

No weights provided.

Grade calculation

No grade thresholds provided.

Attendance requirements

No attendance requirements provided.

Rules for retake and resubmission

Not provided.

Short description

Not provided.

Detailed description

Not provided.

Recommended courses

Not provided.

Workload to complete the subject

No workload breakdown provided.

Validity of subject requirements
Requirements valid from:
Requirements valid until:
Curriculum placement

No curriculum placements recorded for this subject version.