Lógica para Computação - Parte V
Continuando os artigos anteriores, estaremos entrando na parte de Quantificadores.
[ Hits: 11.841 ]
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
Lógica para computação - parte II
Lógica para computação - parte III
MySQL, Apache2, PHP5, phpMyAdmin e o driver de conexão com o NetBeans no OpenSUSE 11.2
Lógica para computação - parte IV
Introdução a Lógica para computação
Guia Introdutório do Linux III
Partições - Montagem na marra!
Criando uma ajuda mais aprimorada
GNU e Linux: amigos para sempre
Compartilhando a tela do Computador no Celular via Deskreen
Como Configurar um Túnel SSH Reverso para Acessar Sua Máquina Local a Partir de uma Máquina Remota
Configuração para desligamento automatizado de Computadores em um Ambiente Comercial
Efeito "livro" em arquivos PDF
Como resolver o erro no CUPS: Unable to get list of printer drivers
Flatpak: remover runtimes não usados e pacotes
Mudar o gerenciador de login (GDM para SDDM e vice-versa) - parte 2
Estou com sede em aprender sobre o nosso querido Linux. (1)
big linux sem audio como resolver (2)
Como faz para dar um update-grub por shell script [RESOLVIDO] (3)
[Python] Automação de scan de vulnerabilidades
[Python] Script para analise de superficie de ataque
[Shell Script] Novo script para redimensionar, rotacionar, converter e espelhar arquivos de imagem
[Shell Script] Iniciador de DOOM (DSDA-DOOM, Doom Retro ou Woof!)
[Shell Script] Script para adicionar bordas às imagens de uma pasta