Neon-komputadór

Jogos lógicos e Procedimentos

A base atrás de jogos lógicos e a lógica digital é as regras conhecidas alternativamente como álgebra Booleana (depois do décimo nono século matemático inglês George Boole), matemática discreta ou propositional e cálculo de predicado. Embora o termo descritivo usado, enquanto aprendendo sobre jogos lógicos e procedimentos só não são úteis programando, mas em qualquer lugar onde um planeamento cuidadoso, distinção, organização e lógica é requerida.

Os jogos lógicos ou, programando dados de condição digita, consista em elementos que compartilham características comuns pertinentes. Por exemplo, o jogo de inteirezas (1, 2, 3...), o jogo de caráter (um, b, c...), um jogo de números reais (1.2456, 2343.452, -3327 etc). Elementos podem pertencer em jogos de múltiplo se eles satisfazem as condições para sociedade e dois jogos que é considerado igual se eles tiverem os mesmos elementos. Quando nós recorremos ao jogo de elementos que estão em Jogo A OU B Fixo, nós descrevemos isto como a União de UM e B, ou disjunção. Quando nós recorremos ao jogo de elementos que estão em Jogo A E B Fixo, nós descrevemos isto como a Interseção de A e B, ou conjunção. Quando nós recorrermos ao inverso de um jogo, nós descrevemos isto como a negação do jogo.

Um componente importante em programando na expressão de uma ordem. Isto é quando uma variável é declarada de um tipo de dados particular mas tem vários elementos sucessivos, por exemplo a declaração de C "int NumberList[10] "que é uma declaração de uma variável de inteireza chamado NumberList que contém os números 0 por para 9 (dez números, tem que começar a zero). fazer assuntos mais complexo - e crescentemente como uma planilha eletrônica - ordens podem ter dimensões múltiplas, por exemplo, int Numberlist[10][10] que incluiria os elementos 0-0 variáveis 0-1, 0-2, 0-3... 9-9.

Aparte de elementos e jogos, lógica tem um idioma, regras de conclusão, semântico e regras de sintaxe. Regras semânticas são as associações de um idioma com elementos de um jogo. Sintaxe recorre ao próprio uso de sinais na ordem reconhecida. São usadas regras de conclusão para produzir fórmula. Proposições são declarações sobre elementos (por exemplo, a proposição "a cabra está correndo" - "cabra" é o elemento está "correndo" é a declaração). Uma interpretação é a associação de uma proposição com um elemento. Uma denotação é como uma proposição associada de uma determinada interpretação. Predicados são elaborações adicionais que fazem declarações sobre proposições, quer dizer, eles elevam uma proposição ao nível de um elemento.

A regra básica é que toda proposição tem um estado que pode ser descrito como verdadeiro ou falso (T ou F) que é representado logicamente dentro do binário como 1 ou 0 ou em electrônica como 'alta' ou 'baixa' voltagem. A relação entre operação e variáveis são descritas como E, OU, XOR, e NÃO. O E lucros de operador retificam se todas as proposições são verdades, um OU lucros de operador retificam quando qualquer proposição é verdade, um XOR (exclusivo OU) lucros verdadeiro se qualquer proposição é verdade mas falsa se todas as proposições são verdades, e um NÃO o operador inverte um resultado de verdadeiro para falso, ou retificar se e falso. Finalmente, também é possível ter NAND e NEM operadores que operam como operadores de AND/OR mas invertem o resultado. A mesa de verdade seguinte resume a anterior discussão.

Além da mesa de verdade, há certas leis Booleanas básicas cada dos quais têm duas expressões conhecidas como dualidade. Isto é alcançado convertendo tudo E declarações para OU declarações, tudo OU declarações para E declarações, todos os 1's para 0's e todo o 0's para 1's. Estas leis são conhecidas, em ordem, como as Leis de Identidade, Leis de Commutative, Leis Associativas, Leis de Distributative, Leis de Redundance e o Teorema de De Morgan. Neste exemplo, nós usamos as C linguagem de programação abreviações standards para E (&&), OU (||) e NÃO (!)

Leis de identidade
(i)A && A = A
(ii) A || A = A

Leis Commutativas
(i) A && B = B && A
(ii) A || B = B || A

Leis associativas
(i) (A && B) && C = A && (B && C)
(iii) (UM || B) || C = UM || (B || C)

Leis Distributivas
(i) A || (B && C) = A || B && UM || C
(ii) UM && (B || C) = UM && B || UM && C

Leis de Redundancia
(i) A && A || B = A
(ii) A || (A && B) = A

As Leis de De Morgan
(i)!(A && B) =! A ||! B
(ii)! (A || B) =! A &&! B

Estas são as mesas de verdade e leis de computadores implementadas pelos portões electrônicos. As contribuições são dirigidas através de voltagens com custos nominais (por exemplo, 0V e 5V que representam 0 e 1 ou F e T) e a produção também é representada por um custo nominal. NAND e NEM são chamados portões funções universais porque com qualquer um dos dois o E, OU e NÃO podem ser geradas funções.

