Lógica para Computação - Parte V
Continuando os artigos anteriores, estaremos entrando na parte de Quantificadores.
[ Hits: 11.544 ]
Por: Ariel Galante Dalla Costa em 01/03/2012 | Blog: http://arielgdc.wordpress.com
vp={x/x Є A ^ p(x)}
(Цx Є A)p(x) <=> (p(a1)^p(a2)^p(a3)^p(an))
(Цx Є A) <=> (5 é primo e 7 é primo e 11 é primo e 19 é primo).
(Цx Є N)(2x>x) => É quantificador universal
(Цy Є N)(2y>=y) => É quantificador universal
(Цx Є N)(2x² +x = 3) => Não é quantificador universal
(Цx Є N)(x+4<3) => É quantificador
vp={x/x Є A ^ p(x)}
(Эx Є A)p(x) <=> (p(a1) v p(a2) v p(a3) v p(an))
(Эx Є A)(x+4) => É quantificador existencial
(Эx Є A)(x+4>8) => É quantificador existencial
(Эn Є A)(n+5<3) => Não é quantificador existencial
Computação em nuvem, uma visão panorâmica
MySQL, Apache2, PHP5, phpMyAdmin e o driver de conexão com o NetBeans no OpenSUSE 11.2
Lógica para computação - parte IV
Instalando o Insigne Momentum 5.0
Neo-PuppyBR - Um Linux novo para computadores antigos
GNU e Linux: amigos para sempre
Listando os serviços Linux com o Systemctl
Porquê a mascote do Linux é um pinguim
Como agendar um backup automático do PostgreSQL no Cron evitando o problema de senha
Como preparar o Vim/Neovim para corrigir ortografia em português
Dark Web e Malwares na internet, quanto custa?
Configuração básica do Conky para mostrar informações sobre a sua máquina no Desktop
Exportação de histórico do Brave para o Firefox
Remapear e/ou trocar teclas no Linux
Alexabolada casa comigo por favor, larga o Fábio e o VOL e vem comigo!... (11)
synalogy servidor de arquivos (2)
Atalho ctrl + Alt + T não funciona (2)
Não consigo fazer o adptador para cabo de rede funcionar (17)