Ce cours explore les divers liens entre modèles de calcul et cadres logiques. En partant des équivalences classiques issues de la théorie des langages rationnels, le cours abordera des résultats plus récents. Nous montrerons comment la compréhension des relations entre logiques et modèles de calcul — tels que les automates ou les réseaux de neurones sur graphes — permet de mieux appréhender les objets étudiés et, en particulier, d'établir des résultats de décidabilité, de complexité et d'expressivité. D'une part, les modèles de calcul permettent de décider certaines logiques ; d'autre part, les logiques permettent de caractériser l'expressivité des modèles de calcul.