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 discussed: the bosonic string and the superstrings formalisms of Ramond-Never-Schwarz and Green-Schwarz. The effective actions in the low energy limit of the D-branes (DBI action) and supergravity theories (D=10,11) are introduced as well. Finally, some aspects of the AdS/CFT correspondence are analised, enunciating the conjecture and introducing some entries of the dictionary. The appendices contains some topics that are highly relevant for the whole text and may help clarify several ideas and arguments through it.