novalic / articles

some of the math in computer science

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Articles

These are some interesting math problems I solved and other articles I wrote related to computers and computer science.

388

  • A nice problem about finding multiples of 388 that verify some rules.
  • It includes a nice line-of-code-solution on Python.

How graphic data was stored in the N.E.S. CHRom

  • A guide to understand how data was stored in CHR roms.
  • I try to explain what I learned by investigating several sourcer.
  • It has examples.

Strategies for Natural Deduction on Predicate Logic

  • How to build a derivation in predicate logic.
  • How to use identity rules.

Understanding the division operator in Relational Algebra

  • A nice guide to understand what the operator does.
  • Examples with tables.
  • A relational algebra query.

About

some of the math in computer science

License:Creative Commons Zero v1.0 Universal


Languages

Language:TeX 93.1%Language:Python 6.9%