Skip to content

Bachelor of Computer Science

Computational Logic

Bachelor of Computer Science

Home
Home
Courses
Courses
- Introduction to Computer and Network Security
  Introduction to Computer and Network Security
  - README.md
    
    README.md
- Computer Architechtures
  Computer Architechtures
  - README.md
    
    README.md
- Databases
  Databases
  - README.md
    
    README.md
- Calculus 1
  Calculus 1
  - README.md
    
    README.md
- Geometry and Linear Algebra
  Geometry and Linear Algebra
  - README.md
    
    README.md
- Probability
  Probability
  - Group Project
    
    Group Project
    
    Gini Index
    
    Gini Index
    
    GPA
    
    GPA
    
    data
    
    data
    
    GPA CP1 and GLA.csv
    
    GPA CP1 and GLA.csv
    
    GPA CP1.csv
    
    GPA CP1.csv
    
    GPA Cal1.csv
    
    GPA Cal1.csv
    
    GPA GLA.csv
    
    GPA GLA.csv
    
    GPA total.csv
    
    GPA total.csv
    
    graph
    
    graph
    
    GPA CP1 and GLA.png
    
    GPA CP1 and GLA.png
    
    GPA CP1.png
    
    GPA CP1.png
    
    GPA Cal1.png
    
    GPA Cal1.png
    
    GPA GLA.png
    
    GPA GLA.png
    
    GPA total.png
    
    GPA total.png
    
    football team
    
    football team
    
    giants 2016 figure.png
    
    giants 2016 figure.png
    
    giants 2016 table.csv
    
    giants 2016 table.csv
    
    giants 2017 figure.png
    
    giants 2017 figure.png
    
    giants 2017 table.csv
    
    giants 2017 table.csv
    
    giants 2018 figure.png
    
    giants 2018 figure.png
    
    giants 2018 table.csv
    
    giants 2018 table.csv
    
    giants 2019 figure.png
    
    giants 2019 figure.png
    
    giants 2019 table.csv
    
    giants 2019 table.csv
    
    giants 2020 figure.png
    
    giants 2020 figure.png
    
    giants 2020 table.csv
    
    giants 2020 table.csv
    
    giants 2021 figure.png
    
    giants 2021 figure.png
    
    giants 2021 table.csv
    
    giants 2021 table.csv
    
    giants 2022 figure.png
    
    giants 2022 figure.png
    
    giants 2022 table.csv
    
    giants 2022 table.csv
    
    giants 2023 figure.png
    
    giants 2023 figure.png
    
    giants 2023 table.csv
    
    giants 2023 table.csv
    
    giants 2024 figure.png
    
    giants 2024 figure.png
    
    giants 2024 table.csv
    
    giants 2024 table.csv
    
    giants 2025 figure.png
    
    giants 2025 figure.png
    
    giants 2025 table.csv
    
    giants 2025 table.csv
    
    team.csv
    
    team.csv
    
    gini.m
    
    gini.m
  - Homework
    
    Homework
    
    W1
    
    W1
    
    Q1.pdf
    
    Q1.pdf
    
    Q1.tex
    
    Q1.tex
    
    Q2.pdf
    
    Q2.pdf
    
    Q2.tex
    
    Q2.tex
    
    Q3 P3 boxplot.png
    
    Q3 P3 boxplot.png
    
    Q3.pdf
    
    Q3.pdf
    
    Q3.tex
    
    Q3.tex
    
    Q4 P2 graph.png
    
    Q4 P2 graph.png
    
    Q4.pdf
    
    Q4.pdf
    
    Q4.tex
    
    Q4.tex
    
    W10
    
    W10
    
    Q1.pdf
    
    Q1.pdf
    
    Q1.tex
    
    Q1.tex
    
    Q2.pdf
    
    Q2.pdf
    
    Q2.tex
    
    Q2.tex
    
    Q3.pdf
    
    Q3.pdf
    
    Q3.tex
    
    Q3.tex
    
    Q4.pdf
    
    Q4.pdf
    
    Q4.tex
    
    Q4.tex
    
    W2
    
    W2
    
    Q1.pdf
    
    Q1.pdf
    
    Q1.tex
    
    Q1.tex
    
    Q2 P2 boxplot.png
    
    Q2 P2 boxplot.png
    
    Q2.pdf
    
    Q2.pdf
    
    Q2.tex
    
    Q2.tex
    
    Q3 P1 stemplot.png
    
    Q3 P1 stemplot.png
    
    Q3.pdf
    
    Q3.pdf
    
    Q3.tex
    
    Q3.tex
    
    Q4.pdf
    
    Q4.pdf
    
    Q4.tex
    
    Q4.tex
    
    W3
    
    W3
    
    Q1.pdf
    
    Q1.pdf
    
    Q1.tex
    
    Q1.tex
    
    Q2.pdf
    
    Q2.pdf
    
    Q2.tex
    
    Q2.tex
    
    Q3.pdf
    
    Q3.pdf
    
    Q3.tex
    
    Q3.tex
    
    Q4.pdf
    
    Q4.pdf
    
    Q4.tex
    
    Q4.tex
    
    W4
    
    W4
    
    Q1.pdf
    
    Q1.pdf
    
    Q1.tex
    
    Q1.tex
    
    Q2.pdf
    
    Q2.pdf
    
    Q2.tex
    
    Q2.tex
    
    Q3.pdf
    
    Q3.pdf
    
    Q3.tex
    
    Q3.tex
    
    Q4.pdf
    
    Q4.pdf
    
    Q4.tex
    
    Q4.tex
    
    W5
    
    W5
    
    Q1.pdf
    
    Q1.pdf
    
    Q1.tex
    
    Q1.tex
    
    Q2.pdf
    
    Q2.pdf
    
    Q2.tex
    
    Q2.tex
    
    Q3.pdf
    
    Q3.pdf
    
    Q3.tex
    
    Q3.tex
    
    Q4.pdf
    
    Q4.pdf
    
    Q4.tex
    
    Q4.tex
    
    W6
    
    W6
    
    Q1.pdf
    
    Q1.pdf
    
    Q1.tex
    
    Q1.tex
    
    Q2.pdf
    
    Q2.pdf
    
    Q2.tex
    
    Q2.tex
    
    Q3.pdf
    
    Q3.pdf
    
    Q3.tex
    
    Q3.tex
    
    Q4.pdf
    
    Q4.pdf
    
    Q4.tex
    
    Q4.tex
    
    W7
    
    W7
    
    Q1.pdf
    
    Q1.pdf
    
    Q1.tex
    
    Q1.tex
    
    Q2.pdf
    
    Q2.pdf
    
    Q2.tex
    
    Q2.tex
    
    Q3.pdf
    
    Q3.pdf
    
    Q3.tex
    
    Q3.tex
    
    Q4.pdf
    
    Q4.pdf
    
    Q4.tex
    
    Q4.tex
    
    W8
    
    W8
    
    Q1.pdf
    
    Q1.pdf
    
    Q1.tex
    
    Q1.tex
    
    Q2.pdf
    
    Q2.pdf
    
    Q2.tex
    
    Q2.tex
    
    Q3.pdf
    
    Q3.pdf
    
    Q3.tex
    
    Q3.tex
    
    Q4.pdf
    
    Q4.pdf
    
    Q4.tex
    
    Q4.tex
    
    W9
    
    W9
    
    Q1.pdf
    
    Q1.pdf
    
    Q1.tex
    
    Q1.tex
    
    Q2.pdf
    
    Q2.pdf
    
    Q2.tex
    
    Q2.tex
    
    Q3.pdf
    
    Q3.pdf
    
    Q3.tex
    
    Q3.tex
    
    Q4.pdf
    
    Q4.pdf
    
    Q4.tex
    
    Q4.tex
  - README.md
    
    README.md
