Course Catalog
The Hebrew University of Jerusalem
Faculties and Schools
Personal Info
General Info
Course Registration
עברית
Department of Mathematics (530)
Track Computer Science and Mathematics - Dual Major (8014)For Year:
2024
2023
2022
2021
2020
2019
2018
2017
2016
2015
Study Program
1st Year
Compulsory studies
.
Course id
Course name
Points
Semester
Until year
Basic course
Teaching program
67100
System Introduction for CS
0
3
1
521
67101
Introduction to Computer Science
7
3
1
521
67109
Data Structures
4
3
1
521
67315
Programming Workshop in C & C++
4
2
1
521
80181
DISCRETE MATHEMATICS
5
3
1
521
Total Compulsory Points: 20
Compulsory studies
Course id
Course name
Points
Semester
Until year
Basic course
Teaching program
76408
Information & Library resources for science students
0
3
2
530
80131
INFINITESIMAL CALCULUS (1)
7
3
1
530
80132
INFINITESIMAL CALCULUS (2)
7
3
1
530
80134
LINEAR ALGEBRA (1)
6
3
1
530
80135
LINEAR ALGEBRA (2)
6
3
1
530
Total Compulsory Points: 26
Compulsory elective studies
.
Course id
Course name
Points
Semester
Teaching program
80200
SET THEORY
3
2
530
Elective studies
.
Course id
Course name
Points
Semester
Teaching program
80031
Active learning workshop to course INFINITESIMAL CALCULUS (1)
0
3
530
80032
Active learning workshop to course INFINITESIMAL CALCULUS (2)
0
3
530
80034
Active learning workshop to course LINEAR ALGEBRA (1)
0
3
530
80035
Active learning workshop to course LINEAR ALGEBRA (2)
0
3
530
Elective studies
Course id
Course name
Points
Semester
Teaching program
80142
Infinitescimal calculus 2 (extended)
7
2
530
Elective studies
.
Course id
Course name
Points
Semester
Teaching program
80115
Elementary Number Theory
4
2
530
80116
Elementary multivariate analysis
3
3
530
2nd Year
Compulsory studies
Course id
Course name
Points
Semester
Until year
Basic course
Teaching program
76408
Information & Library resources for science students
0
3
2
530
80415
INFINITESIMAL CALCULUS 3
6
3
0
530
80426
Analysis on manifolds
3.5
2
0
530
80427
Functional analysis
2.5
2
0
530
80445
ALGEBRAIC STRUCTURES (1)
6
3
3
530
80315
ADVANCED INFINITESIMAL CALCULUS (1)
(NOT TAUGHT THIS YEAR)
6
3
2
530
80316
ADVANCED INFINITESIMAL CALCULUS (2)
(NOT TAUGHT THIS YEAR)
6
2
2
530
Total Compulsory Points: 18
Compulsory studies
Course id
Course name
Points
Semester
Until year
Basic course
Teaching program
67125
Introduction to Object Oriented
4
1
1
521
67504
Algorithms
5
3
2
521
67521
Computational Models, Computability and Complexity
5
3
2
521
67808
Operating Systems
4
2
3
521
67925
Computer Cons. Workshop: From Nand to Tetris
5
1
2
521
80420
PROBABILITY THEORY (1)
5
1
2
521
Total Compulsory Points: 28
Compulsory elective studies
.
Course id
Course name
Points
Semester
Teaching program
80414
Augmentation course in advances infinitescimal caluculus
2.5
1
530
and
.
Course id
Course name
Points
Semester
Teaching program
80200
SET THEORY
3
2
530
80320
DIFFERENTIAL EQUATIONS
4
2
530
80423
MATHEMATICAL LOGIC (1)
4
1
530
80446
ALGEBRAIC STRUCTURES (2)
4
2
530
80516
INTRODUCTION TO TOPOLOGY
4
2
530
and
You must choose at least 8 credits from this list . .
Course id
Course name
Points
Semester
Teaching program
67200
Computer Architecture
5
2
521
67392
Introduction to Cryptography and Software Security
4
2
521
67506
Databases
5
2
521
67528
Software Engineering
4
1
521
67561
ELEMENTS OF INFORMATION THEORY
4
1
521
67577
Introduction to Machine Learning
5
2
521
67594
Introduction to Communication Networks
4
1
521
67609
Computer Graphics
5
1
521
67658
Natural Language Processing
3
1
521
67829
Image Processing
4
1
521
67842
Introduction to Artificial Intelligence
(NOT TAUGHT THIS YEAR)
5
2
521
Elective studies
Course id
Course name
Points
Semester
Teaching program
80424
MATHEMATICAL LOGIC (2)
3
2
530
80428
GAME THEORY (1)
3
2
530
80507
Quadratic forms and P-adic numbers
2
2
530
80545
Elementary geometry
4
1
530
80737
Introduction to Stochastic Processes
3
2
530
Elective studies
Course id
Course name
Points
Semester
Teaching program
67200
Computer Architecture
5
2
521
67506
Databases
5
2
521
67829
Image Processing
4
1
521
80424
MATHEMATICAL LOGIC (2)
3
2
521
80428
GAME THEORY (1)
3
2
521
Elective studies
.
Course id
Course name
Points
Semester
Teaching program
80428
GAME THEORY (1)
3
2
521
80617
Differential geometry of curves and surfaces
2
1
521
80627
Elliptic Curves
2
1
521
80637
ALGEBRAIC GEOMETRY
4
2
521
3rd Year
Compulsory studies
Course id
Course name
Points
Semester
Until year
Basic course
Teaching program
80426
Analysis on manifolds
3.5
2
3
530
80427
Functional analysis
2.5
2
3
530
80445
ALGEBRAIC STRUCTURES (1)
6
3
3
530
80316
ADVANCED INFINITESIMAL CALCULUS (2)
(NOT TAUGHT THIS YEAR)
6
2
3
530
Total Compulsory Points: 12
Compulsory elective studies
Course id
Course name
Points
Semester
Teaching program
80200
SET THEORY
3
2
530
80320
DIFFERENTIAL EQUATIONS
4
2
530
80423
MATHEMATICAL LOGIC (1)
4
1
530
80446
ALGEBRAIC STRUCTURES (2)
4
2
530
80516
INTRODUCTION TO TOPOLOGY
4
2
530
80517
MEASURE THEORY
4
1
530
80519
COMPLEX VARIABLES
4
1
530
and
.
Course id
Course name
Points
Semester
Teaching program
80414
Augmentation course in advances infinitescimal caluculus
2.5
1
530
and
You must choose at least 8 credits from this list . .
Course id
Course name
Points
Semester
Teaching program
67200
Computer Architecture
5
2
521
67392
Introduction to Cryptography and Software Security
4
2
521
67506
Databases
5
2
521
67528
Software Engineering
4
1
521
67561
ELEMENTS OF INFORMATION THEORY
4
1
521
67577
Introduction to Machine Learning
5
2
521
67594
Introduction to Communication Networks
4
1
521
67609
Computer Graphics
5
1
521
67658
Natural Language Processing
3
1
521
67829
Image Processing
4
1
521
67842
Introduction to Artificial Intelligence
(NOT TAUGHT THIS YEAR)
5
2
521
Elective studies
.
Course id
Course name
Points
Semester
Teaching program
67107
Computational Models in Genetics and Living Systems
2
2
521
67398
Cyber Law
2
1
521
67688
A Guide for Data Revolutionists
2
2
521
6111
Meaning and Computation
(NOT TAUGHT THIS YEAR)
2
2
521
67510
PHILOSOPHY AND HISTORY, INTELLIGENCE AND COMPUTERS
(NOT TAUGHT THIS YEAR)
2
1
521
Elective studies
Course id
Course name
Points
Semester
Teaching program
67720
Metric Embedding Theory & its Algorithmic Applications
3
1
521
67871
Topics in Probability and Computation
2
2
521
80421
PROBABILITY THEORY (2)
3
2
530
80424
MATHEMATICAL LOGIC (2)
3
2
521
80428
GAME THEORY (1)
3
2
530
80507
Quadratic forms and P-adic numbers
2
2
521
80539
MATHEMATICS READING COURSE - 2 CREDITS
2
1
521
80540
MATHEMATICS READING COURSE - 4 CREDITS
4
1
530
80541
MATHEMATICS READING COURSE - 3 CREDITS
3
1
530
80544
TOPICS IN COMPLEX ANALYSIS
3
2
521
80545
Elementary geometry
4
1
521
80555
Introduction to Statistical Theory for Mathematicians
3
2
521
80579
FORCING AND INDEPENDENCE IN SET THEORY
2
2
521
80621
P-adic groups
3
1
521
80624
Representation theory of the symmetric group
2
1
521
80628
Discrete Geometry 1
6
1
521
80635
MODULAR FORMS
3
1
521
80650
AXIOMATIC SET THEORY
3
1
521
80719
Analytical mechanics
3
2
521
80737
Introduction to Stochastic Processes
3
2
521
80779
Category Theory
2
1
521
80787
MATHEMATICS READING COURSE - 2 CREDITS
2
2
530
80788
MATHEMATICS READING COURSE - 4 CREDITS
4
2
530
80789
MATHEMATICS READING COURSE - 3 CREDITS
3
2
530
80815
Intersection problems for finite sets
2
1
521
80852
FRACTAL GEOMETRY
3
2
521
Elective studies
.
Course id
Course name
Points
Semester
Teaching program
67103
Neural Networks for Images
3
2
521
67200
Computer Architecture
5
2
521
67296
Image and Video Compression
3
2
521
67298
Introduction to Human Computer Interaction
4
1
521
67392
Introduction to Cryptography and Software Security
4
2
521
67468
Future Xreaities - VR/XR - New Technologies and Design for the Metaverse Age
6
9
521
67499
Future XReaities 2 - VR/XR - New Technologies and Design for the Metaverse Age
4
2
521
67503
Workshop in Modern Application Development
3
1
521
67506
Databases
5
2
521
67524
Tutorial Work
2
3
521
67528
Software Engineering
4
1
521
67537
Tutorial Work
4
3
521
67538
Tutorial Work
6
3
521
67542
Computer Vision 3D
4
2
521
67561
ELEMENTS OF INFORMATION THEORY
4
1
521
67564
Bayesian Machine Learning
4
1
521
67594
Introduction to Communication Networks
4
1
521
67609
Computer Graphics
5
1
521
67651
Introduction to Signal Processing
5
2
521
67658
Natural Language Processing
3
1
521
67731
Convex Optimization and Applications
4
2
521
67778
Software Testing
2
2
521
67800
Probabilistic Methods in Artifical Intelligence
4
2
521
67818
Applied Competitive Lab in Data Science
3
1
521
67829
Image Processing
4
1
521
67871
Topics in Probability and Computation
2
2
521
67886
Switch and Router Architectures
3
2
521
76553
Computational Genomics
3
2
521
76558
Algorithms in Computational Biology
3
1
521
76562
3D Data Processing in Structural Biology
3
2
521
80320
DIFFERENTIAL EQUATIONS
4
2
521
80423
MATHEMATICAL LOGIC (1)
4
1
521
80424
MATHEMATICAL LOGIC (2)
3
2
521
80428
GAME THEORY (1)
3
2
521
80445
ALGEBRAIC STRUCTURES (1)
6
3
521
80446
ALGEBRAIC STRUCTURES (2)
4
2
521
67111
LARGE SOFTWARE PROJECTS
(NOT TAUGHT THIS YEAR)
3
1
521
67420
PROGRAMMING LANGUAGES WORKSHOP
(NOT TAUGHT THIS YEAR)
2
1
521
67543
INTERACTIVE THEOREM PROVING IN LEAN
(NOT TAUGHT THIS YEAR)
2
1
521
67548
Introduction to Information and Inference
(NOT TAUGHT THIS YEAR)
4
1
521
67612
Workshop on the Internet of Things
(NOT TAUGHT THIS YEAR)
4
1
521
67625
Post PC Computing: Human-Centric Mobile Computi
(NOT TAUGHT THIS YEAR)
3
2
521
67680
Workshop in Hebrew Natural Language Processing
(NOT TAUGHT THIS YEAR)
3
2
521
67690
Machine Learning as a Tool for Interactive Products
(NOT TAUGHT THIS YEAR)
3
2
521
67706
Proofs from the Book
(NOT TAUGHT THIS YEAR)
3
2
521
67782
WEB INFORMATION RETRIEVAL
(NOT TAUGHT THIS YEAR)
3
2
521
67822
Introduction to Deep Learning
(NOT TAUGHT THIS YEAR)
4
1
521
67842
Introduction to Artificial Intelligence
(NOT TAUGHT THIS YEAR)
5
2
521
Elective studies
. MSc courses which are open to 3rd year BSc students. Note that the courses may be taught in English.
Course id
Course name
Points
Semester
Teaching program
67297
Seminar In Human Computer Interaction
2
2
521
67455
Introduction to Speech Processing
3
2
521
67466
Research Methods in Software Engineering
2
2
521
67470
Seminar on Learning from/for Knowledge Graphs
2
1
521
67509
Online Computing and Decision under Uncertainty
3
1
521
67513
Introduction to Cryptocurrencies
3
2
521
67515
Advanced Topics in Online Privacy and Cybersecurity
3
1
521
67519
Reliability of Distributed Systems
3
1
521
67534
Parallel and Distributed Applications
3
2
521
67562
Dynamics, Networks and Computation
3
2
521
67581
Speech Processing and Recognition
2
1
521
67596
Introduction to Quantum Computation
4
2
521
67601
Research Project: Flight Control in Insects
5
3
521
67604
Slam - Video Navigation
4
2
521
67613
Workshop In Communication Networks
5
2
521
67618
Advanced Topics in Machine Learning
2
1
521
67619
Advanced Topics in Machine Learning 2
2
2
521
67663
Automata Infinite Objects
2
2
521
67664
Advanced Natural Language Processing
3
2
521
67681
Learning-Augmented Computer Systems
3
2
521
67682
Advanced Topics in Digital Design
2
2
521
67691
Economics and Computation
3
1
521
67705
Medical Image Processing
3
1
521
67720
Metric Embedding Theory & its Algorithmic Applications
3
1
521
67790
Probabilitically Checkable Proofs
3
2
521
67811
Seminar in Computer Graphics and Computational Photography
2
2
521
67850
Seminar on Natural Language Processing Applications in Science and Medicine
2
2
521
67866
Bitcoin and Crypto-Currencies Seminar
2
1
521
67879
Lab in Future Realities – Intelligent Technologies & Science for Innovative Art & Design
5
3
521
67885
Seminar and Mini-Project
3
2
521
67895
Algorithms for Supercomputers Advanced Seminar
2
1
521
67912
Advanced Course in Machine Learning
3
2
521
67916
Information Theoretic Methods in Statistics
2
2
521
76908
Dynamics of Computation in the Brain
4
2
521
76909
Neural Learning
4
1
521
76915
Information and Coding in the Brain
4
1
521
76921
Human Vision: A Computational Approach
2
2
521
67301
MULTI ROBOT SYSTEMS
(NOT TAUGHT THIS YEAR)
3
2
521
67381
Cryptography In Idealized Models 2
(NOT TAUGHT THIS YEAR)
2
1
521
67391
CRYPTOGRAPHY IN IDEALIZED MODELS
(NOT TAUGHT THIS YEAR)
2
1
521
67508
Foundations of Data Privacy
(NOT TAUGHT THIS YEAR)
2
1
521
67520
DISTRIBUTED ALGORITHMS
(NOT TAUGHT THIS YEAR)
3
1
521
67532
AUTOMATED REASONING ABOUT SOFTWARE
(NOT TAUGHT THIS YEAR)
2
1
521
67735
Computational Photography
(NOT TAUGHT THIS YEAR)
3
2
521
67747
Topics in Information Theory
(NOT TAUGHT THIS YEAR)
2
2
521
67824
Advanced Algorithms
(NOT TAUGHT THIS YEAR)
3
1
521
67868
GEOMETRY OF GRAPHS
(NOT TAUGHT THIS YEAR)
3
2
521
67883
Formal Verification of Reactive Systems
(NOT TAUGHT THIS YEAR)
2
2
521
67978
A Needle in a Data Haystack: Introduction to Data Science
(NOT TAUGHT THIS YEAR)
3
1
521
Elective studies
.
Course id
Course name
Points
Semester
Teaching program
80428
GAME THEORY (1)
3
2
521
80617
Differential geometry of curves and surfaces
2
1
521
80627
Elliptic Curves
2
1
521
80637
ALGEBRAIC GEOMETRY
4
2
521
Elective studies
.
Course id
Course name
Points
Semester
Teaching program
80598
FUNDAMENTAL CONCEPTS IN REPRESENTATION THEORY
6
2
530
80599
FUNDAMENTAL CONCEPTS IN COMMUTATIVE ALGEBRA AND ALGEBRAIC GEOMETRY
6
1
530
80600
FUNDAMENTAL CONCEPTS IN FUNCTIONAL ANALYSIS
6
1
521
80601
FUNDAMENTAL CONCEPTS IN SPECTRAL ANALYSIS
6
2
521
80607
FUNDAMENTAL CONCEPTS IN ALGEBRAIC TOPOLOGY
6
2
530
80608
FUNDAMENTAL CONCEPTS IN DIFFERENTIAL GEOMETRY
6
1
530
80615
ERGODIC THEORY
3
2
521
80620
Models of Peano arithmetic
2
2
521
80637
ALGEBRAIC GEOMETRY
4
2
521
80661
Infinite Combinatorics
2
1
521
80684
Dynamical aspects of arithmetic combinatorics and expanders
2
1
521
80756
ALGEBRAIC NUMBER THEORY
3
1
521
80779
Category Theory
2
1
521
80780
Geometric number theory
2
2
521
80815
Intersection problems for finite sets
2
1
521
Elective studies
Course id
Course name
Points
Semester
Teaching program
80506
Theory of functions of real variable
2
2
521
80808
Seminar in analysis: Irrational numbers
2
1
521
Scope of studies in the track
Total Point in program Computer Sciences
( 521)
Total Point in program Mathematics
( 530)
Compulsory
Compulsory in the teaching program
45
Compulsory in the teaching program
47
Compulsory elective
11-12
8
Elective in the teaching program
5-6
5
Total in the teaching program
62
60
Cornerstone Program
6
6
Additional teaching program
60
62
Supplementary studies
6
6
Total for the degree (minimum)
134
134
years for the degree
3
Total percentage of tuition for the degree
300
Dean of Studentsil/book/academic-calendars">Academic Calendar
Hebrew University of Jerusalem
Academic Counseling
Pre-University Prep Course
Student Exchange Programs
Moodle
Coursera
Cornerstone Courses
Library Authority
Computing Authority
Emergency Information
Dormitories
Sport Center
Student Union
Tuition and Fees
Rules and Regulations
Authority for Research Students