koku's life journal

Thursday 2026-02-19

Thu, 19 Feb 2026 17:53:25 GMT

NPRG031 (Programming 2) [lecture] - c#, not too dissimilar from the lecture for NSWI170 from yesterday, just with c# instead of c++, i've found out how .dlls happen and about the LI, which is analogous to the java virtual machine.. also how to pass a variable as a reference instead of a value to a function

NMAI054 (Mathematical analysis 1) [lecture] - we haven't begun calculus just yet, just did things about infinite sets of numbers, like the natural, integers, rationals, reals and complexes (complices?), proof that rationals and below are countable infinities, and proof that the reals form an uncountable infinity, attributes of subsets of the reals, like minimum/maximum, infimum/supremum and similar

NPRG031 (Prgramming 2) [tutorial] - no programming just yet, as we don't really know much about the syntax of c#, so we had an exercise in what the teacher called train sort.. we were given a series of marshalling yard shapes and we had to decide whether it could be used to sort any arbitrary array of n trains, essentially trying to prove whether a combination of LIFOs, FIFOs and connections between them could be used to permute any word of length n, so more to do with permutations than sorting, also we among other things used an approximation of n! to prove that if you have any constant amount of stacks where you can only move in to the first stack, from the nth stack to the (n+1)th stack, and from the last stack out, you cannot sort a sufficiently large amount of trains gosh i have a lot to say

koku daily message:
even a computer scientist is a mathematician

comments

Monday 2026-02-16

Mon, 16 Feb 2026 18:54:57 GMT

I'm sorry for having given up blogging, i'm gonna start again, as the second semester has started today

NSWI170 (Computer systems) [tutorial] - this is a sort of continuation of NSWI120 from last semester, except more hands on, we'll be programming in C/C++ and also programming arduinos, so more low level than what we've done prior, we told some administrative things about the class, like how homework works and what we have to do to be allowed to the exam, then we did very simple programming things in C++ (printing and working with arrays)

NMAI054 (Mathematical analysis 1) [tutorial] - calculus!!! because we haven't had the lecture yet we only did revision of high school things we should already know, like inequalities in the reals of functions with abs, logs or fractions and drawing specific functions.. in high school we did a lot of calculus so i hope i won't struggle in this class...

koku daily message:
the world is so beautiful

comments

Thursday 2025-10-23

Thu, 23 Oct 2025 13:53:27 GMT

NPRG062 (Introduction to algorithms) [tutorial] - we didn't go over the coursework as the teacher has accidentally set it to 9:50 pm instead of am so a lot of people haven't done it yet, instead we did some sorts and big O notation...

NPRG030 (Programming 1) [tutorial] - went over the coursework and then using a real example of a hangman game to introduce the concept of cutting a problem into smaller parts using functions

NJAZ070 (English for Upper-Intermediate Students I) - for the mathematics part we learned how to avoid ambiguity when reading a mathematical statement out loud, then read an article about how birth order affects children, and i mentioned the čapek play matka as an example of parents being protective of their last born children

koku daily message:
goof for good

comments

Monday 2025-10-20

Thu, 23 Oct 2025 13:16:09 GMT

alright, i've put off writing blog posts for a bit, but i'm back!! gonna write all of monday to thursday right now on the train

NMAI069 (Mathematical skills) - had a quiz on propositional logic, was simple, after that we went over something or other..

NDMI002 (Discrete mathematics) [lecture] - finished binary relations with the theorem "about the long and broad" proving that the product of the width and the length of a partially ordered is greater than or equal to the its size, then we started with combinatorial counting, permutation is bijection of X -> X, then something about power sets

NDMI002 (Discrete mathematics) [tutorial] - a quiz, i felt rather confident with my solutions, but then the teacher wrote the best solution and they were much more elegant than mine.. after we did some exercises on functions and equivalence relations and didn't have time to get to the partially ordered sets

koku daily message:
time is fuel

comments

Monday 2025-10-06

Mon, 06 Oct 2025 16:47:52 GMT

NMAI069 (Mathematical skills) - we did propositional logic, nothing that i didn't already know

NDMI002 (Discrete mathematics) [lecture] - binary relations, their compositions, how they all relate to functions and composite functions. then we did properties of functions (injective, surjective and bijective) if they are the same size and finite then being injective proves it's surjective and vice versa. properties of binary relations, which are reflexive, symmetrical, anti-symmetrical and transitive

NDMI002 (Discrete mathematics) [tutorial] - we went over types of proofs (direct, indirect, by contradiction and by induction) and then had exercises where we had to prove various statements using those methods

koku daily message:
tautology

comments