/
localmetadata.tex
20 lines (14 loc) · 1.99 KB
/
localmetadata.tex
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
\title{Curso de semântica formal} %look no further, you can change those things right here.
% \subtitle{Change subtitle}
% \BackTitle{Curso de semântica formal} % Change if BackTitle != Title
\BackBody{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. Após um capítulo introdutório sobre os fundamentos de uma semântica formal baseada em condições de verdade (capítulo 1), o restante do livro cobre fenômenos relacionados à saturação de predicados (capítulo 2), coordenação e negação (capítulo 3), referência (capítulo 4), modificação (capítulo 5), quantificação (capítulo 6) e ligação (capítulo 7). Ao final de cada capítulo, há sugestões de leitura para os que quiserem aprofundar-se nos temas abordados no texto, além de exercícios para a fixação do conteúdo.}
%\dedication{Change dedication in localmetadata.tex}
\typesetter{Marcelo Ferreira}
\proofreader{Jairo Nunes}
\author{Marcelo Ferreira}
\BookDOI{10.5281/zenodo.2600163}%ask coordinator for DOI
\renewcommand{\lsISBNdigital}{978-3-96110-153-5}
\renewcommand{\lsISBNsoftcover}{978-3-96110-154-2}
\renewcommand{\lsSeries}{tbls} % use lowercase acronym, e.g. sidl, eotms, tgdi
\renewcommand{\lsSeriesNumber}{6} %will be assigned when the book enters the proofreading stage
\renewcommand{\lsID}{200} % contact the coordinator for the right number