Ciência da Computação

Perguntas e respostas para estudantes, pesquisadores e profissionais de ciência da computação


1
Terminologia para um gráfico com portas em seus nós
Um gráfico é um conceito bem definido nas disciplinas de matemática, ciência da computação e engenharia que dependem delas. No entanto, muitas vezes uma implementação prática de um gráfico (direcionado) em um determinado domínio ou aplicativo exige que as arestas não conectem apenas vértices, mas conectem portas que existem nesses …

4
Implicações do teorema de Rice
Toda vez que acho que entendo o que o teorema de Rice significa, encontro um contra-exemplo para me confundir. Talvez alguém possa me dizer onde estou pensando errado. Vamos usar uma propriedade não trivial do conjunto de funções computáveis, por exemplo, deixe . Obviamente, é infinito contável e há também …

10
Programa de Computador vs. Algoritmo
Dizem que um programa inclui algoritmos; no entanto, se nos referirmos à sua definição, um algoritmo é uma sequência de instruções escritas para executar uma tarefa especificada e um programa de computador também é uma sequência de instruções para executar algumas tarefas no computador. Então, o que torna um programa …


2
Por que a transformação no algoritmo de multiplicação de Schönhage – Strassen é barata?
O algoritmo de multiplicação de Schönhage-Strassen funciona transformando multiplicações de tamanho em muitas multiplicações de tamanho com uma transformação teórica numérica e recorrendo. Pelo menos eu acho que é o que faz, porque há alguma outra inteligência e eu realmente não a entendo o suficiente para resumir com precisão. Ele …



7
Linguagem para o ensino de programação básica
Eu sou interessante no ensino de programação para alunos do ensino médio. Eu gostaria de uma linguagem de programação com os seguintes critérios: Simples - reduzido ao mínimo absoluto necessário para oferecer suporte a programação sofisticada sem muito código. Como tal, para esta linguagem, não estou interessado em indicadores e …


2
Decidir o conjunto de todas as máquinas de Turing que param no máximoetapas
Seja pára em cada entrada no máximoetapas .L={<M>|ML={<M>|ML = \{ | Mxxx200∗|x|200∗|x|200 * |x|}}\} é decidível? Reconhecível?LLL Dado que a participação em afirma algo sobre o comportamento de em um conjunto infinito de strings, parece extremamente improvável para mim que possa ser. Mostrei que co- é Turing-reconhecível (eu acho): você …

2
Número de descendentes de cada nó em um DAG
1) Existe um algoritmo melhor que o ingênuo O (| E |. | V |) para calcular o número de descendentes de cada vértice em um DAG? 2) Existe um algoritmo online para fazê-lo, assumindo que os nós sejam adicionados um por um e se conectem a um subconjunto não …



2
Programação Funcional não é apenas Programação Imperativa disfarçada?
Um vídeo do YouTube que eu estava assistindo explicou as diferenças entre programação imperativa e funcional, demonstrando como os números de 1para 10são resumidos em Java e em Haskell, respectivamente. Em Java, você deve declarar explicitamente cada etapa e atribuir o resultado de cada etapa a uma variável - algo …

Ao utilizar nosso site, você reconhece que leu e compreendeu nossa Política de Cookies e nossa Política de Privacidade.
Licensed under cc by-sa 3.0 with attribution required.