CEIA-GAIA-EDU/gaia-edu-corpus-rag huggingface dataset:
Obra: Introdução à programação/Lógica
Matéria: Filosofia
lógica binária lógica binária ou bitwise operation base de todo cálculo computacional na verdade são estas operações mais básicas que constituem todo poderio dos computadores qualquer operação por mais complexa que pareça traduzida internamente pelo processador para estas operações operações not operador unário not ou negação binária resulta no complemento do operando será um bit se operando for será caso contrário conforme podemos confirmar pela tabela verdade implementação se isto not aquilo and operador binário and ou conjunção binária devolve um bit sempre que ambos operandos sejam conforme podemos confirmar pela tabela verdade implementação se isto and aquilo fazer assim or operador binário or ou disjunção binária devolve um bit sempre que pelo menos um dos operandos seja conforme podemos confirmar pela tabela verdade implementação se isto or aquilo fazer assim xor operador binário xor ou disjunção binária exclusiva devolve um bit sempre que apenas um dos operandos seja conforme podemos confirmar pela tabela verdade implementação isto xor aquilo fazer assim shift operador unário de bit shifting ou deslocamento bit bit equivale multiplicação ou divisão por do operando que ao contrário dos casos anteriores um grupo de bits consiste no deslocamento para esquerda ou para direita do grupo de bits bit inserido sempre bit eliminado pode ser opcionalmente utilizado flag cf dos registradores do processador ver também lógica
Obra: Matemática elementar/Trigonometria/Identidades trigonométricas básicas
Matéria: Matemática
conceito uma identidade trigonométrica uma equação envolvendo funções trigonométricas que verdadeira para todos os valores das variáveis envolvidas estas identidades são úteis sempre que expressões envolvendo funções trigonométricas tem que ser simplificadas geralmente possível aproveitar as características cíclicas das funções para modificar seu comportamento transformando uma ou mais funções trigonométricas em outras operadas de forma que apresentem mesmo resultado da função original identidade relacional básica uma vez que no ciclo trigonométrico com ângulo podemos encontrar as coordenadas fazendo podemos verificar que estas coordenadas distância entre origem ponto formam um triângulo retângulo sendo esta distância unitária temos portanto
Obra: Programar em C/Operadores
operadores aritméticos tabela operadores aritmeticos operador finalidade exemplo resultado adição subtração multiplicação divisão quociente divisão euclidiana resto notar último operador notar que são operadores que operam apenas com operandos operadores binários na divisão euclidiana temos dividido tem por quociente como resto existe uma maneira de fazer abreviaturas expressão original expressão equivalente int main void int firstop secondop float result float firstop secondop printf firstop secondop result return neste exemplo estamos fazer com que firstop seja convertido para tipo float quando antes tínhamos declarado como um int ou seja valor passa ser agora como temos um float dividir por um int que acontece que há uma conversão automática ou seja int convertido em float fazendo com que resultado seja um float podemos utilizar qualquer uma das expressões seguintes para exprimir tycasting float result float firstop secondop float result firstop float secondop expoentes não têm operador expoente no entanto tem função pow de power que está no cabeçalho da biblioteca padrão função pow tem argumentos primeiro para base para expoente argumento tem de ser float ou double operadores relacionais permite fazer comparações lógicas de ordenação de números ainda de letras mas não strings table relational operators operador significado maior que maior ou igual printf admission is free else printf you have to pay precedência operadores lógicos relacionais tabela precedência dos operadores lógicos relacionais operador da mais alta para mais baixa relacionais age deslocamento de bits direita igual todos os operadores comparações de precedência entre operadores aritméticos relacionais lógicos nivel operador descriçao agrupamento escope esquerda para direita dynamic_cast static_cast const_cast typeid postfix esquerda para direita sizeof new delete unary prefix direita para esquerda referencia ponteiros direita para esquerda unary sign operator direita para esquerda type type casting direita para esquerda pointer to member esquerda para direita multiplicative esquerda para direita adiçao subtraçao esquerda para direita trocar esquerda para direita relacional esquerda para direita comparativos esquerda para direita bitwise and esquerda para direita bitwise xor esquerda para direita bitwise or ou esquerda para direita and lógico esquerda para direita or ou lógico esquerda para direita descrição direita para esquerda avalia como verdadeiro avalia como verdadeiro avalia como verdadeiro avalia como verdadeiro porque verdadeiro avalia como falso porque falso avalia como falso porque expressão direita verdadeira true avalia como falso false avalia como verdadeiro avalia como falso true false avalia como verdadeiro true false
Obra: Programar em C/Constantes
constantes em um capítulo anterior abordamos as variáveis agora vamos abordar constantes razão que as coisas estão mais maduras uma pessoa sabe muito bem que uma constante que simplesmente um valor que não se altera durante execução do programa questão de não se alterar durante escrita do programa realmente razão deste capítulo devemos separar as águas entre uma constante um literal literal próprio valor existem maneiras para criar constantes define const tipo da variávelnome da variável enumerations esta última vamos deixar para mais tarde pois são uma boa introdução para as classes defined constants define define pi define newline se colocarmos estas linhas no header que vai acontecer seguinte pré processador irá verificar nosso código fonte sempre que encontrar diretiva define irá literalmente substituir cada ocorrência do identificador no código fonte pelo valor definido vantagem disto que podemos ter um identificador ao nosso gosto sempre que necessitarmos do valor escrevemos identificador em vez do valor até porque se valor fosse complicado poderíamos enganar nos escrever claro que nos poderíamos enganar também escrever identificador daí escolhermos um nome familiar se necessitarmos de alterar valor alteramos apenas vez em vez de todas as vezes onde apareceria valor formato geral define identificador valor repare que diretiva de preprocessador não tem ponto vírgula no fim que normal para diretivas de preprocessador que que acontece se tivermos no fim será que encontrei um bug se eu colocar no define newline não acontece nada vale lembrar que cada define preprocessado ou seja não pode ser alterado dentro do programa durante sua execução defined constants calculate circumference include define pi define newline int main double radius double circle circle pi utilizamos pi não printf circle printf newline return declared constants const nós podemos transformar uma variável numa constante do gênero const int tamanho const char tabul const int codigo com prefixo const dizemos que variável não poderá alterar seu valor repare que se fosse uma variável eu poderia ter int logo seguir dizer valor do ficava com valor de agora com prefixo const eu não poderei alterar valor porque constante constante não pode mudar valor esta maneira bem melhor do que anterior para declarar constantes primeiro porque aqui temos informação do tipo de variável em segundo porque podemos fazer este const int como uma função local não global
Obra: Programar em C/Enumeração
Matéria: Biologia
enumerations enum aqui vamos retornar um tópico antigo enumerations são um outro método de definir constantes recordam se tínhamos const int enumerations criando um novo tipo de dados as enumerations definem um novo tipo de variável limita desde logo os valores enum colors black blue green cyan red purple yellow white maneira mais simples de interpretar uma enumeration imagina la como um vetor matriz de apenas uma linha temos nome da linha de temos as várias células na linha cada constante enumerada muitas vezes chamado de enumerator tem um valor inteiro caso não seja especificado ele começa em zero exemplo black blue green cyan purple yellow white mas podemos definir valor tipo enum forma quadrado rectangulo triangulo circulo elipse ficaríamos com nossa linha do tipo quadrado rectângulo triangulo circulo elipse reparem nos valores dos números vantagem em termos enumerações que se uma variável declarada tipo enumeração tem um tipo único os seus valores estão limitados poderão ser verificados durante compilação tal como as estruturas criar tipos de variáveis include definindo cabeçalho enum cores azul verde branco aqui um ponto virgula typedef transformamos palavras em uma tipo_cores typedef enum cores tipo_cores função default da lib ou glibc int main void agora usando nosso novo tipo aqui sem typedef teríamos que colocar enum cores tipo_cores cor verde if cor printf cor azul if cor printf cor verde printf não será executado if cor printf cor branco return de um enter depois de para evitar warning aqui podemos ver um exemplo com uma função mostrarres um switch em este exemplo uma constante definida valor das outra será definido automaticamente include include void mostrarres int quem aqui os valores italia brasil são incrementados automaticamente enum argentina italia brasil int main void colocamos se você for argentino coloque int brasil mostrarres void mostrarres int quem switch quem case brasil printf brasil invencível como de costume break case argentina printf argentina um dia quem sabe break case italia printf foi sorte break default printf se estou vivo teve erro do sistema xx printf the end hasta la vista de um enter depois de para evitar warning
Obra: Programar em C/União
unions as unions são muito parecidas com estruturas as estruturas guardam variáveis de acordo com seu tipo se tivermos uma variável membro que um int outra float ela guardará exatamente de acordo com seus respectivos tipos em unions as variáveis serão armazenadas todas com um único tipo que aquele que ocupa mais espaço dentro dos tipos das variáveis membro se tivermos uma variável membro int outra float union vai guardar estas variáveis como se ambas fossem float declaração union mytypes_t int float mytypes unions com estruturas neste exemplo temos unions estruturas misturados union mix_t long struct short hi short lo char mix mytypes_t long struct char mix repare que estrutura não tem nome anonymous unions estruturas com unions estrutura usando regular union struct char title char author union float dollars int yens price book estrutura usando anonymous union struct char title char author union float dollars int yens book se declararmos uma união sem nome ela vai ficar anônima poderemos acessar seus membros diretamente através dos nomes dos membros uso regular book price dollars book price yens uso anonimo book dollars book yens
Obra: Programar em C++/Templates
Matéria: Matemática
os templates permitem criação de código reusado usando templates possível criar funções classes genéricas assim tipo de dados usados pelas funções são parâmetros podemos criar um template para soma depois enviamos que tipo de dados queremos somar podemos até utilizar sobrecarga de operadores para tal fim funções genéricas template ret type func name parameter list body of function vamos dar exemplo function template example include using namespace std template void swapargs this is function template temp temp temp int main int double char cout aqui criamos uma template para uma função que troca os valores essa função pode ser usada quer tendo ints doubles ou chars nós utilizamos como data type neste caso temos swapargs como uma função genérica compilador automaticamente cria versões para função swapargs portanto os templates não são bem funções que funcionam para as vários tipos mas antes os templates permitem poupar escrita ao programador para não ter de especificar cada tipo template function ou generic function uma definição de uma função precedida pela statement template especialização quando compilador cria versão especifica da função também chamada de generated function ato de gerar função referido como instantiating há quem prefira ter declaração do template da seguinte forma template void swapargs this is function template temp temp temp que se torna bem parecido com modelo utilizado anteriormente uma função com dois tipos genéricos include using namespace std template void myfunc type type cout repare que temos dois tipos de dados diferentes na mesma função sobrecarregando explicitamente uma função genérica apesar de uma função genérica poder ser overload automaticamente se necessário nós podemos explicitar isso chamamos deexplicit specialization
Obra: Programar em C++/Namespace
Matéria: Matemática
propósito dos namespace localizar os identifiers os nomes por forma evitar que haja apenas um para evitar colisões por exemplo eu poderia criar uma função com um determinado nome depois vir saber que esse mesmo nome existia na biblioteca isto pode ocorrer bem freqüentemente quando temos vários programadores contribuindo para mesmo projeto ainda mais quando se recorre bibliotecas para usar código criado por outros que namespace permite continuar termos mesmo nome mas irá fazer diferenciação pela detecção do contexto de aplicação para cada nome
Obra: Programar em C++/Exceções
uma exception um erro que ocorre em tempo de execução podemos lidar com estes erros criar rotinas para muitos deles que nos permite automatizar muitos erros que antes teriam de ser emendados mão standard exceptions biblioteca de contém exceptions já definidas para erros comuns elas são divididas em dois setores erros lógicos erros de tempo de execução aqui vemos um exemplo de código usando exceptions de erros lógicos include include std include include int main void try construtor de bitset joga uma se inicializado com uma string contendo caracteres diferentes de std bitset mybitset std string catch const std ia std cerr
Obra: Lógica/Cálculo Quantificacional Clássico/Introdução
Matéria: Matemática
Nível: médio
introdução se você leu as partes deste wikilvro que tratam da lógica tradicional do cpc recomenda se leitura prévia destes deve ter reparado que não podemos formalizar os silogismos categóricos por meio do cálculo proposicional vejamos seguinte silogismo em darii toda espécie de mamífero produtora de leite alguns animais marítimos são espécies de mamíferos logo alguns animais marítimos são produtores de leite as duas premissas conclusão consistem em sentenças distintas tornando impossível formalizar argumento mantendo sua validade por meio do cpc para tal faz se necessário um sistema que não se limite às sentenças mas também permita trabalhar os elementos que constituem sujeito predicado etc ou seja um cálculo de predicados de primeira ordem ainda precisamos lidar com quantificação todos algum ns nenhum para satisfazer essas condições temos cálculo clássico do cpc para cqc tanto cpc quanto cqc são sistemas da lógica clássica ou seja ambos compartilham os mesmos princípios bivalência não contradição terceiro excluído identidade de fato pode se considerar cqc como uma extensão do cpc ou então cpc como um subsistema do cqc que muda então de um sistema para outro em primeiro enquanto cpc lida com letras sentenciais uma letra do alfabeto romano maiúscula representa uma proposição consiste numa fórmula atômica enquanto uma letra do alfabeto grego minúscula representa uma fórmula qualquer cqc lida com constantes individuais constantes de predicados variáveis individuais em segundo no cqc aparece outro tipo de símbolo lógico os quantificadores estes diferente da negação dos conectivos não são funções de verdade mesmo porque cpc já contém todas funções de verdade que princípio de bivalência permite ver funções de verdade
Obra: Português/Estrutura das palavras/Afixos
Matéria: Português
afixos são conjuntos de letras que se juntam palavras primitivas de modo delas derivar novas palavras participando dos processos de formação exemplo palavra afixos formada por afixo fix raiz os desinência posição prefixos px ver módulo lista de morfemas prefixo derivacional px ver também derivação prefixal prefixo modificador pseudoprefixo exemplo prefixo euro possui origem grega também utilizado na língua portuguesa europa europeia európio euro asiático etc relativando palavras ao continente europeu palavra europa foi reduzida formou uma outra palavra euro moeda palavra euro possui derivadas assim como palavra europa eurozona eurolândia etc mas nestas prefixo euro perdeu seu sentido original relativa ao continente europeu adquiriu um novo moeda utilizada na união européia sendo assim euro em eurozona em eurolândia um pseudoprefixo diferente de em europa que um simples prefixo sufixos px ver módulo lista de morfemas sufixo derivacional px ver também derivação sufixal exemplo raiz doc doc substantivo adoç ar verbo doce mente advérbio doç ura adjetivo sufixo de flexão circunfixos px ver também derivação parassintética ligação interfixos infixos px ver módulo letras de ligação
Obra: Introdução à programação/Soluções dos exercícios
exercício verdadeiro ou falso falso falso verdadeiro falso crie algoritmos if decifrar var else stop se tiveres livro vai para página mostra valor da soma entre página se tiveres livro vai para página mostra valor da subtração entre página exercício verdadeiro ou falso verdadeiro falso falso verdadeiro crie algoritmos get registo if registo get escape switch escape case case case end switch end if programa vai pedir se este for igual zero ele vai dizer que não pode aceitar esse número se for um ele vai me responder que polígono se for igual dois vai dizer que não se for igual três vai perguntar como poderia aceitar um polígono ali nota se acertou em tudo parabéns pode se considerar um perito na introdução às linguagens de programação se errou nalgum sugiro que volte estudar capítulo necessário voltar
Obra: Curso de PHP/Operadores
existem vários operadores usados no php operadores aritméticos nome exemplo significado adição soma de subtração diferença entre multiplicação produto de divisão quociente de por divisão de ponto flutuante módulo resto da divisão de por exemplo operadores bit bit os operadores bit bit permitem manipulação de bits específicos dentro das expressões nome exemplo significado and os bits que estão ativos tanto em quanto em são ativados or os bits que estão ativos em ou em são ativados xor os bits que estão ativos em ou em mas não em ambos são ativados not os bits que estão ativos em não são ativados vice versa deslocamento esquerda desloca os bits de passos para esquerda cada passo significa multiplica por dois deslocamento direita desloca os bits de passos para direita cada passo significa divide por dois exemplo operadores de comparação os operadores de comparação permitem comparação de dois valores nome exemplo significado igual verdadeiro se igual idêntico verdadeiro se igual do mesmo tipo diferente verdadeiro se diferente de diferente verdadeiro se diferente de não idêntico verdadeiro se diferente de ou não são do mesmo tipo menor que verdadeiro se menor que maior que verdadeiro se maior que menor ou igual verdadeiro se menor ou igual maior ou igual verdadeiro se maior ou igual exemplo echo maior que
Obra: Inglês/Curso/Básico/Lição 2/Vocabulário
corpo humano human body px seres vivos living beings animais animals mamíferos mammals or mammalians px whale listen the blue whale is the biggest animal on earth px monkey or ape apes are the closest animals from humankind px cow this cow is black and white px bat listen some bats drink blood other bats eat fruits px dog listen the dog is the best friend of man px cat listen cats are lazy animals px wolf the wolf is wild animal px lion listen lion is an african animal px elephant elephants have big noses and big tusks px pig listen pigs lay in filth aves birds px swan the swan sing is sad px chicken listen chicken is farm animal px hummingbird hummingbirds are swift px duck duck can fly swim in lakes and walk over ground px penguin penguins can swim but can fly px eagle eagles are the masters of sky répteis reptiles px turtle turtles love sunbath px snake snakes have no leg px alligator px crocodile anfíbios amphibians px frog listen px true frogs peixes fish px shark more people are killed every year by pigs than by sharks which shows you how good we are at evaluating risk bruce schneier px goldfish goldfishes use to be taken in fish bowls invertebrate animals px octopus px ant he who can not move an ant and yet tries to move an elephant shall find out his folly anonymous px fly listen closed mouth gathers no flies proverb px dragonfly plantas plants px tree the tree which moves some to tears of joy is in the eyes of others only green thing that stands in the way william blake the letters px flower the flower is the poetry of reproduction it is an example of the eternal seductiveness of life jean giraudoux enchanted px sunflower outros others px mushroom
Obra: Psicologia
Matéria: Biologia
letra grega psi símbolo internacional da psicologia capa que psicologia imagem de svg friso cronológico imagem de svg psicologia como ciência imagem de svg objeto da psicologia imagem de svg conceito de comportamento imagem de svg métodos técnicas imagem de svg psicofisiologia imagem de svg psicologia social imagem de svg desenvolvimento aprendizagem memória imagem de svg motivação imagem de svg inteligência imagem de svg personalidade imagem de svg outras questões imagem de svg bibliografia imagem de svg
Obra: História do Brasil/Integralismo versus Comunismo
Matéria: História
bandeira da ação integralista brasileira no campo das ideias brasil sofreu as influências europeias tanto do comunismo quanto do fascismo aqui surgiu partido comunista do brasil liderado entre outros por luís carlos prestes também foi fundado ação integralista brasileira inspirada em parte nas ideias exterioridades fascistas esta foi liderada por plínio salgado
Obra: Livro de receitas/Vatapá
vatapá um prato típico da culinária baiana pode ser servido com camarões frescos inteiros com peixe com bacalhau ou com carne de frango acompanhados de arroz existem várias maneiras de preparar vatapá ingredientes preparo pães frescos ou amanhecidos gramas de amendoim torrado sem casca gramas de castanha de caju torrada cebola dentes de alho gramas de camarão defumado ou seco dessalgado sal gosto pedaço de gengibre coco seco ralado separando leite do coco em um pano um pouco de água ml de azeite de dendê pimenta malagueta pequena opcional farinha de trigo se necessário preparo coloque pão de molho na metade do leite de coco reserve outra metade coloque no liquidificador os ingredientes amendoim castanha de caju gengibre as cebolas camarão seco sal triture todos os ingredientes acrescente pão que estava de molho aos poucos leve ao fogo vá adicionando aos poucos coco ralado restante do leite de coco azeite de dendê acerte sal não pare de mexer terá que atingir ponto de consistência de uma pasta firme se ficar ralo acrescente um pouco de farinha de trigo
Obra: Livro de receitas/Caçarola de carne com ervilhas
existem várias maneiras de preparar caçarola de carne com ervilhas ingredientes preparo gramas de carne alcatra coxão mole etc cortada em quadradinhos colheres sopa de manteiga pimenta gosto cebolinhas brancas das pequenas dentes de alho amassados de xícara de vinagre de xícara de água colheres sopa de molho inglês xícara de catchup colher chá de sal colheres chá de mostarda xícaras de ervilhas cozidas ou de lata modo de preparo aqueça manteiga em uma panela doure carne salpique com pimenta junte as cebolas alho vinagre água molho inglês catchup sal mostarda asse numa fôrma com capacidade de dois litros coberta durante minutos em forno moderado retire tampa junte as ervilhas cubra novamente asse mais minutos