PROPRIEDADES DAS OPERAÇÕES LÓGICAS

1. Notação

1.1. Notação para conectivos lógicos (operações):

a) negação(inversão, NOT lógico) é denotado por ¬ (por exemplo, ¬A);

b) conjunção(multiplicação lógica, AND lógico) é denotado por /\
(por exemplo, A /\ B) ou & (por exemplo, A & B);

c) disjunção(adição lógica, OR lógico) é denotado por \/
(por exemplo, A\/B);

e) seguindo(implicação) é denotado por → (por exemplo, A → B);

e) identidade denotado por ≡ (por exemplo, A ≡ B). A expressão A ≡ B é verdadeira se e somente se os valores de A e B forem iguais (ou ambos são verdadeiros ou ambos são falsos);

f) o símbolo 1 é utilizado para denotar a verdade (afirmação verdadeira); símbolo 0 - para denotar uma mentira (declaração falsa).

1.2. Duas expressões booleanas contendo variáveis ​​são chamadas equivalente (equivalente) se os valores dessas expressões forem iguais para quaisquer valores das variáveis. Assim, as expressões A → B e (¬A) \/ B são equivalentes, mas A /\ B e A \/ B não são (os significados das expressões são diferentes, por exemplo, quando A \u003d 1, B \/ u003d 0).

1.3. Prioridades das operações lógicas: inversão (negação), conjunção (multiplicação lógica), disjunção (adição lógica), implicação (seguimento), identidade. Assim, ¬A \/ B \/ C \/ D significa o mesmo que

((¬A) \/ B)\/ (C \/ D).

É possível escrever A \/ B \/ C em vez de (A \/ B) \/ C. O mesmo se aplica à conjunção: é possível escrever A / \ B / \ C em vez de (A / \ B ) /\C.

2. Propriedades

A lista abaixo NÃO pretende ser exaustiva, mas esperançosamente representativa.

2.1. Propriedades gerais

1. Para um conjunto de n variáveis ​​booleanas existem exatamente 2 n valores diferentes. Tabela verdade para expressão booleana de n variáveis ​​contém n+1 coluna e 2 n linhas.

2.2 Disjunção

1. Se pelo menos uma das subexpressões às quais a disjunção é aplicada for verdadeira em algum conjunto de valores de variáveis, então toda a disjunção será verdadeira para esse conjunto de valores.
2. Se todas as expressões de alguma lista forem verdadeiras em algum conjunto de valores de variáveis, então a disjunção dessas expressões também será verdadeira.
3. Se todas as expressões de alguma lista forem falsas em algum conjunto de valores de variáveis, então a disjunção dessas expressões também será falsa.
4. O valor de uma disjunção não depende da ordem das subexpressões às quais ela é aplicada.

2.3. Conjunção

1. Se pelo menos uma das subexpressões às quais a conjunção é aplicada for falsa em algum conjunto de valores de variáveis, então toda a conjunção será falsa para esse conjunto de valores.
2. Se todas as expressões de alguma lista forem verdadeiras em algum conjunto de valores de variáveis, então a conjunção dessas expressões também será verdadeira.
3. Se todas as expressões de alguma lista forem falsas em algum conjunto de valores de variáveis, então a conjunção dessas expressões também será falsa.
4. O significado de uma conjunção não depende da ordem das subexpressões às quais ela é aplicada.

2.4. Disjunções e conjunções simples

Chamamos (por conveniência) a conjunção simples se as subexpressões às quais a conjunção é aplicada são variáveis ​​distintas ou suas negações. Da mesma forma, a disjunção é chamada simples se as subexpressões às quais a disjunção é aplicada são variáveis ​​distintas ou suas negações.

1. Uma conjunção simples é avaliada como 1 (verdadeiro) em exatamente um conjunto de valores de variáveis.
2. Uma disjunção simples é avaliada como 0 (falso) em exatamente um conjunto de valores de variáveis.

2.5. implicação

