Permutation Groups

Focusing on permutation groups, this text highlights recent advancements influenced by the Classification of Finite Simple Groups and its connections to logic and combinatorics. It introduces relevant computer algebra systems capable of handling large groups and includes sketch proofs of key theorems alongside practical examples. Designed for beginning graduate students and experts from various fields, the content is based on a short course held at the EIDMA institute in Eindhoven, making complex topics accessible to a broader audience.