cheap essay writing cheap essay writing service cheap essay writing cheap essay writing cheap dissertation writing cheap dissertation writing service cheap essay writing cheap essay writing service cheap essay writing cheap essay writing Dissertation Writing service Buy Dissertation Online Cheap dissertation writing Cheap dissertation writing cheap dissertation writing cheap dissertation writing service cheap essay writing Essay Writing Service cheap dissertation writing cheap dissertation writing service cheap dissertation writing cheap dissertation writing service cheap dissertation writing service cheap essay writing service cheap dissertation writing cheap dissertation writing cheap essay writing service cheap dissertation writing service cheap essay writing cheap essay writing service cheap essay writing 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.