1. implicação A →B equivale à disjunção (¬ A) \/ B. Esta disjunção também pode ser escrita como: A\/B.
2. implicação A →B assume o valor 0 (falso) somente se A=1 E B=0. Se UM = 0, então a implicação A →B verdadeiro para qualquer valor b.

A lógica é uma ciência muito antiga. Conhecido nos tempos antigos lógica formal, que permite tirar conclusões sobre a correção de qualquer julgamento não pelo seu conteúdo real, mas apenas pela forma de sua construção. Por exemplo, já na antiguidade era conhecido lei de exclusão do terceiro. Sua interpretação significativa foi a seguinte: “Durante suas andanças, Platão era No Egito OUnão foi Platão no Egito. Nesta forma, esta ou qualquer outra expressão estará correta (então eles disseram: verdadeiro). Nada mais pode ser: Platão esteve ou não no Egito - o terceiro não é dado.
Outra lei da lógica - lei da inconsistência. Se você disser: “Durante suas andanças, Platão era No Egito Enão foi Platão no Egito", então obviamente, qualquer afirmação que tenha esta forma será sempre falso. Se duas conclusões contraditórias decorrem de uma teoria, então tal teoria é incondicionalmente errada (falsa) e deve ser rejeitada.
Outra lei conhecida na antiguidade - lei da negação:"Se NÃOé verdade que Platão NÃO era no Egito, isso significa Platão era No Egito".
A lógica formal é baseada em “proposições”. “Proposição” é o elemento básico da lógica, definido como uma frase declarativa, sobre a qual se pode dizer inequivocamente se contém uma afirmação verdadeira ou falsa.
Por exemplo: As folhas das árvores caem no outono. A terra é retangular.
A primeira afirmação é verdadeira e a segunda é falsa. Frases interrogativas, motivadoras e exclamativas não são afirmações, pois nelas nada é afirmado ou negado.
Um exemplo de frases que não são declarações: Não beba água bruta! Quem não quer ser feliz?
As declarações também podem ser: 2>1, H2 O + SO3 = H2 SO4. Utiliza linguagens de símbolos matemáticos e fórmulas químicas.
Os exemplos de declarações acima são simples. Mas a partir de afirmações simples pode-se obter complexo, combinando-os com a ajuda de conectivos lógicos. Conectivos lógicos são palavras que implicam certas conexões lógicas entre afirmações. Os principais conectivos lógicos têm sido usados ​​​​há muito tempo não apenas na linguagem científica, mas também na linguagem cotidiana - são “e”, “ou”, “não”, “se... então”, “ou... ou” e outro conhecido por nós em pacotes de idioma russo. Nas três leis da lógica formal que consideramos, os conectivos “e”, “ou”, “não”, “se... então” foram usados ​​para vincular afirmações simples em complexas.
Provérbios são geral, privado E solteiro. A declaração geral começa com as palavras: todos, todos, todos, cada um, nenhum. A declaração privada começa com as palavras: alguns, a maioria e assim por diante. Em todos os outros casos, a afirmação é singular.
A lógica formal era conhecida na Europa medieval, desenvolveu-se e foi enriquecida com novas leis e regras, mas ao mesmo tempo, até ao século XIX, permaneceu uma generalização de dados específicos significativos e as suas leis mantiveram a forma de enunciados na língua falada. .

