Skip to main content

Tesauro Brasileiro de Ciência da Computação

Content language

Preferred term

Teoria da Computação

Conteúdo
owl:NamedIndividual

C.1.2 C.1.2 - Conhecer os limites da computação
C.1.7 C.1.7 - Aplicar temas e princípios recorrentes, como abstração, complexidade, princípio de localidade de referência (caching), compartilhamento de recursos, segurança, concorrência, evolução de sistemas, entre outros, e reconhecer que esses temas e princípios são fundamentais à área de Ciência da Computação
C.2.6 C.2.6 - Compreender os fatos essenciais, os conceitos, os princípios e as teorias relacionadas à Ciência da Computação para o desenvolvimento de software e hardware e suas aplicações
C.3.7 C.3.7 - Reconhecer a importância do pensamento computacional no cotidiano e sua aplicação em circunstâncias apropriadas e em domínios diversos
C.6.5 C.6.5 - Ser capaz de realizar trabalho cooperativo e entender os benefícios que este pode produzir
C.6.6 C.6.6 - Compreender os fatos essenciais, os conceitos, os princípios e as teorias relacionadas à Ciência da Computação para o desenvolvimento de software e hardware e suas aplicações
C.7.2 C.7.2 - Conhecer os limites da computação
C.7.5 C.7.5 - Compreender os fatos essenciais, os conceitos, os princípios e as teorias relacionadas à Ciência da Computação para o desenvolvimento de software e hardware e suas aplicações
C.7.8 C.7.8 - Aplicar temas e princípios recorrentes, como abstração, complexidade, princípio de localidade de referência (caching), compartilhamento de recursos, segurança, concorrência, evolução de sistemas, entre outros, e reconhecer que esses temas e princípios são fundamentais à área de Ciência da Computação

A teoria da computação é um subcampo da ciência da computação e matemática que busca determinar quais problemas podem ser computados em um dado modelo de computação. (Wikipédia).

Máquinas de Turing: padrão, universal, técnicas, extensões, estruturas equivalentes (Máquina de Post, Máquina Norma, ...). Decidibilidade: problemas de decisão, tese de Church-Turing, problema da parada, redutibilidade, problema da correspondência de Post, outros problemas. Funções recursivas.

Computer Theory

English
Teoría de la computadora

Spanish

URI

http://lod.unicentro.br/2017/DiretrizesSBC#teoriaComputacao

Download this concept:

RDF/XML TURTLE JSON-LD