Vamos analisar cada item: I. Variáveis locais são declaradas dentro de funções e não são visíveis por outras funções. Verdadeiro, essa afirmação está correta. Variáveis locais têm escopo limitado à função em que são declaradas. II. Para inserir módulos em um programa, pode-se utilizar "Procedimentos" ou "Funções". Verdadeiro, essa afirmação também está correta. Tanto procedimentos quanto funções são formas de modularizar um programa. III. Variáveis globais são visíveis apenas na função ou procedimento principal do programa. Falso, essa afirmação é incorreta. Variáveis globais são visíveis em todo o programa, incluindo todas as funções e procedimentos. IV. Uma informação é passada para uma função, utilizando-se uma técnica conhecida, como chamada por valor, para fornecer à função uma cópia dos valores dos parâmetros. Verdadeiro, essa afirmação está correta. A chamada por valor realmente passa uma cópia dos valores dos parâmetros para a função. Com base nas análises, os itens corretos são I, II e IV. Portanto, a alternativa que contém todas as afirmações verdadeiras é: I, II e IV. Se a pergunta não tiver opções específicas, você pode considerar que a resposta correta é a que inclui I, II e IV.