Em 1847, o matemático inglês George Boole, professor de uma universidade provincial na pequena cidade de Cork, no sul da Inglaterra, desenvolveu álgebra lógica .
A álgebra da lógica é muito simples, pois cada variável só pode assumir dois valores: verdadeiro ou falso. A dificuldade em estudar a álgebra da lógica surge do fato de que os símbolos 0 e 1 são aceitos para denotar variáveis, que coincidem com a unidade aritmética usual e o zero na escrita. Mas esta coincidência é apenas externa, pois têm um significado completamente diferente.
O 1 lógico significa que algum evento é verdadeiro, ao contrário disso, o 0 lógico significa que a afirmação não é verdadeira, ou seja, falso. A declaração foi substituída por uma expressão lógica, que é construída a partir de variáveis ​​lógicas (A, B, X, ...) e operações lógicas (conexões).
Na álgebra da lógica, os sinais de operações denotam apenas três conectivos lógicos OU, E, NÃO.
1.Operação lógica OU. É comum especificar uma função lógica na forma de uma tabela. O lado esquerdo desta tabela lista todos os valores possíveis. argumentos de função, ou seja valores de entrada, e o correspondente é indicado à direita valor da função booleana. Para funções elementares, obtemos tabela verdade esta operação lógica. Para operação OU a tabela verdade se parece com:

Operação OU também chamado adição lógica , e portanto pode ser denotado pelo sinal "+".
Considere uma afirmação única e complexa: "No verão irei para o campo ou farei uma viagem turística." denotar por A uma simples declaração “Irei para o campo no verão”, e depois EM- uma simples declaração “Farei uma viagem turística no verão”. Então a expressão lógica da instrução composta tem a forma A+B, e será falso somente se nenhuma das afirmações simples for verdadeira.
2.Operação lógica E. A tabela verdade para esta função é:

Segue-se da tabela verdade que a operação E- Esse multiplicação lógica , o que não é diferente da multiplicação tradicionalmente conhecida na álgebra comum. Operação E pode ser denotado pelo sinal de diferentes maneiras:

Na lógica formal, as operações de multiplicação lógica correspondem aos links e, mas, embora.
3. Operação lógica NÃO. Esta operação é específica da álgebra da lógica e não tem análogo na álgebra comum. É indicado por um traço acima do valor da variável, ou por um prefixo antes do valor da variável:

É lido em ambos os casos da mesma forma "Não A". A tabela verdade para esta função é:

Na computação, uma operação NÃO chamado negação ou inversão , Operação OU - disjunção , Operação E - conjunção . O conjunto de funções lógicas “AND”, “OR”, “NOT” é um conjunto funcionalmente completo ou base da álgebra da lógica. Com ele você pode expressar quaisquer outras funções lógicas, por exemplo, as operações de “disjunção estrita”, “implicação” e “equivalência”, etc.
Operação lógica “disjunção estrita”. Esta operação lógica corresponde ao conectivo lógico "ou...ou". A tabela verdade para esta função é:

A operação “disjunção estrita” é expressa através das funções lógicas “AND”, “OR”, “NOT” de qualquer uma das duas fórmulas lógicas:

e também é chamada de operação de desigualdade ou “adição de módulo 2”, pois ao somar um número par de unidades o resultado será “0”, e ao somar um número ímpar de unidades o resultado será igual a “1” .
“Implicação” da operação lógica. Expressão começando com palavras se, quando, se palavras breves e contínuas Então, é chamada de declaração condicional ou operação de implicação. A tabela verdade para esta função é:

A operação “implicação” pode ser denotada de diferentes maneiras:

Essas expressões são equivalentes e têm a mesma leitura: "Y é igual à implicação de A e B." A operação de “implicação” é expressa através das funções lógicas “OR”, “NÃO” na forma de uma fórmula lógica

Operação lógica “equivalência” (equivalência). Esta operação lógica corresponde aos conectivos lógicos “se e somente se”, “se e somente se”. A tabela verdade para esta função é:

A operação “equivalência” é denotada de diferentes maneiras. Expressões

representam a mesma coisa, e podemos dizer que A é equivalente a B se e somente se eles forem equivalentes. A operação lógica “equivalência” é expressa através das funções lógicas “AND”, “OR”, “NOT” na forma de uma fórmula lógica

Com a ajuda da álgebra da lógica, pode-se escrever brevemente as leis da lógica formal e dar-lhes uma prova matematicamente rigorosa.

