Please enable JavaScript.

Coggle requires JavaScript to display documents.

Mapa Mental - Coggle Diagram

- - - - def fatorial(n):
        assert isinstance(n, int) and n >= 0, "O argumento deve ser um número inteiro não negativo"
        if n == 0:
        return 1
        else:
        return n * fatorial(n - 1)
        print(fatorial(5))
        
        Neste exemplo, os axiomas são representados pelos comentários Ax1 e Ax2, que especificam as condições que devem ser verdadeiras antes e depois da execução da função fatorial. O axioma Ax1 garante que o argumento passado para a função seja um número inteiro não negativo, enquanto o axioma Ax2 garante que o resultado retornado pela função seja o fatorial do número. O uso dos axiomas ajuda a garantir a correção da função e a verificar se ela está sendo utilizada corretamente.
- - - - def semantica_2_mais_3():
        return 2 + 3
        resultado = semantica_2_mais_3()
        print(resultado)
        
        Neste exemplo, a função semantica_2_mais_3 representa a semântica denotacional da expressão 2 + 3, retornando seu valor numérico correspondente. Ao chamar essa função, obtemos o resultado 5, que é o valor da expressão 2 + 3.