O Col\u00f3quio de L\u00f3gica,\u00a0organizado pela Sociedade Portuguesa de L\u00f3gica SPL, visa\u00a0promover a investiga\u00e7\u00e3o e o conhecimento nesta \u00e1rea, desde a l\u00f3gica matem\u00e1tica at\u00e9 \u00e0 l\u00f3gica filos\u00f3fica assim como l\u00f3gica para a intelig\u00eancia artificial e a teoria da computa\u00e7\u00e3o, atrav\u00e9s de uma s\u00e9rie de palestras mensais.\u00a0 As palestras do Col\u00f3quio de L\u00f3gica ser\u00e3o realizadas de forma h\u00edbrida. T\u00eam lugar, salvo indica\u00e7\u00e3o em contr\u00e1rio, na sala 3.10 do Departamento de Matem\u00e1tica do T\u00e9cnico ULisboa e virtualmente. <\/p>\n\n\n\n
<\/p>\n\n\n\n
<\/p>\n\n\n\n
Ver em Eventos<\/a> as palestras j\u00e1 realizadas no Col\u00f3quio de L\u00f3gica.<\/p>\n\n\n\n <\/p>\n","protected":false},"excerpt":{"rendered":" O Col\u00f3quio de L\u00f3gica,\u00a0organizado pela Sociedade Portuguesa de L\u00f3gica SPL, visa\u00a0promover a investiga\u00e7\u00e3o e o conhecimento nesta \u00e1rea, desde a l\u00f3gica matem\u00e1tica at\u00e9 \u00e0 l\u00f3gica filos\u00f3fica assim como l\u00f3gica para a intelig\u00eancia artificial e a teoria da computa\u00e7\u00e3o, atrav\u00e9s de uma s\u00e9rie de palestras mensais.\u00a0 As palestras do Col\u00f3quio de L\u00f3gica ser\u00e3o realizadas de forma …<\/p>\n
Informa\u00e7\u00e3o sobre o Col\u00f3quio de L\u00f3gica tamb\u00e9m est\u00e1 dispon\u00edvel na p\u00e1gina dos semin\u00e1rios do Departamento do Matem\u00e1tica do IST<\/a>, em particular na p\u00e1gina Col\u00f3quio de L\u00f3gica<\/a> onde se encontram alguns V\u00eddeos do Col\u00f3quio de L\u00f3gica<\/a>.
<\/p>\n\n\n\n