Na álgebra da lógica, como na elementar, deslocável (lei da comutatividade), associativo(lei da associatividade) e distributivo(lei da distributividade), bem como o axioma idempotência(falta de graus e coeficientes) e outros, em cujos registros são utilizadas variáveis ​​lógicas que assumem apenas dois valores - um zero lógico e uma unidade lógica. A aplicação destas leis permite a simplificação de funções lógicas, ou seja, encontre expressões para eles que tenham a forma mais simples. Os principais axiomas e leis da álgebra da lógica são apresentados na tabela:

Exemplos de uso de axiomas e leis básicas:

Este artigo considerará a história da ciência da computação como ciência, também entenderemos o que ela faz e seus principais rumos.

Idade digital

O mundo moderno é muito difícil de imaginar sem informação e tecnologias digitais. Todos eles tornam a vida muito mais fácil, graças a eles a humanidade fez uma série de avanços significativos na ciência e na indústria. Consideremos mais detalhadamente as disciplinas da informática e a história de sua formação como ciência.

Definição

A informática é uma ciência que estuda métodos de coleta, processamento, armazenamento, transmissão e análise de informação por meio de diversas tecnologias computacionais e digitais, bem como explora as possibilidades de sua aplicação.

Inclui disciplinas relacionadas ao processamento e cálculo de informações por meio de diversos tipos de computadores e redes. Além disso, tanto abstratos, como a análise de algoritmos, quanto específicos, por exemplo, o desenvolvimento de novos métodos de compressão de dados, protocolos de troca de informações e linguagens de programação.

Como você pode ver, a ciência da computação é uma ciência que se distingue pela amplitude de tópicos e direções de pesquisa. Como exemplo, podem ser citadas as seguintes questões e tarefas: o que é real e o que não pode ser implementado em programas (inteligência artificial, autoaprendizagem computacional, etc.), como resolver vários tipos de problemas de informação específicos da forma mais eficiente possível ( a chamada teoria da complexidade computacional), sobre como a informação deve ser armazenada e restaurada, como as pessoas devem interagir de forma mais eficaz com os programas (questões da interface do usuário, novas linguagens de programação, etc.).

Agora consideremos brevemente o desenvolvimento da ciência da computação como ciência, começando por suas origens.

História

A informática é uma ciência jovem que surgiu gradativamente e teve maior desenvolvimento na segunda metade do século XX. É também muito importante no nosso tempo, quando quase todo o mundo depende de computadores e de outras tecnologias de computação electrónica.

Tudo começou em meados do século XIX, quando calculadoras mecânicas e “motores analíticos” foram criadas por vários cientistas. Em 1834, Charles Babbage iniciou o desenvolvimento de uma calculadora programável e, aliás, foi ele quem posteriormente formulou muitas das características e princípios básicos do computador moderno. Foi ele também quem propôs a utilização de cartões perfurados, que vigoraram até finais da década de 80 do século XX.

Em 1843, Ada Lovelace criou um algoritmo para calcular os números de Bernoulli, considerado o primeiro programa de computador da história.

Por volta de 1885, Herman Hollerith criou o tabulador, um dispositivo para leitura de dados de cartões perfurados. E em 1937, quase cem anos depois das ideias e sonhos de Babbage, a IBM criou a primeira calculadora programável.

No início da década de 1950, ficou claro para todos que o computador poderia ser usado em diversos campos da ciência e da indústria, e não apenas como ferramenta para cálculos matemáticos. E essa ciência da computação, que estava apenas surgindo, é uma ciência à qual pertence o futuro. Um pouco mais tarde, recebeu o status de ciência oficial.

Agora vamos dar uma olhada rápida em sua estrutura.

Estrutura da ciência da computação

A estrutura da ciência da computação é multifacetada. Como disciplina, abrange uma ampla gama de tópicos. Começando pelo estudo teórico de vários tipos de algoritmos e terminando com a implementação prática de programas individuais ou a criação de dispositivos computacionais e digitais.

A ciência da computação é a ciência que estuda...

