Couvre la modélisation des instructions de contrôle avec des fonctions dans Scala, y compris les boucles while, les boucles de répétition et la traduction for-loops.
Couvre la logique de Hoare, la post-condition la plus forte et la condition préalable la plus faible pour simplifier les preuves dans la programmation impérative.
Déplacez-vous dans l'inférence réseau à partir de preuves textuelles, explorant la propagation de l'information, la traduction et l'attention multi-inputs.
Couvre l'évaluation de la stabilité des protéines en utilisant RFP et GFP, la cytométrie de flux, la mutagénèse, les rapporteurs de calcium et les expériences CRISPR-Cas9.
