02231 am 22004693u 450 991031833410332120221206182215.03-96110-153-110.5281/zenodo.2600163(CKB)4100000007992692(OAPEN)1004856(ScCtBLL)d96c16c1-6540-4968-afec-8b3c3065eb99(oapen)https://directory.doabooks.org/handle/20.500.12854/27573(PPN)243637101(EXLCZ)99410000000799269220200310h20192019 fy 0porurmu#---auuuutxtrdacontentcrdamediacrrdacarrierCurso de semântica formal /Marcelo FerreiraBerlinLanguage Science Press2019Berlin, Germany :Language Science Press,[2019]©20191 online resource (vii, 186 pages) PDF, digital file(s)Textbooks in language sciences ;63-96110-154-X Includes bibliographical references.Este livro é um curso introdutório em semântica formal e tem o intuito de apresentar um sistema interpretativo composicional, formalizado através de algumas ferramentas lógico-matemáticas. Não se pressupõe experiência prévia com abordagens formais para o significado. Em sala de aula, poderá ser usado tanto em cursos mais avançados na graduação quanto em cursos de pós-graduação. Fora dela, poderá satisfazer estudantes autodidatas, professores e pesquisadores não apenas de linguística, mas também de áreas afins com interesse na análise e formalização do significado no âmbito das línguas naturais, como filosofia, ciências cognitivas e inteligência artificial. O livro está dividido em 7 capítulos.LinguisticsSemanticsSemantics, discourse analysis, etcbicsscLinguisticsLinguisticsSemantics.Semantics, discourse analysis, etc401.43Ferreira Marcelo964508UkMaJRUBOOK9910318334103321Curso de semântica formal2188199UNINA