Matemáticas para Informática

Título original:

Mathematics for Computer Science

Contenido del libro:

Este libro abarca las matemáticas discretas elementales para la informática y la ingeniería.

Hace hincapié en las definiciones y demostraciones matemáticas, así como en los métodos aplicables. Los temas incluyen notación lógica formal, métodos de demostración; inducción, ordenación; conjuntos, relaciones; teoría elemental de grafos; congruencias de enteros; notación asintótica y crecimiento de funciones; permutaciones y combinaciones, principios de recuento; probabilidad discreta.

También pueden tratarse otros temas seleccionados, como definición recursiva e inducción estructural; máquinas de estados e invariantes; recurrencias; funciones generadoras.