Skip to content

Bachelor of Computer Science

Computational Logic

Bachelor of Computer Science

Home
Home
Courses
Courses
- 145937 RANISE Introduction to Computer and Network Security
  145937 RANISE Introduction to Computer and Network Security
  - README.md
    
    README.md
- 145992 YILDIRIM Computer Architechtures
  145992 YILDIRIM Computer Architechtures
  - README.md
    
    README.md
- 145993 SIRACUSA Databases
  145993 SIRACUSA Databases
  - README.md
    
    README.md
- 146055 PUGLIESE Calculus 1
  146055 PUGLIESE Calculus 1
  - README.md
    
    README.md
- 146056 OCCHETTA Geometry and Linear Algebra
  146056 OCCHETTA Geometry and Linear Algebra
  - README.md
    
    README.md
- 146060 BONACCORSI Probability
  146060 BONACCORSI 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
    
    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
  - README.md
    
    README.md
- 146062 MARCHESE Computer Programming 2
  146062 MARCHESE Computer Programming 2
  - Laboratories
    
    Laboratories
    
    250311 Lab01 IntelliJAndFirstJavaApp
    
    250311 Lab01 IntelliJAndFirstJavaApp
    
    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
  - README.md
    
    README.md
- 146140 MARCHETTO Computer Programming 1
  146140 MARCHETTO 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
- 146141 WIYGUL Calculus 2
  146141 WIYGUL Calculus 2
  - README.md
    
    README.md
- 146168 KUPER Functional Programming
  146168 KUPER 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
    
    README.md
    
    README.md
  - README.md
    
    README.md
- 146199 SZYMANIK Computational Logic
  146199 SZYMANIK Computational Logic
  - README.md
    
    README.md
- 146289 CHITTARO Mathematics for Informatics
  146289 CHITTARO Mathematics for Informatics
  - README.md
    
    README.md
- 146290 VELLA Algorithms and Data Structures part 1
  146290 VELLA 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
Origin

Name	Type	Size	Last Modified
README	md	1.100 KiB	2025-04-17

More Info¶

Moodle Link¶

[146199] Computational Logic - SZYMANIK

Textbook¶

About¶

Logic
Logicomix
ChatGPT
A Categorical Archive of ChatGPT Failures
Testing the limits of logical reasoning in neural and hybrid models
Benchmarking Neural Network Generalization for Grammar Induction
Are NNs capable of compositional interpretation?
Compositionality Decomposed: How doNeural Networks Generalise?