No momento, existem várias direções principais, que, por sua vez, estão divididas em vários ramos. Considere o mais básico:

1. Ciência da computação teórica. Suas tarefas incluem o estudo da teoria clássica dos algoritmos e de uma série de tópicos importantes relacionados a aspectos mais abstratos dos cálculos matemáticos.
2. AplicadoInformática. Esta é uma ciência, ou melhor, uma de suas seções, que visa identificar determinados conceitos no campo da informática que podem ser utilizados como métodos para resolver alguns problemas padrão, por exemplo, construir algoritmos, armazenar e gerenciar informações usando um dados estrutura. Além disso, a informática aplicada é utilizada em diversos campos industriais, cotidianos ou científicos: bioinformática, linguística eletrônica e outros.
3. informática natural. Esta é uma direção que estuda os processos de processamento de diversas informações na natureza, seja no cérebro humano ou na sociedade humana. Seus fundamentos são construídos nas teorias clássicas da evolução, morfogênese e outras. Além deles, são utilizadas áreas científicas como pesquisa de DNA, atividade cerebral, teoria do comportamento de grupo, etc.

Como você pode ver, a ciência da computação é uma ciência que estuda uma série de questões teóricas muito importantes, por exemplo, a criação de inteligência artificial ou o desenvolvimento de soluções para alguns problemas matemáticos.

É usado para calcular operações lógicas. Considere abaixo todas as operações lógicas mais elementares da ciência da computação. Afinal, se você pensar bem, eles são usados ​​para criar a lógica de computadores e dispositivos.

Negação

Antes de começar a considerar exemplos específicos em detalhes, listamos as principais operações lógicas em ciência da computação:

• negação;
• Adição;
• multiplicação;
• seguindo;
• igualdade.

Além disso, antes de iniciar o estudo das operações lógicas, vale dizer que na ciência da computação uma mentira é denotada por “0” e a verdade é “1”.

Para cada ação, como na matemática comum, são utilizados os seguintes sinais de operações lógicas na ciência da computação: ¬, v, &, ->.

Cada ação pode ser descrita pelos números 1/0 ou simplesmente por expressões lógicas. Vamos começar a consideração da lógica matemática com a operação mais simples usando apenas uma variável.

A negação lógica é a operação de inversão. O resultado final é que, se a expressão original for verdadeira, o resultado da inversão será falso. Por outro lado, se a expressão original for falsa, o resultado da inversão será verdadeiro.

Ao escrever esta expressão, a seguinte notação "¬A" é usada.

Aqui está uma tabela verdade - um diagrama que mostra todos os resultados possíveis de uma operação para quaisquer dados iniciais.

Ou seja, se nossa expressão original for verdadeira (1), então sua negação será falsa (0). E se a expressão original for falsa (0), então sua negação é verdadeira (1).

Adição

As demais operações requerem a presença de duas variáveis. Vamos denotar uma expressão -

A, o segundo - B. As operações lógicas em informática, denotando a ação de adição (ou disjunção), quando escritas, são indicadas pela palavra “ou” ou pelo ícone “v”. Descrevemos as possíveis variantes dos dados e os resultados dos cálculos.

1. E=1, H=1, então E v H = 1. Se ambos, então sua disjunção também é verdadeira.
2. E=0, H=1, como resultado E v H = 1. E=1, H=0, então E v H= 1. Se pelo menos uma das expressões for verdadeira, então o resultado de sua adição será verdadeiro.
3. E=0, H=0, o resultado é E v H = 0. Se ambas as expressões forem falsas, então sua soma também será falsa.

Para resumir, vamos criar uma tabela verdade.

Disjunção

E	x	x	O	O
H	x	O	x	O
E x H	x	x	x	O

Multiplicação

Tendo tratado da operação de adição, passamos à multiplicação (conjunção). Usaremos a mesma notação fornecida acima para adição. Ao escrever, a multiplicação lógica é indicada pelo sinal “&” ou pela letra “AND”.