Além de operações Booleanas, há também os operadores de relacionais e operadores de aritmética. Relational, ou comparação, operadores e os símbolos na linguagem de programação de C incluem menos que (<), maior que (>), iguale (==), menos que ou iguala (<=), maior que ou iguala (>=) e não igual para (!=). Nota isso na linguagem de programação de C == é usado para comparação e = é usado para tarefa. Finalmente, há os operadores de aritmética, adição (+), subtração (-), divisão (/) e multiplicação (*) e redução de modulo (%), o resto de uma divisão de inteireza.

Lamentavelmente, há nenhuma ordem universalmente aceita de precedência de determinanda equações de operadores misturados, embora há uma tendência geral para aritmética, relational e operadores finalmente lógicos. Na linguagem de programação de C, multiplicação, divisão, modulus são determinados antes de adição e subtração, então os operadores de relational e os operadores finalmente Booleanos NÃO, E e OU. Na linguagem Pascal de programação porém, os operadores Booleanos são mais altos na ordem de operações que os operadores de relational. O lógico E tem o mesmo grau de precedência como multiplicação e divisão e OU tem a mesma precedência como adição e subtração. Em Visual Básico a multiplicação de aritmética e os operadores de divisão são primeiro determinados, seguidos por modulo, então adição e subtração, então os operadores de comparação e finalmente lógico NÃO, E, OU e XOR. Em todos os casos, parênteses podem anular precedência standard e parte de força de uma equação ser avaliado antes de outros. Onde os operadores têm a mesma precedência avaliar de esquerda para direita.

Assim na expressão seguinte:
x = (a + b) * c> d - e / f && g% h <= i

A soma de um e b seria calculado primeiro, e então multiplicou por c. Isto seria comparado como maior que d menos a divisão de e e f. A declaração de verdade deste resultado seria comparada com a declaração de verdade de se o modulus de g dividiram por h é menos que ou iguala ao i variável. Se ambas estas declarações são então verdades que x também será verdade. Caso contrário x será falso.

Além da precedência de operadores dentro de declarações, controle declarações em um programa que altere para a execução de declarações. Ainda todos os programas têm uma ordem de predefined e tentarão cumprir declarações naquela ordem, controle declarações podem redirecionar a ordem na qual são administradas declarações. Os conceitos atrás de declarações de controle estão semelhantes do outro lado de todas as linguagens de programação com mudanças secundárias em sintaxe que é a característica principal.

O SE-OUTRO declaração é a declaração de controle básica. Se uma declaração inicial é verdade (SE) então as instruções são seguidas. Se a declaração não for verdade, então as instruções alternativas são seguidas. SE-OUTRO declarações podem ter múltiplo aninhando, de forma que alternativas para a alternativa pode ser composto (SE - OUTRO - SE - OUTRO - SE - OUTRO). UM exemplo trivial é determinado aqui da linguagem de programação de C:

  
If (result >= 85) printf ("Passed. High Distinction grade\n");
Else if (result >= 70) printf ("Passed. Distinction grade\n");
Else if (result >=60) printf ("Passed. Credit grade\n");
Else if (result >=50) printf ("Passed. Pass grade\n");
Else printf ("Failed.\n");

Uma alternativa comum para o OUTRO-SE-OUTRO-SE declaração alternativa múltipla é a declaração de interruptor (em C), ou Caso Selecto (em Visual Básico) que é melhor usado para um número pequeno de definido, em lugar de alternatives relationais. Um exemplo é determinado abaixo:

  
Switch ( smallnumber)
{
	case 0: print ("zero/n"); break;
	Case 1 : print ("ida/n"); break;
	Case 2 : print ("rua/n"); break;
	Case 3 : print ("tolu/n"); break;
	Default 4 : print ("barak! /n"); break;
}

Muitas declarações de controlo levam a forma de voltas. Computadores são particularmente bons a executar tarefas repetitivas e voltas como tal é uns meios muito eficientes de controlar fluxo de programa. Na linguagem de programação de C há três tipos de voltas. O "tempo" até e teste associado devolve falso. O "faça... enquanto" volta for semelhante, exclua o retorno de teste está ao término da declaração, enquanto assegurando que a volta corre pelo menos uma vez. O "porque" volta assegura que uma certa acção é executada que contanto que um valor de contador seja fixo, incrementou cada tempo o bloco é executado e terminou quando o limite superior é alcançado. Os três exemplos são mostrados abaixo:

  
while ( i <100 ) <>;
do { <>  ; } while { i < 100 } ;
for { i = 1; i <= 100; i++ }  <> ;

Elementos compreensivos, jogos, propositional e lógica de predicado, mesas de verdade e declarações de controle são uma condição necessária e suficiente na programação compreensiva.