induction

Algorithms: Design & Analysis

Essays on induction, inference, and the search for useful representations

Avaliação em grupo RA01 da Disciplina de Resolução de Problemas de Natureza Discreta - BCC / PUCPR 2023

A collection of small haskell programs that serve as a perparation for the exam

This is programmed lab work of exploring behavior of inductance.

Haskell implementation of aspects of the theory of Aligned Induction

A small trick to get something similar to nested induction/coinduction in Coq, by nesting "finite coinductive types".

Resolución de los códigos que se pedían para las tareas.

House Prices: Advanced Regression Techniques

full-program induction technique extended to probabilistic programs

Reconstruction of a trival Self Guided Learning algorithm

Simulation of electromagnetic induction

List of Philosophy Algorithms

Electrical engineering is the study, design and application of equipment, devices and systems which use electricity, electronics, and electromagnetism.

Writes algorithms with multiple predicates

Structured Lean proofs, rewriting, induction, paired tactic styles. Lean 4.33.0 / mathlib v4.33.0.

Inductive puzzle to challenge and perplex (https://hightower.space/inductive-puzzles/)