Dissertation Writing service Buy Dissertation Online essay writing service cheap essay writing Departamento de Computação Promove "Uma conversa sobre computação, matemática e filosofia" | Departamento de Computação
 

Departamento de Computação Promove "Uma conversa sobre computação, matemática e filosofia"

O Departamento de Computação (DC) da UFRPE realiza, no dia 28 de novembro de 2018, às 18h30, mais um Seminário de Computação. Nesta edição, o Prof. Ruan Carvalho (DC-UFRPE) irá conversar sobre computação, matemática e filosofia.

Trata-se de evento aberto à participação de todos os interessados.

Dados do evento:
Data: 28/11/2018
Hora: 18:30 - 19:30    
Local: CEAGRI 2 - Auditório    
Palestrante: Prof. Ruan Carvalho  / DC-UFRPE 

Título: Uma conversa sobre computação, matemática e filosofia.
Resumo: Computadores realizam inúmeros tipos de tarefas para nós. Hoje em dia é difícil imaginar uma área em que eles não possam ser úteis. Mas como dimensionar quais são as suas limitações? Uma abordagem é estudá-los por meio de um modelo conceitual, como a máquina de Turing. Assim como na computação, na matemática também há um estudo formal dos seus fundamentos. Teoria da prova foi desenvolvida por matemáticos e filósofos e investiga o raciocínio matemático e as provas como objetos formais. Neste seminário, apresentaremos alguns conceitos dessas áreas que se mostraram muito importantes para a ciência da computação.