Lógica Cumputacional by Victória Rodrigues https://padlet.com/viiiiitoriarodrigues/zr5pi6y6jl9w418t en-us 2021-08-09 20:06:03 UTC 2025-12-05 19:23:54 UTC hello@padlet.com https://padlet.net/icons/png/2699.png ㅤLógica computacional é o uso da lógica para executar ou raciocinar sobre computação. ↓ ↓ ↓ viiiiitoriarodrigues https://padlet.com/viiiiitoriarodrigues/zr5pi6y6jl9w418t/wish/1673306858 Ela tem uma relação com a ciência da computação e a engenharia semelhante à da lógica matemática com a matemática, ou à da lógica filosófica com a filosofia. É sinônimo de "lógica na ciência da computação".]]> 2021-08-09 20:27:33 UTC https://padlet.com/viiiiitoriarodrigues/zr5pi6y6jl9w418t/wish/1673306858 viiiiitoriarodrigues https://padlet.com/viiiiitoriarodrigues/zr5pi6y6jl9w418t/wish/1673307455 O termo "Lógica Computacional" foi utilizado por Robert S. Boyer e J. Strother Moore, que trabalhou no Departamento de lógica computacional, no início do ano de 1970, para descrever o seu trabalho na verificação do programa e raciocínio automatizado. Eles também fundaram uma empresa, Computational Logic Inc. com o mesmo nome.]]> 2021-08-09 20:28:19 UTC https://padlet.com/viiiiitoriarodrigues/zr5pi6y6jl9w418t/wish/1673307455 Uma dessas lógicas, é a Lógica de Programação viiiiitoriarodrigues https://padlet.com/viiiiitoriarodrigues/zr5pi6y6jl9w418t/wish/1673329637 2021-08-09 20:56:40 UTC https://padlet.com/viiiiitoriarodrigues/zr5pi6y6jl9w418t/wish/1673329637 𝐋𝐨́𝐠𝐢𝐜𝐚 𝐝𝐞 𝐩𝐫𝐨𝐠𝐫𝐚𝐦𝐚𝐜̧𝐚̃𝐨 𝐞́ 𝐨 𝐦𝐨𝐝𝐨 𝐜𝐨𝐦𝐨 𝐬𝐞 𝐞𝐬𝐜𝐫𝐞𝐯𝐞 𝐮𝐦 𝐩𝐫𝐨𝐠𝐫𝐚𝐦𝐚 𝐝𝐞 𝐜𝐨𝐦𝐩𝐮𝐭𝐚𝐝𝐨𝐫, 𝐮𝐦 𝐚𝐥𝐠𝐨𝐫𝐢𝐭𝐦𝐨. ➜ Um algoritmo é uma sequência de passos para se executar uma função. Um exemplo de algoritmo, fora da computação, é uma receita de bolo. viiiiitoriarodrigues https://padlet.com/viiiiitoriarodrigues/zr5pi6y6jl9w418t/wish/1673334323 2021-08-09 21:04:00 UTC https://padlet.com/viiiiitoriarodrigues/zr5pi6y6jl9w418t/wish/1673334323 Na receita, devem-se seguir os passos para o bolo ficar pronto e sem nenhum problema. viiiiitoriarodrigues https://padlet.com/viiiiitoriarodrigues/zr5pi6y6jl9w418t/wish/1673339681 2021-08-09 21:12:54 UTC https://padlet.com/viiiiitoriarodrigues/zr5pi6y6jl9w418t/wish/1673339681 viiiiitoriarodrigues https://padlet.com/viiiiitoriarodrigues/zr5pi6y6jl9w418t/wish/1673340057 Na informática, os programadores escrevem as “receitas de bolo” (algoritmos) de modo que o computador leia e entenda o que deve ser feito, ao executar o algoritmo. Para isto é necessário uma linguagem de programação.
𝘕𝘰 𝘤𝘢𝘴𝘰 𝘥𝘢 𝘱𝘳𝘰𝘨𝘳𝘢𝘮𝘢𝘤̧𝘢̃𝘰, 𝘢 𝘮𝘢𝘪𝘰𝘳𝘪𝘢 𝘥𝘢𝘴 𝘭𝘪𝘯𝘨𝘶𝘢𝘨𝘦𝘯𝘴 𝘦́ 𝘦𝘴𝘤𝘳𝘪𝘵𝘢 𝘦𝘮 𝘐𝘯𝘨𝘭𝘦̂𝘴. 𝘌𝘴𝘵𝘢𝘴 𝘭𝘪𝘯𝘨𝘶𝘢𝘨𝘦𝘯𝘴 𝘧𝘢𝘻𝘦𝘮 𝘰 𝘤𝘰𝘮𝘱𝘶𝘵𝘢𝘥𝘰𝘳 𝘢𝘴𝘴𝘪𝘮𝘪𝘭𝘢𝘳 𝘤𝘢𝘥𝘢 𝘤𝘰𝘮𝘢𝘯𝘥𝘰 𝘦 𝘧𝘶𝘯𝘤̧𝘢̃𝘰 𝘥𝘦 𝘶𝘮 𝘢𝘭𝘨𝘰𝘳𝘪𝘵𝘮𝘰, 𝘥𝘦𝘱𝘰𝘪𝘴 𝘦𝘹𝘦𝘤𝘶𝘵𝘢𝘳 𝘤𝘢𝘥𝘢 𝘧𝘶𝘯𝘤̧𝘢̃𝘰.]]> 2021-08-09 21:13:37 UTC https://padlet.com/viiiiitoriarodrigues/zr5pi6y6jl9w418t/wish/1673340057 viiiiitoriarodrigues https://padlet.com/viiiiitoriarodrigues/zr5pi6y6jl9w418t/wish/1673342024 ╭─────── • ◆ • ────────╮
➜ 𝐒𝐚𝐛𝐞𝐫 𝐥𝐨́𝐠𝐢𝐜𝐚 𝐝𝐞 𝐩𝐫𝐨𝐠𝐫𝐚𝐦𝐚𝐜̧𝐚̃𝐨 𝐞́ 𝐬𝐚𝐛𝐞𝐫 𝐨 𝐦𝐞𝐥𝐡𝐨𝐫 𝐣𝐞𝐢𝐭𝐨 𝐝𝐞 𝐞𝐬𝐜𝐫𝐞𝐯𝐞𝐫 𝐮𝐦 𝐜𝐨́𝐝𝐢𝐠𝐨, 𝐩𝐚𝐫𝐚 𝐨 𝐜𝐨𝐦𝐩𝐮𝐭𝐚𝐝𝐨𝐫 𝐢𝐧𝐭𝐞𝐫𝐩𝐫𝐞𝐭𝐚𝐫 𝐜𝐨𝐫𝐫𝐞𝐭𝐚𝐦𝐞𝐧𝐭𝐞. 𝐄́ 𝐬𝐚𝐛𝐞𝐫 𝐬𝐞 𝐜𝐨𝐦𝐮𝐧𝐢𝐜𝐚𝐫 𝐜𝐨𝐦 𝐚 𝐦𝐚𝐪𝐮𝐢𝐧𝐚 𝐚 𝐩𝐚𝐫𝐭𝐢𝐫 𝐝𝐞 𝐮𝐦𝐚 𝐥𝐢𝐧𝐠𝐮𝐚𝐠𝐞𝐦 𝐬𝐞𝐣𝐚 𝐥𝐚́ 𝐪𝐮𝐚𝐥 𝐟𝐨𝐫.
╰──────── • ◆ • ────────╯
ㅤㅤㅤㅤㅤㅤㅤFim.
]]> 2021-08-09 21:16:50 UTC https://padlet.com/viiiiitoriarodrigues/zr5pi6y6jl9w418t/wish/1673342024