ÁùºÏ²Ê¿ª½±½á¹û

LING 661 Advanced Formal Methods (3 unités)

Nota : Ceci est la version 2011–2012 de l’annuaire électronique. Veuillez mettre à jour l’année dans la barre d’adresse de votre navigateur pour une version plus récente de cette page, ou cliquez ici pour consulter l'annuaire la plus récente.

Offert par : Linguistique (Arts et service social)

Administered by: Études supérieures et recherch

Vue d'ensemble

Linguistique : This course presents the formal methods used in the study of syntax or semantics. Topics include basic set theory as well as partial orders and lattices.

Trimestres : Automne 2011

Chargés de cours : Gillon, Brendan S (Fall)

Back to top