logcomp's profile picture. Twitter da disciplina Lógica para Computação, do Departamento Acadêmico de Informática da UTFPR Campus Curitiba.

Lógica p/Computação

@logcomp

Twitter da disciplina Lógica para Computação, do Departamento Acadêmico de Informática da UTFPR Campus Curitiba.

Doutorado na Free University of Bozen-Bolzano Prezados Colegas, Segue uma excelente oportunidade para alunos que desejam realizar o doutorado na Europa com possibilidade de bolsa (fully funded) por um... facebook.com/LogicaParaComp…


"Logic is a foundation for many things. But what are the foundations of logic itself? " blog.stephenwolfram.com/2018/11/logic-…


The Logic and Computation Group at the Research School of Computer Science, The Australian National University has a number of PhD scholarship available for bright, enthusiastic doctoral students in the following... cecs.anu.edu.au/research/theor…


Palestra de lançamento do livro "Valsa Brasileira" de Laura Carvalho facebook.com/LogicaParaComp…


Usando Ferramentas para Mapas Mentais para Desenhar Tablôs Analíticos qeondb.blogspot.com.br/2018/05/usando…


Introduzindo a Galeria de Provas Resolvidas de Lógica para Computação dainf.ct.utfpr.edu.br/~adolfo/dokuwi…


Livro grátis sobre Elixir para todos que tem email .edu.br pragprog.com/book/elixir16/… #myelixirstatus


Duas demonstrações corretas com formatos diferentes. Por que? Qual a melhor?


Lembrete: a entrada é franca! Inscrições Abertas em bit.ly/dim2018 fb.me/9kA1vZTm1


Vamos ter evento do Dia Internacional da Mulher (08/03) na UTFPR Curitiba. Presença confirmada da @umaMaisTempo... fb.me/1TbSWbGHD


Loading...

Something went wrong.


Something went wrong.