Recent Content by Marco Esperança

Muitos parabéns!!! 🥳 🥳 🥳 🥳 🥳

Se fizeste exames da segunda fase e melhoraste a nota, precisas.

Não precisas.

Acho que vou pedir transferência para a tua faculdade. 🤣🤣🤣 1633091743 Sabes que quando fazes a matrícula em engenharia informática, é um dos pré-requisitos ter visto Harry Potter, não sabes? 😡

Esqueceste-te de dizer para cumprimentarem os pombos.

É só fazeres a candidatura online como fizeste para a 1ª fase.

É anulada a matrícula da 1ª fase e posteriormente ser-te-á devolvida a taxa de inscrição da instituição onde tinhas sido colocado.

Roubo de identidade, não autorizei mas como sou uma boa pessoa eu deixo.

Só para esclarecer Cálculo de Programas não é uma cadeira de matemática e só é lecionado na minha uni na licenciatura. Não precisas de ser nenhum expert em matemática para fazeres o curso. Muito coisa que vais dar é só "porque é uma engenharia".

Acho que o @Alfa será a melhor pessoa para te responder a essa pergunta.

Respondendo à tua questão: se formalizarmos os programas temos garantias da sua correção (funcionar bem para todos os casos e não apenas para alguns). Um software que antes de ser desenvolvido envolva uma análise de métodos formais é seguramente um software que não irá falhar.

Foi das cadeiras que mais gostei até agora. Simplesmente achei muito difícil. 1632850276 São das mais acessíveis do curso. Talvez álgebra linear te possa parecer um pouco confuso ao início, mas é porque não estás habituado a esse tipo de matemática no secundário.

Mas eu partilhei os traumas dessa cadeira contigo. 😠

Cálculo de Programas 🥲

CP (acho que só a @Ana Noronha vai perceber o trauma).