- Computer Programming 2
  Computer Programming 2
  - Laboratories
    
    Laboratories
    
    250311 Lab01 IntelliJ and First Java App
    
    250311 Lab01 IntelliJ and First Java App
    
    HelloWorld.java
    
    HelloWorld.java
    
    People.java
    
    People.java
    
    250314 Lab02 2D Circles in OOP
    
    250314 Lab02 2D Circles in OOP
    
    Circle.java
    
    Circle.java
    
    Employee.java
    
    Employee.java
    
    EmployeeTest.java
    
    EmployeeTest.java
    
    250325 Lab03 Nested Classes
    
    250325 Lab03 Nested Classes
    
    Career.java
    
    Career.java
    
    Exam.java
    
    Exam.java
    
    Student.java
    
    Student.java
    
    250328 Lab04 Class Inheritance and Polimorphysm
    
    250328 Lab04 Class Inheritance and Polimorphysm
    
    Bike.java
    
    Bike.java
    
    Ebike.java
    
    Ebike.java
    
    Rent.java
    
    Rent.java
    
    Test.java
    
    Test.java
    
    250408 Lab05 Reading Files and Storing into objects
    
    250408 Lab05 Reading Files and Storing into objects
    
    app
    
    app
    
    People.java
    
    People.java
    
    ReadAFile.java
    
    ReadAFile.java
    
    data
    
    data
    
    nomi.txt
    
    nomi.txt
    
    250411 Lab06 Collections in Action
    
    250411 Lab06 Collections in Action
    
    app.java
    
    app.java
    
    data
    
    data
    
    Bike.java
    
    Bike.java
    
    EBike.java
    
    EBike.java
    
    250423 Lab07 Storing and using Data Structures
    
    250423 Lab07 Storing and using Data Structures
    
    consoleApp
    
    consoleApp
    
    StoreConsole.java
    
    StoreConsole.java
    
    data
    
    data
    
    Bike.java
    
    Bike.java
    
    EBike.java
    
    EBike.java
    
    Sale.java
    
    Sale.java
    
    files
    
    files
    
    bike.txt
    
    bike.txt
    
    model
    
    model
    
    ReadFile.java
    
    ReadFile.java
  - README.md
    
    README.md
