Oi Andrea, Você certamente vai encontrar muitos "lapsos" e coisas piores 🙂 Muito obrigado por sua ajuda. A lista de coautores já começou a ficar chic!!!
Abraços, Daniel. Em sexta-feira, 28 de maio de 2021 às 14:07:05 UTC-3, aloparic escreveu: > Que projeto legal, Daniel! > Vou ler o texto e, se encontrar lapsos, preencho o forme mando. > Sempre têm, corrigimos um do First Order Logic do Smullyan > quando fizemos a tradução. > Abração, > Andres > > Em sex., 28 de mai. de 2021 às 12:35, Hermógenes Oliveira < > oliv...@daad-alumni.de> escreveu: > >> Olá, Daniel. >> >> Muito legal o projeto! >> >> Há algum tempo atrás, eu escrevi para sondar sobre o projeto e, na >> ocasião, >> você me enviou as fontes LaTeX da tradução feita pelo grupo de Natal. Eu >> e >> Diego estamos usando o texto como livro didático das disciplinas de >> lógica >> aqui em João Pessoa. Para coordenar as nossas revisões do texto, Diego >> incluiu >> as fontes no GitHub sob a licença que acompanhava as fontes que você me >> forneceu, isto é CC-BY-4.0 (a mesma do projeto original): >> >> https://github.com/diegofernandess/paratodxs-rn-pb >> >> Nós fizemos algumas alterações e correções que estão espalhadas em quatro >> bifurcações ("branches"). Tentamos, na medida do possível, granularizar >> ao >> máximo nossas alterações em remendos ("commits") separados, adicionando >> comentários explicativos ou motivadores, sempre que possível (alguns, >> inclusive, contém discussões e divergências entre eu e Diego). A ideia é >> encorajar colaborações e permitir pinçar ("cherry pick") mudanças >> localizadas, >> facilitando a incorporação em versões paralelas (por quem quer que seja). >> >> Provavelmente, algumas de nossas correções não são mais aplicáveis, pois >> estão >> baseadas numa versão mais antiga do texto. Porém, talvez algumas delas >> ainda >> sejam de interesse. >> >> Noto que a versão atual contém capítulos sobre lógica modal e >> metateoria. Eu >> havia começado a trabalhar no capítulo sobre lógica modal, mas >> infelizmente >> não pude avançar muito. >> >> Talvez convenha centralizarmos os esforços. Daí nós manteriamos um tronco >> separado do repositório de vocês. Isso facilitaria a troca de remendos >> entre >> as diversas versões. >> >> Cordialmente, >> >> -- >> Hermógenes Oliveira >> >> >> -- >> Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" >> dos Grupos do Google. >> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, >> envie um e-mail para logica-l+u...@dimap.ufrn.br. >> Para ver esta discussão na web, acesse >> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/1664059.lhQJIO16El%40avalon >> . >> > -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/2f265c4b-2070-40a3-8015-027226b1e4ffn%40dimap.ufrn.br.