1. E = 1, H = 1, então E e H = 1. Se ambos, então sua conjunção é verdadeira.
2. Se pelo menos uma das expressões for falsa, o resultado da multiplicação lógica também será falso.

• E = 1, H = 0, então E e H = 0.
• E=0, H=1, então E e H=0.
• E=0, H=0, total E e H=0.

Conjunção

E	x	x	0	0
H	x	0	x	0
EH	x	0	0	0

Consequência

A operação lógica de seguir (implicação) é uma das mais simples da lógica matemática. Baseia-se em um único axioma - uma mentira não pode decorrer da verdade.

1. E = 1, H =, então E -> H = 1. Se um casal está apaixonado, eles podem se beijar - é verdade.
2. E = 0, H = 1, então E -> H = 1. Se o casal não estiver apaixonado, eles podem se beijar - também pode ser verdade.
3. E = 0, H = 0, deste E -> H = 1. Se o casal não está apaixonado, então eles não se beijam - também é verdade.
4. E = 1, H = 0, o resultado é E -> H = 0. Se um casal está apaixonado, eles não se beijam - falso.

Para facilitar a realização de operações matemáticas, apresentamos também uma tabela verdade.

Igualdade

A última operação considerada será a igualdade ou equivalência de identidade lógica. No texto, pode ser denotado como "...se e somente se...". Com base nesta formulação, escreveremos exemplos para todas as opções iniciais.

1. A=1, B=1, então A≡B = 1. Uma pessoa toma comprimidos se e somente se estiver doente. (verdadeiro)
2. A=0, B=0, como resultado A≡B = 1. Uma pessoa não toma comprimidos se e somente se não estiver doente. (verdadeiro)
3. A=1, B=0, portanto A≡B = 0. Uma pessoa toma comprimidos se e somente se não estiver doente. (mentira)
4. A = 0, B = 1, então A≡B = 0. Uma pessoa não toma comprimidos se e somente se estiver doente. (mentira)

Propriedades

Assim, tendo considerado o que há de mais simples na ciência da computação, podemos começar a estudar algumas de suas propriedades. Tal como na matemática, as operações lógicas têm a sua própria ordem de processamento. Em expressões lógicas grandes, as operações entre parênteses são executadas primeiro. Depois deles, a primeira coisa que fazemos é contar todos os valores de negação do exemplo. O próximo passo é calcular a conjunção e depois a disjunção. Só depois realizamos a operação da consequência e, por fim, a equivalência. Considere um pequeno exemplo para maior clareza.

A v B & ¬B -> B ≡ A

O procedimento para realizar ações é o seguinte.

1. B&(¬B)
2. UMA v(B&(¬B))
3. (A v(B&(¬B)))->B
4. ((A v(B&(¬B)))->B)≡A

Para resolver este exemplo, precisamos construir uma tabela verdade estendida. Ao criá-lo, lembre-se que é melhor organizar as colunas na mesma ordem em que as ações serão executadas.

Exemplo de solução

A	EM				(A v(B&(¬B)))->B	((A v(B&(¬B)))->B)≡A
x	O	x	O	x	x	x
x	x	O	O	x	x	x
O	O	x	O	O	x	O
O	x	O	O	O	x	O

Como podemos ver, a última coluna será o resultado da resolução do exemplo. A tabela verdade ajudou a resolver o problema com quaisquer dados iniciais possíveis.

Conclusão

Neste artigo foram considerados alguns conceitos da lógica matemática, como ciência da computação, propriedades das operações lógicas, e também - o que são operações lógicas em si. Foram dados alguns exemplos simples para resolver problemas de lógica matemática e tabelas verdade necessárias para simplificar este processo.

Mensagem

Mensagem- na teoria da comunicação - uma declaração, texto, imagem, objeto físico ou ato destinado à transmissão. As mensagens consistem em verbal ou não-verbal sinais. Um único sinal não pode conter muita informação; portanto, uma série de sinais sucessivos é usada para transmitir informações. A sequência de sinais é chamada mensagem.

