A seguir listamos alguns conceitos que não podem ser esquecidos por aqueles que desejam formular algoritmos que descrevam operações computacionais.

1 - Manipulação de Dados

Devemos lembrar aqui que existe uma grande diferença entre TIPO de DADO e TIPO ABSTRATO de DADO (TAD). As grandezas exitentes no mundo real podem ser chamadas de tipos de dados. Sua  representação dentro do mundo computacional é feita através de variáveis e constantes criadas a partir de tipos de dados pré-estabelecidos pela linguagem de programação que se está utilizando. E esses são chamados "Tipos Abstratos de Dados - TAD".

Os tipos de dados podem ser numéricos, caracteres, lógicos, dias da semana, temperatura, cores, estados e praticamente tudo que se deseje representar.
Já os TAD serão criados numa linguagem de programação com a finalidade de representar os tipos de dados com uma correspondência mais ou menos fiel a realidade. POr exemplo:

Deseja-se representar uma escala de temperaturas:
 
 

TEMPERATURA REAL	REPRESENTAÇÃO
34º	34
35º	35
34º	34
33º	33

Estes valores representados na coluna da direita, utilizam um tipo abstrato de dados suportado (que foi criado) dentro da linguagem de programação que se irá utilizar. Pode-se discordar do uso de tipos abstratos de dados durante a etapa de desenvolvimento do algoritmo, mas quão mais próximo estiver o algoritmo da linguagem de programação, mais rápida e fácil será a codificação daquele nessa.

Normalmente são definidas operações básicas como:
 

operação	símbolo
soma	+
subtração	-
multilicação	*
divisão	/
exponenciação	**

Estas operações obedecem as regras matemáticas conhecidas (desde que não haja algum tipo de recomendação criada especificamente para determinada linguagem de programação).

Pode-se por exemplo estabelecer que existam todas as operações numéricas desde que o resultado das operações resultem em número inteiros. Neste caso existirão operações proibidas, como:
 

operação	resultado
2+3	5
3-1	2
2*3	6
9/3	3
9/2	proibido

Dessa forma, as operações proibidas podem ter um tratamento diferente, como por exemplo em 9/2 ao invés de retornar o resultado 4,5 termos como resultado 4 (houve truncamento) ou 5 (houve arredondamento).

Ainda nesta linha de raciocínio, pode-se por exemplo estabelecer um tipo de operação de "soma de caracteres", ou algum tipo de operação que normalmente não seria tida como errada:

Conjunto C01 - "Luiz" (este tipo de conjunto de caracteres é conhecido como string)
Conjunto C02 - "Francisco"
Conjunto C03 - "Bozo"
Conjunto C04 - " " (espaço sem caracteres)

Se executarmos a operação C01+C04+C02+C04+C03 poderemos obter o conjunto final

"Luiz Francisco Bozo"
(na verdade não executamos uma soma e sim uma composição dos caracteres)

Uma vez determinado como a linguagem de programação representa os dados, deve-se lançar mão de dois conceitos importantes: Variável e Constante.

Os nomes dados a variáveis e constantes devem necessariamente iniciar com letras. Em algumas linguagens de programação esses nomes podem ser inciados também por alguns caracteres como _ ou $. 

Uma boa prática é dar nomes a variáveis e constantes sempre iniciando por letras (pode-se também utilizar algarismos). Muitos caracteres especiais (como "," e "#" entre outros) não podem ser utilizados para formar nomes de variáveis e constantes.
 
 

3 - Expressões

As expressões utilizam as variáveis e também as constantes, da mesma forma que a matemática tradicional o faz (salvo definições particulares de algumas linguagens). As operações realizadas sobre as variáveis irão depender ainda do TAD gerador da variável ou constante. 
 

Expressão Matemática Comum	Expressão Utilizando Notação Algorítmica

4 - Atribuição de Valor a uma Variável

Quando atribuímos um valor a uma variável estamos informando ao software compilador (ou interpretador) da linguagem de programação que na posição de memória reservada no computador para aquela variável esta receberá determinado valor. Mais a diante estaremos entrando em maiores detalhes sobre a linguagem utilizada na criação de algoritmos (pseudolinguagem) e sua correspondência com as linguagens de programação. 

Na linguagem de criação de algoritmos, a seta indica a atribuição, como vemos abaixo:

Uma variável só pode receber valores do TAD em que ela foi definida. Além disso, B e C no exemplo acima, não sofrerão alteração alguma. Nas linguagens de programação é comum representar a atribuição usando = (igual) ou := (dois pontos e igual).