- Computer Programming 1
  Computer Programming 1
  - Lecture 03 LAB Basic notions and concepts
    
    Lecture 03 LAB Basic notions and concepts
    
    ex opt 1.cpp
    
    ex opt 1.cpp
    
    ex opt 2.cpp
    
    ex opt 2.cpp
    
    ex1.cpp
    
    ex1.cpp
    
    ex2.cpp
    
    ex2.cpp
    
    ex3.cpp
    
    ex3.cpp
    
    ex4.cpp
    
    ex4.cpp
    
    ex5.cpp
    
    ex5.cpp
  - Lecture 06 LAB Binary Representations and Operations with Exercises
    
    Lecture 06 LAB Binary Representations and Operations with Exercises
    
    exAtHome.cpp
    
    exAtHome.cpp
    
    exRange.cpp
    
    exRange.cpp
  - Lecture 07 LAB Instructions Conditionals and if
    
    Lecture 07 LAB Instructions Conditionals and if
    
    ex1.cpp
    
    ex1.cpp
    
    ex2.cpp
    
    ex2.cpp
    
    ex3.cpp
    
    ex3.cpp
    
    ex4.cpp
    
    ex4.cpp
  - Lecture 10 LAB Basic Concepts InputStream
    
    Lecture 10 LAB Basic Concepts InputStream
    
    ex1.cpp
    
    ex1.cpp
    
    ex2.cpp
    
    ex2.cpp
    
    ex3.cpp
    
    ex3.cpp
    
    ex4.cpp
    
    ex4.cpp
    
    ex5.cpp
    
    ex5.cpp
  - Lecture 11 LAB Fundamental Data types and Instructions
    
    Lecture 11 LAB Fundamental Data types and Instructions
    
    ex1 1.cpp
    
    ex1 1.cpp
    
    ex1 2.cpp
    
    ex1 2.cpp
    
    ex2 1.cpp
    
    ex2 1.cpp
    
    ex2 2.cpp
    
    ex2 2.cpp
    
    ex2 3a.cpp
    
    ex2 3a.cpp
    
    ex2 3b.cpp
    
    ex2 3b.cpp
    
    ex2 4a.cpp
    
    ex2 4a.cpp
    
    ex2 4b.cpp
    
    ex2 4b.cpp
    
    ex2 4c.cpp
    
    ex2 4c.cpp
    
    ex2 4d.cpp
    
    ex2 4d.cpp
    
    ex2 5a.cpp
    
    ex2 5a.cpp
    
    ex2 5b.cpp
    
    ex2 5b.cpp
    
    ex3 1a.cpp
    
    ex3 1a.cpp
    
    ex3 1b.cpp
    
    ex3 1b.cpp
    
    ex3 2.cpp
    
    ex3 2.cpp
    
    ex3 3.cpp
    
    ex3 3.cpp
    
    ex4 1.cpp
    
    ex4 1.cpp
    
    ex4 2.cpp
    
    ex4 2.cpp
    
    ex4 3.cpp
    
    ex4 3.cpp
    
    ex4 4.cpp
    
    ex4 4.cpp
    
    ex4 5.cpp
    
    ex4 5.cpp
    
    ex4 6.cpp
    
    ex4 6.cpp
    
    ex4 7.cpp
    
    ex4 7.cpp
    
    ex4 8.cpp
    
    ex4 8.cpp
  - Lecture 13 LAB Exercises on Functions
    
    Lecture 13 LAB Exercises on Functions
    
    ex1.cpp
    
    ex1.cpp
    
    ex2.cpp
    
    ex2.cpp
    
    ex3.cpp
    
    ex3.cpp
    
    ex4.cpp
    
    ex4.cpp
    
    ex5.cpp
    
    ex5.cpp
    
    ex6.cpp
    
    ex6.cpp
  - Lecture 14 LAB Exercises on Pointer and References
    
    Lecture 14 LAB Exercises on Pointer and References
    
    ex01.cpp
    
    ex01.cpp
    
    ex02.cpp
    
    ex02.cpp
    
    ex03.cpp
    
    ex03.cpp
    
    ex04.cpp
    
    ex04.cpp
    
    ex05.cpp
    
    ex05.cpp
    
    ex06.cpp
    
    ex06.cpp
    
    ex07.cpp
    
    ex07.cpp
    
    ex08 1.cpp
    
    ex08 1.cpp
    
    ex08 2.cpp
    
    ex08 2.cpp
    
    ex09.cpp
    
    ex09.cpp
    
    ex10.cpp
    
    ex10.cpp
  - Lecture 18 LAB Exercise on Recursive Functions
    
    Lecture 18 LAB Exercise on Recursive Functions
    
    L0 1.cpp
    
    L0 1.cpp
    
    L0 2.cpp
    
    L0 2.cpp
    
    L0 3.cpp
    
    L0 3.cpp
    
    L0 4.cpp
    
    L0 4.cpp
    
    L0 5.cpp
    
    L0 5.cpp
    
    L1 1.cpp
    
    L1 1.cpp
    
    L1 2.cpp
    
    L1 2.cpp
    
    L1 3.cpp
    
    L1 3.cpp
    
    L1 4.cpp
    
    L1 4.cpp
    
    L1 5.cpp
    
    L1 5.cpp
    
    L1 6.cpp
    
    L1 6.cpp
    
    L2.cpp
    
    L2.cpp
    
    TicTacToe.cpp
    
    TicTacToe.cpp
  - Lecture 19 LAB More Exercises on Arrays
    
    Lecture 19 LAB More Exercises on Arrays
    
    GameOfLife.cpp
    
    GameOfLife.cpp
    
    MasterMind.cpp
    
    MasterMind.cpp
    
    ex1 1.cpp
    
    ex1 1.cpp
    
    ex1 2.cpp
    
    ex1 2.cpp
    
    ex1 3.cpp
    
    ex1 3.cpp
    
    ex1 4.cpp
    
    ex1 4.cpp
    
    ex2 1.cpp
    
    ex2 1.cpp
    
    ex2 2.cpp
    
    ex2 2.cpp
    
    ex2 3.cpp
    
    ex2 3.cpp
    
    ex2 4.cpp
    
    ex2 4.cpp
  - Lecture 22 LAB Exercises on Command Line
    
    Lecture 22 LAB Exercises on Command Line
    
    ex1a.cpp
    
    ex1a.cpp
    
    ex1b.cpp
    
    ex1b.cpp
    
    ex1c.cpp
    
    ex1c.cpp
    
    ex1d.cpp
    
    ex1d.cpp
    
    ex1e input.txt
    
    ex1e input.txt
    
    ex1e.cpp
    
    ex1e.cpp
    
    ex2.cpp
    
    ex2.cpp
    
    ex3 input.txt
    
    ex3 input.txt
    
    ex3.cpp
    
    ex3.cpp
    
    ex4 input.txt
    
    ex4 input.txt
    
    ex4.cpp
    
    ex4.cpp
    
    ex5 V1.cpp
    
    ex5 V1.cpp
    
    ex5 V2.cpp
    
    ex5 V2.cpp
    
    ex5 V3.cpp
    
    ex5 V3.cpp
    
    ex5 V4.cpp
    
    ex5 V4.cpp
    
    ex5.cpp
    
    ex5.cpp
    
    us cities.csv
    
    us cities.csv
  - Lecture 23 LAB Exercises with time constraint
    
    Lecture 23 LAB Exercises with time constraint
    
    ex1.cpp
    
    ex1.cpp
    
    ex2.cpp
    
    ex2.cpp
  - Lecture 26 LAB Strings and Command line Arguments
    
    Lecture 26 LAB Strings and Command line Arguments
    
    ex1.cpp
    
    ex1.cpp
    
    ex2.cpp
    
    ex2.cpp
    
    ex3 B.txt
    
    ex3 B.txt
    
    ex3a.cpp
    
    ex3a.cpp
    
    ex3b B.txt
    
    ex3b B.txt
    
    ex3b.cpp
    
    ex3b.cpp
    
    ex3c A.txt
    
    ex3c A.txt
    
    ex3c B.txt
    
    ex3c B.txt
    
    ex3c.cpp
    
    ex3c.cpp
    
    ex4 A.txt
    
    ex4 A.txt
    
    ex4 B.txt
    
    ex4 B.txt
    
    ex4.cpp
    
    ex4.cpp
    
    ex5a input.txt
    
    ex5a input.txt
    
    ex5a.cpp
    
    ex5a.cpp
    
    ex5b input.txt
    
    ex5b input.txt
    
    ex5b.cpp
    
    ex5b.cpp
    
    ex6 A.txt
    
    ex6 A.txt
    
    ex6 B.txt
    
    ex6 B.txt
    
    ex6.cpp
    
    ex6.cpp
    
    ex7a input.txt
    
    ex7a input.txt
    
    ex7a.cpp
    
    ex7a.cpp
    
    ex7b input.txt
    
    ex7b input.txt
    
    ex7b.cpp
    
    ex7b.cpp
    
    ex8.cpp
    
    ex8.cpp
    
    ex9a.cpp
    
    ex9a.cpp
    
    ex9b input.txt
    
    ex9b input.txt
    
    ex9b.cpp
    
    ex9b.cpp
  - Lecture 27 LAB Contacts Management
    
    Lecture 27 LAB Contacts Management
    
    ContactManagement input.txt
    
    ContactManagement input.txt
    
    ContactManagement.cpp
    
    ContactManagement.cpp
    
    Geometry Polygons.cpp
    
    Geometry Polygons.cpp
    
    Geometry Triangles.cpp
    
    Geometry Triangles.cpp
  - Lecture 29 LAB Linked Lists
    
    Lecture 29 LAB Linked Lists
    
    ex.cpp
    
    ex.cpp
  - Lecture 30 LAB Linked Lists
    
    Lecture 30 LAB Linked Lists
    
    list insertElement.cpp
    
    list insertElement.cpp
    
    list middle.cpp
    
    list middle.cpp
    
    list reverse.cpp
    
    list reverse.cpp
    
    list sublist.cpp
    
    list sublist.cpp
    
    list sublist2.cpp
    
    list sublist2.cpp
  - Lecture 33 LAB Exercises on Stack and Linked Lists
    
    Lecture 33 LAB Exercises on Stack and Linked Lists
    
    RPN in CPP.cpp
    
    RPN in CPP.cpp
    
    Register.cpp
    
    Register.cpp
    
    stack.cpp
    
    stack.cpp
    
    stack.hpp
    
    stack.hpp
  - Lecture 34 LAB Argc File Arrays List
    
    Lecture 34 LAB Argc File Arrays List
    
    a.jpg.ppm
    
    a.jpg.ppm
    
    b.jpg.ppm
    
    b.jpg.ppm
    
    c.jpg.ppm
    
    c.jpg.ppm
    
    d.jpg.ppm
    
    d.jpg.ppm
    
    e.jpg.ppm
    
    e.jpg.ppm
    
    ex.cpp
    
    ex.cpp
  - Lecture 37&38 LAB Exercises on Stack Queue and Linked Lists
    
    Lecture 37&38 LAB Exercises on Stack Queue and Linked Lists
    
    ex1 input.txt
    
    ex1 input.txt
    
    ex1.cpp
    
    ex1.cpp
    
    ex2.cpp
    
    ex2.cpp
    
    ex3.cpp
    
    ex3.cpp
    
    ex4.cpp
    
    ex4.cpp
    
    ex5 0.cpp
    
    ex5 0.cpp
    
    ex5 1.cpp
    
    ex5 1.cpp
    
    ex5 2.cpp
    
    ex5 2.cpp
    
    ex5 eg1.txt
    
    ex5 eg1.txt
    
    ex5 eg2.txt
    
    ex5 eg2.txt
    
    ex6 eg1.txt
    
    ex6 eg1.txt
    
    ex6 eg2.txt
    
    ex6 eg2.txt
    
    ex6.cpp
    
    ex6.cpp
    
    ex6V.cpp
    
    ex6V.cpp
    
    ex7 input.txt
    
    ex7 input.txt
    
    ex7.cpp
    
    ex7.cpp
    
    ex8.cpp
    
    ex8.cpp
    
    list.cpp
    
    list.cpp
    
    list.hpp
    
    list.hpp
    
    queue.cpp
    
    queue.cpp
    
    queue.hpp
    
    queue.hpp
    
    stack.cpp
    
    stack.cpp
    
    stack.hpp
    
    stack.hpp
  - Lecture 40 LAB Exercises on ADT and Makefile
    
    Lecture 40 LAB Exercises on ADT and Makefile
    
    Library.cpp
    
    Library.cpp
    
    Student.cpp
    
    Student.cpp
    
    Students.txt
    
    Students.txt
  - Lecture 41 LAB Simulation
    
    Lecture 41 LAB Simulation
    
    1.cpp
    
    1.cpp
    
    2.cpp
    
    2.cpp
  - Lecture 43 LAB Exercises on Graphs and Trees
    
    Lecture 43 LAB Exercises on Graphs and Trees
    
    BST.cpp
    
    BST.cpp
    
    BST.hpp
    
    BST.hpp
    
    ex1&2&3.cpp
    
    ex1&2&3.cpp
    
    ex4 eg1.txt
    
    ex4 eg1.txt
    
    ex4 eg2.txt
    
    ex4 eg2.txt
    
    ex4.cpp
    
    ex4.cpp
    
    ex5 eg1 1.txt
    
    ex5 eg1 1.txt
    
    ex5 eg1 2.txt
    
    ex5 eg1 2.txt
    
    ex5 eg2 1.txt
    
    ex5 eg2 1.txt
    
    ex5 eg2 2.txt
    
    ex5 eg2 2.txt
    
    ex5 eg3 1.txt
    
    ex5 eg3 1.txt
    
    ex5 eg3 2.txt
    
    ex5 eg3 2.txt
    
    ex5.cpp
    
    ex5.cpp
    
    ex5V.cpp
    
    ex5V.cpp
    
    tree.txt
    
    tree.txt
  - Lecture 44 LAB Basic exercises on Object Oriented
    
    Lecture 44 LAB Basic exercises on Object Oriented
    
    ex1.cpp
    
    ex1.cpp
    
    ex1V main.cpp
    
    ex1V main.cpp
    
    ex1V stack.cpp
    
    ex1V stack.cpp
    
    ex1V stack.hpp
    
    ex1V stack.hpp
    
    ex2.cpp
    
    ex2.cpp
    
    ex3.cpp
    
    ex3.cpp
    
    ex4 main.cpp
    
    ex4 main.cpp
    
    ex4 person.cpp
    
    ex4 person.cpp
    
    ex4 person.hpp
    
    ex4 person.hpp
    
    ex5.cpp
    
    ex5.cpp
    
    ex6.cpp
    
    ex6.cpp
  - Lecture 45 LAB Exercises on additional Past exams
    
    Lecture 45 LAB Exercises on additional Past exams
    
    File.cpp
    
    File.cpp
    
    File1 eg.txt
    
    File1 eg.txt
    
    File2 eg.txt
    
    File2 eg.txt
    
    File3 eg1.txt
    
    File3 eg1.txt
    
    File3 eg2.txt
    
    File3 eg2.txt
    
    File3 eg3.txt
    
    File3 eg3.txt
    
    File3 eg4.txt
    
    File3 eg4.txt
    
    Interleave eg1 1.txt
    
    Interleave eg1 1.txt
    
    Interleave eg1 2.txt
    
    Interleave eg1 2.txt
    
    Interleave eg2 1.txt
    
    Interleave eg2 1.txt
    
    Interleave eg2 2.txt
    
    Interleave eg2 2.txt
    
    Interleave.cpp
    
    Interleave.cpp
    
    LowerToUpper input.txt
    
    LowerToUpper input.txt
    
    LowerToUpper.cpp
    
    LowerToUpper.cpp
    
    Pattern.cpp
    
    Pattern.cpp
    
    PostOffice main.cpp
    
    PostOffice main.cpp
    
    Submatrix eg 1.txt
    
    Submatrix eg 1.txt
    
    Submatrix eg 2.txt
    
    Submatrix eg 2.txt
    
    Submatrix.cpp
    
    Submatrix.cpp
    
    WorkLists eg1.txt
    
    WorkLists eg1.txt
    
    WorkLists eg2.txt
    
    WorkLists eg2.txt
    
    WorkLists eg3.txt
    
    WorkLists eg3.txt
    
    WorkLists.cpp
    
    WorkLists.cpp
    
    queue c list.cc
    
    queue c list.cc
    
    queue c list.h
    
    queue c list.h
  - README.md
    
    README.md
