Ciência da Computação

14
Redução direta de

Sabemos que a está em pelo teorema do teorema de Immerman – Szelepcsényi e como é portanto, a é reduzida em muitos espaços de log redutível à . Mas existe uma redução direta / combinatória que não passa pelo gráfico de configuração das máquinas de Turing em ?N G s t - c o n n e c t i v i t y N L -...

14
Razão para aprender lógica proposicional e predicada

Compreendo a importância de que cientistas da computação ou qualquer engenheiro relacionado ao desenvolvimento de software tenham entendido o estudo da lógica básica como base. Mas existem tarefas / trabalhos que exigem explicitamente o conhecimento sobre eles, além das tarefas que exigem...