Pular para o conteúdo principal

Postagens

Mostrando postagens de Março, 2011

Pontos, Retas e Planos

A Matemática é uma ciência empírica e muito rigorosa. Ao contrário de ciências experimentais, como a Física ou a Química, que aceitam como verdade aquilo que pode ser provado através de uma experiência, os matemáticos apenas aceitam como verdadeiro aquilo que pode ser rigorosamente demonstrado através da lógica matemática. Assim, seu eu falo alguma proposição, para que esta seja aceita como verdade matemática, é necessário que ela valha para todos os elementos do conjunto ao qual ela se propõe. Se existir apenas um elemento sequer ao qual ela não se aplica, então ela não pode ser aceita como verdade. Se, por exemplo, eu quiser provar que a soma de um número ímpar com um número par sempre resulta em um número ímpar e disser que, para 3 e 4 a afirmação se verifica pois o resultado é 7, isto não será aceito por um matemático, pois tudo que fiz foi provar que a afirmação se verifica para o 3 e para o 4 - e não para todos os outros números ímpares e pares existentes.
Quando falamos de conju…

O que são funções injetivas, sobrejetivas e bijetivas?

Funções injetivas, sobrejetivas e bijetivas, também chamadas de  injetoras, sobrejetoras e bijetoras, são classificações de funções quanto ao seu domínio, ao seu contradomínio e à sua imagem.

Soma de ponto com vetor

Somar um ponto com um vetor é uma operação que resultará na translação, isto é, em um deslocamento do ponto original.

O que são números primos?

Os números primos são um assunto recorrente da Matemática e tem uma grande importância, principalmente no campo da Criptografia. Mas, você sabe exatamente o que eles são? Será que 1 é um número primo? Você sabia que existe mais de um tipo de número primo?

pkgmgr, um pequeno gerenciador de pacotes em shell script

É com muito orgulho que apresento a vocês meu primeiro projeto que publico aqui.

Diretamente do arquivo README, "pkgmgr é um pequeno gerenciador  de  pacotes escrito na  linguagem Bash Shell Script. Similarmente a outros gerenciadores de   pacotes simples, como aqueles que encontramos no Slackware ou no Crux, pkgmgr não verifica
por dependências, mas diferencia-se destes por concentrar, em um único arquivo executável, as operações de instalação, de remoção, de atualização e de consulta à base de pacotes instalados. Mais do que isso, ele também permite que você especifique, através de uma variável de ambiente, qual o diretório-raiz do  sistema,  o que permite que você possa "brincar" com pkgmgr em uma pasta em seu diretório /home sem correr o risco de danificar o sistema. Além disso, o gerenciador tem suporte a scripts de pré e de pós instalação."

O arquivo README possui exemplos e tutoriais de instalação e de criação de pacotes.

Versão 1.0 21,1 KB

Versão 1.0.1 23,0 KB