Este é um trabalho de revisão. Os principais formalismos no desenvolvimento da teoria de cordas são introduzidos e discutidos: a corda bosônica e as supercordas no formalismo de Ramond-Neveu-Schwarz e no formalismo de Green-Schwarz. São introduzidas também as açôes efetivas no limite de baixas energias das D-branas (ação DBI) e das teorias de supergravidade (D=10,11). Por fim, são analisados alguns aspectos da correspondência AdS/CFT, enunciando a conjectura e introduzindo algumas das entradas do dicionário. Os apêndices contêm tópicos de grande relevância para o texto e podem ajudar a esclarecer vários raciocínios e passagens ao longo do mesmo.This is a review work. The main formalisms on the development of string theory are introduced and...