- Calculus 2
  Calculus 2
  - README.md
    
    README.md
- Functional Programming
  Functional Programming
  - Lab ML
    
    Lab ML
    
    0228
    
    0228
    
    ex1 1.sml
    
    ex1 1.sml
    
    ex1 2.sml
    
    ex1 2.sml
    
    ex1 3.sml
    
    ex1 3.sml
    
    ex2 1.sml
    
    ex2 1.sml
    
    ex2 2.sml
    
    ex2 2.sml
    
    ex3.sml
    
    ex3.sml
    
    ex4 1.sml
    
    ex4 1.sml
    
    ex4 2.sml
    
    ex4 2.sml
    
    ex4 3.sml
    
    ex4 3.sml
    
    ex4 4.sml
    
    ex4 4.sml
    
    0307
    
    0307
    
    ex1 01.sml
    
    ex1 01.sml
    
    ex1 02.sml
    
    ex1 02.sml
    
    ex1 03.sml
    
    ex1 03.sml
    
    ex1 04.sml
    
    ex1 04.sml
    
    ex1 05.sml
    
    ex1 05.sml
    
    ex1 06.sml
    
    ex1 06.sml
    
    ex1 07.sml
    
    ex1 07.sml
    
    ex1 08.sml
    
    ex1 08.sml
    
    ex1 09.sml
    
    ex1 09.sml
    
    ex1 10.sml
    
    ex1 10.sml
    
    ex1 11.sml
    
    ex1 11.sml
    
    ex2 1.sml
    
    ex2 1.sml
    
    ex2 2.sml
    
    ex2 2.sml
    
    ex2 3.sml
    
    ex2 3.sml
    
    ex2 4.sml
    
    ex2 4.sml
    
    ex2 5.sml
    
    ex2 5.sml
    
    ex2 6.sml
    
    ex2 6.sml
    
    ex2 7.sml
    
    ex2 7.sml
    
    ex2 8.sml
    
    ex2 8.sml
    
    0314
    
    0314
    
    ex1 01.sml
    
    ex1 01.sml
    
    ex1 02.sml
    
    ex1 02.sml
    
    ex1 03.sml
    
    ex1 03.sml
    
    ex1 04.sml
    
    ex1 04.sml
    
    ex1 05.sml
    
    ex1 05.sml
    
    ex1 06.sml
    
    ex1 06.sml
    
    ex1 07.sml
    
    ex1 07.sml
    
    ex1 08.sml
    
    ex1 08.sml
    
    ex1 09.sml
    
    ex1 09.sml
    
    ex1 10.sml
    
    ex1 10.sml
    
    ex1 11.sml
    
    ex1 11.sml
    
    ex1 12.sml
    
    ex1 12.sml
    
    ex1 13.sml
    
    ex1 13.sml
    
    0321
    
    0321
    
    ex1 1.sml
    
    ex1 1.sml
    
    ex1 2.sml
    
    ex1 2.sml
    
    ex1 3.sml
    
    ex1 3.sml
    
    ex1 4.sml
    
    ex1 4.sml
    
    ex1 5.sml
    
    ex1 5.sml
    
    ex1 6.sml
    
    ex1 6.sml
    
    ex1 7.sml
    
    ex1 7.sml
    
    0328
    
    0328
    
    ex1 1.sml
    
    ex1 1.sml
    
    ex1 2.sml
    
    ex1 2.sml
    
    ex1 3.sml
    
    ex1 3.sml
    
    ex2 1.sml
    
    ex2 1.sml
    
    ex2 2.sml
    
    ex2 2.sml
    
    ex2 3.sml
    
    ex2 3.sml
    
    ex2 4.sml
    
    ex2 4.sml
    
    ex3 1.sml
    
    ex3 1.sml
    
    ex3 2.sml
    
    ex3 2.sml
    
    0404
    
    0404
    
    ex1 1.sml
    
    ex1 1.sml
    
    ex1 2.sml
    
    ex1 2.sml
    
    ex1 3.sml
    
    ex1 3.sml
    
    ex1 4.sml
    
    ex1 4.sml
    
    ex1 5.sml
    
    ex1 5.sml
    
    ex2 1.sml
    
    ex2 1.sml
    
    ex2 2.sml
    
    ex2 2.sml
    
    ex2 3.sml
    
    ex2 3.sml
    
    ex2 4.sml
    
    ex2 4.sml
    
    ex2 5.sml
    
    ex2 5.sml
    
    ex2 6.sml
    
    ex2 6.sml
    
    ex2 7.sml
    
    ex2 7.sml
    
    ex2 8.sml
    
    ex2 8.sml
    
    0411
    
    0411
    
    ex1 1.sml
    
    ex1 1.sml
    
    ex1 2.sml
    
    ex1 2.sml
    
    ex1 3.sml
    
    ex1 3.sml
    
    ex1 4.sml
    
    ex1 4.sml
    
    ex1 5.sml
    
    ex1 5.sml
    
    0429
    
    0429
    
    ex1 1.sml
    
    ex1 1.sml
    
    ex1 2.sml
    
    ex1 2.sml
    
    ex1 3.sml
    
    ex1 3.sml
    
    ex1 4.sml
    
    ex1 4.sml
    
    ex2 1.sml
    
    ex2 1.sml
    
    ex2 2.sml
    
    ex2 2.sml
    
    ex2 3.sml
    
    ex2 3.sml
    
    0506
    
    0506
    
    class.sc
    
    class.sc
    
    class.sml
    
    class.sml
    
    0509
    
    0509
    
    class.sml
    
    class.sml
    
    README.md
    
    README.md
  - README.md
    
    README.md
- Computational Logic
  Computational Logic
  - README.md
    
    README.md
- Mathematics for Informatics
  Mathematics for Informatics
  - README.md
    
    README.md
- Algorithms and Data Structures part 1
  Algorithms and Data Structures part 1
  - Lab
    
    Lab
    
    ex01 A.c
    
    ex01 A.c
    
    ex01 B.c
    
    ex01 B.c
    
    ex01 C.c
    
    ex01 C.c
  - README.md
    
    README.md

Computational Logic¶

Basic Info¶

Course ID: 146199
Professor: Szymanik
Moodle
Download

Name	Type	Item	Size
README	md	/	1 KiB

More Info¶

Moodle Link¶

[146199] Computational Logic - SZYMANIK

Textbook¶

About¶

Logic
Logicomix
ChatGPT
Are NNs capable of compositional interpretation?
Compositionality Decomposed: How doNeural Networks Generalise?