Assim, a informação é transmitida da fonte ao receptor na forma de mensagens. Podemos dizer que a mensagem atua como uma concha material para a apresentação da informação durante a transmissão. Portanto, a mensagem serve como portadora de informação, e a informação é o conteúdo da mensagem.

A relação entre uma mensagem e as informações que ela contém é chamada regra de interpretação de mensagens. Esta correspondência pode ser inequívoco E ambíguo. No primeiro caso, a mensagem possui apenas uma regra de interpretação. No segundo caso, a correspondência entre mensagem e informação é possível de duas formas: 1) a mesma informação pode ser transmitida por diferentes mensagens (em particular, as notícias podem ser recebidas por rádio, por um jornal, por telefone, etc.); 2) a mesma mensagem pode conter informações diferentes para destinatários diferentes (digamos, uma queda no preço das ações na bolsa de valores é uma catástrofe para alguns e uma oportunidade de enriquecimento para outros).

Como a sequência de sinais é uma mensagem, a qualidade da descontinuidade-continuidade dos sinais é transferida para a mensagem. Existem conceitos como mensagem contínua (analógica), discreta, quantizada e digital. Observe que a informação não possui essa qualidade, pois a informação é uma categoria intangível e não pode ter a propriedade de discrição ou continuidade. Embora a mesma informação possa ser apresentada por meio de mensagens diferentes, incluindo sinais de natureza diferente. Na ciência da computação, às vezes são usadas as frases "informação contínua" e "informação discreta". Eles são o resultado de abreviações de termos como informações apresentadas por meio de sinais contínuos, E informações representadas por sinais discretos. Portanto, quando se trata dos tipos de informação, é mais correto falar sobre as formas de sua apresentação na mensagem ou sobre os tipos de mensagens.

Na formação de uma mensagem, juntamente com um sinal, também são utilizados conceitos como sinal, letra e símbolo. Abaixo estão as diferenças entre eles.

Sinal, letra e símbolo

Sinalé um elemento de algum conjunto finito de entidades distintas. A natureza do sinal pode ser qualquer - um gesto, um desenho, uma carta, um sinal de trânsito, um determinado som, etc. e é determinado tanto pelo portador da mensagem quanto pela forma de apresentação das informações na mensagem. Todo o conjunto de caracteres usados ​​para representar informações discretas é chamado um conjunto de personagens. Um conjunto é um conjunto discreto de caracteres.

O conjunto de caracteres em que sua ordem é definida é chamado de alfabeto. Alfabetoé uma coleção ordenada de caracteres. A ordem dos caracteres no alfabeto é chamada lexicográfico e oferece uma oportunidade de estabelecer relacionamentos " mais ou menos": para dois sinais G< Д, если порядковый номер у Г в алфавите меньше, чем у Д.

Os sinais usados ​​para designar fonemas na fala oral são chamados cartas, e sua totalidade - o alfabeto da língua.

Por si só, um sinal ou uma carta não carrega nenhum conteúdo semântico. Contudo, tal conteúdo poderá ser atribuído a eles, caso em que o sinal será denominado símbolo.

Por exemplo, a tensão elétrica em física é geralmente indicada pela letra você, e, portanto você nas fórmulas há um símbolo da grandeza física "tensão elétrica". Outro exemplo de símbolos são os pictogramas que representam objetos ou ações em programas de computador.

Assim, os conceitos de “sinal”, “letra” e “símbolo” não podem ser considerados idênticos, embora muitas vezes não seja feita distinção entre eles; Portanto, na ciência da computação existem conceitos de “variável de caractere”, “codificação de caracteres do alfabeto”, “informação de caractere”, em todos os exemplos dados, ao invés do termo “caractere” seria mais correto usar “sinal " ou "carta".

Parece importante enfatizar mais uma vez que os conceitos de signo e alfabeto só podem ser atribuídos a mensagens discretas.