All the posts (as of today)

This is the list of all the posts published.

Set k is recursively enumerable non-recursive

Set k is recursively enumerable non-recursive - The proof.

Read
Basic LaTeX Document

A basic LaTeX document with book class: be ready to write!

Read
Images in a LaTeX Document

How to insert images in a LaTeX document - Making an hard thing become easy.

Read
Characterization Theorem

Characterization Theorem in Computability - What it states and a proof.

Read
Futamura's Projections

Futamura's Projections - What they are and what they actually mean.

Read
Halting Problem

Halting Problem - The foundation of the computability theory, that gave it the first headaches - until Turing got a brilliant idea.

Read
Turing-complete Languages

Turing-complete Languages - What they are and their characteristics.

Read
Kleene's Recursion Theorems

Kleene's Recursion Theorems in Computability - What they are and their proof.

Read
Posts's Theorem

Posts's Theorem in Computability - What it states and a proof.

Read
Rice's Theorem

Rice's Theorem in Computability - What it states and a proof.

Read
Convolution

Convolution - What it is and how to compute it.

Read
Cross-Correlation

Cross-Correlation - What it is and how to compute it.

Read
Energy of a signal

Energy of a signal - What it is and how to compute it.

Read
Fourier Series

Fourier Series - What it is and how to compute it.

Read
Fourier Transform

Fourier Transform - What it is and how to compute it.

Read
Image Processing

Image Processing - The most common operations and techniques.

Read
Images and Statistics

Images and Statistics - What you should know.

Read
Power of a signal

Power of a signal - What it is and how to compute it.

Read
Signals, the basics

Signals - What they are, some of their most important properties and what you can do with them.

Read
Cantor's Theorem

Cantor's Theorem in Computability - What it states and a proof.

Read
Complex Numbers

Complex Numbers - What they are and how to express them

Read