BioInformatics
Preface
Prerequisites
Learning ethics
Introduction
What is Bioinformatics?
Why does Bioinformatics matter to you?
Research
Ecosystem
Standards, jobs, industry, roles, …
Story
FAQ
Worked examples
QSAR
Subsection
Subsubsection
Exercises
- Logic. Mathematics. Code. Automatic Verification such as Lean Proven or Frama-C.
- Languages in Anki.