A denominada abordagem institucional tem proporcionado um alargamento da compreensão a respeito das organizações formais à medida que incorpora à análise organizacional elementos conceituais provenientes de diversos domínios do conhecimento. Acerca da abordagem institucional no contexto atual, julgue o item a seguir.

O grau de institucionalização está necessariamente relacionado ao nível de detalhamento e de abrangência da disposição legal.

A questão da autonomia burocrática tem sido abordada pela literatura e implementada em algumas diferentes direções. Em alguns casos, está relacionada a questões mais estratégicas que envolvem a independência de decisão e de julgamento em matérias sensíveis de políticas públicas; em outros, está relacionada à flexibilização da gestão interna. Acerca dessas idéias, julgue o item que se segue.

Regras operacionais rígidas e padronizadas asseguram a utilização eficiente dos recursos públicos.

Nos últimos vinte anos, houve um progresso lento, porém constante, no uso de especificação formal, no desenvolvimento de software. Nos métodos de especificação formal, o objetivo de se produzir especificações consistentes, completas e corretas é obtido por meio de enunciados matematicamente prováveis. Uma especificação formal pode assim ser checada, em termos de inconsistências e contradições, antes de ser codificada, utilizando-se uma linguagem de programação. A lógica de primeira ordem pode ser uma base para se descrever uma especificação formal. Para isso, são utilizados símbolos matemáticos que expressam um significado importante. Uma lista dos principais símbolos é mostrada abaixo.

As sentenças abaixo foram escritas a partir dos símbolos lógicos citados no texto e de símbolos encontrados na Matemática, assumindo x, y e z valores numéricos e p e q valores lógicos.

1. !$ \forall x, \, y, \, z !$, !$ x>y \wedge y>z \rightarrow x>z !$
2. !$ \exists x \ni x> 10 \vee x+y<100 !$
3. !$ \forall x,y \in \mathbb{N} \rightarrow x+y \in \mathbb{N} !$
4. !$ \exists x, y \in \{1, \, 2, \, 3, \, 4 \} \ni x+y \in \{ 1, \, 2, \, 3, \, 4 \} !$
5. !$ \forall x, y \in \{ 1, \, 2, \, 3, \, 4 \} x>y \rightarrow x - y \in \{1, \, 2, \, 3, \, 4 \} !$

Acerca dessas sentenças e a partir do significado dos símbolos lógicos e matemáticos, julgue o item a seguir.

O caso de x ser igual a 20 e y ser igual a 100 respeita a condição expressa na instrução de número 2.

Nos últimos vinte anos, houve um progresso lento, porém constante, no uso de especificação formal, no desenvolvimento de software. Nos métodos de especificação formal, o objetivo de se produzir especificações consistentes, completas e corretas é obtido por meio de enunciados matematicamente prováveis. Uma especificação formal pode assim ser checada, em termos de inconsistências e contradições, antes de ser codificada, utilizando-se uma linguagem de programação. A lógica de primeira ordem pode ser uma base para se descrever uma especificação formal. Para isso, são utilizados símbolos matemáticos que expressam um significado importante. Uma lista dos principais símbolos é mostrada abaixo.

As sentenças abaixo foram escritas a partir dos símbolos lógicos citados no texto e de símbolos encontrados na Matemática, assumindo x, y e z valores numéricos e p e q valores lógicos.

1. !$ \forall x, \, y, \, z !$, !$ x>y \wedge y>z \rightarrow x>z !$
2. !$ \exists x \ni x> 10 \vee x+y<100 !$
3. !$ \forall x,y \in \mathbb{N} \rightarrow x+y \in \mathbb{N} !$
4. !$ \exists x, y \in \{1, \, 2, \, 3, \, 4 \} \ni x+y \in \{ 1, \, 2, \, 3, \, 4 \} !$
5. !$ \forall x, y \in \{ 1, \, 2, \, 3, \, 4 \} x>y \rightarrow x - y \in \{1, \, 2, \, 3, \, 4 \} !$

Acerca dessas sentenças e a partir do significado dos símbolos lógicos e matemáticos, julgue o item a seguir.

A instrução de número 5 indica que, se x é igual a 4, então y !$ \in !$ { 1, 2, 3}.

Nos últimos vinte anos, houve um progresso lento, porém constante, no uso de especificação formal, no desenvolvimento de software. Nos métodos de especificação formal, o objetivo de se produzir especificações consistentes, completas e corretas é obtido por meio de enunciados matematicamente prováveis. Uma especificação formal pode assim ser checada, em termos de inconsistências e contradições, antes de ser codificada, utilizando-se uma linguagem de programação. A lógica de primeira ordem pode ser uma base para se descrever uma especificação formal. Para isso, são utilizados símbolos matemáticos que expressam um significado importante. Uma lista dos principais símbolos é mostrada abaixo.

As sentenças abaixo foram escritas a partir dos símbolos lógicos citados no texto e de símbolos encontrados na Matemática, assumindo x, y e z valores numéricos e p e q valores lógicos.

1. !$ \forall x, \, y, \, z !$, !$ x>y \wedge y>z \rightarrow x>z !$

2. !$ \exists x \ni x> 10 \vee x+y<100 !$

3. !$ \forall x,y \in \mathbb{N} \rightarrow x+y \in \mathbb{N} !$

4. !$ \exists x, y \in \{1, \, 2, \, 3, \, 4 \} \ni x+y \in \{ 1, \, 2, \, 3, \, 4 \} !$

5. !$ \forall x, y \in \{ 1, \, 2, \, 3, \, 4 \} x>y \rightarrow x - y \in \{1, \, 2, \, 3, \, 4 \} !$

Nos últimos vinte anos, houve um progresso lento, porém constante, no uso de especificação formal, no desenvolvimento de software. Nos métodos de especificação formal, o objetivo de se produzir especificações consistentes, completas e corretas é obtido por meio de enunciados matematicamente prováveis. Uma especificação formal pode assim ser checada, em termos de inconsistências e contradições, antes de ser codificada, utilizando-se uma linguagem de programação. A lógica de primeira ordem pode ser uma base para se descrever uma especificação formal. Para isso, são utilizados símbolos matemáticos que expressam um significado importante. Uma lista dos principais símbolos é mostrada abaixo.

As sentenças abaixo foram escritas a partir dos símbolos lógicos citados no texto e de símbolos encontrados na Matemática, assumindo x, y e z valores numéricos e p e q valores lógicos.

1. !$ \forall x, \, y, \, z !$, !$ x>y \wedge y>z \rightarrow x>z !$
2. !$ \exists x \ni x> 10 \vee x+y<100 !$
3. !$ \forall x,y \in \mathbb{N} \rightarrow x+y \in \mathbb{N} !$
4. !$ \exists x, y \in \{1, \, 2, \, 3, \, 4 \} \ni x+y \in \{ 1, \, 2, \, 3, \, 4 \} !$
5. !$ \forall x, y \in \{ 1, \, 2, \, 3, \, 4 \} x>y \rightarrow x - y \in \{1, \, 2, \, 3, \, 4 \} !$

Acerca dessas sentenças e a partir do significado dos símbolos lógicos e matemáticos, julgue o item a seguir.

Nos últimos vinte anos, houve um progresso lento, porém constante, no uso de especificação formal, no desenvolvimento de software. Nos métodos de especificação formal, o objetivo de se produzir especificações consistentes, completas e corretas é obtido por meio de enunciados matematicamente prováveis. Uma especificação formal pode assim ser checada, em termos de inconsistências e contradições, antes de ser codificada, utilizando-se uma linguagem de programação. A lógica de primeira ordem pode ser uma base para se descrever uma especificação formal. Para isso, são utilizados símbolos matemáticos que expressam um significado importante. Uma lista dos principais símbolos é mostrada abaixo.

Asserções são utilizadas para expressar pré-condições e pós-condições de um determinado procedimento. As pré-condições e as pós-condições são condições que devem ser obedecidas, respectivamente, para que o procedimento possa ser realizado com sucesso e para indicar que o procedimento foi realizado com sucesso. A forma geral para se especificar um procedimento funcional, utilizando a especificação formal, é definir, na ordem, as pré-condições, o processo e as pós-condições dentro da sintaxe e da semântica da linguagem formal que se está utilizando. Abaixo são mostradas três especificações, utilizando-se a lógica, cujos símbolos são mostrados no texto, como linguagem formal, e utilizando-se, igualmente, asserções de pré-condições e pós-condições.

A especificação 3 representa a classificação ou o ordenamento descendente ou decrescente em valor de uma lista de números inteiros e positivos. O processo não garante que o conteúdo de !$ \alpha [i] !$, para !$ 0 < i < n !$, sendo !$ n>0 !$, será preservado do início ao fim do processo.

Nos últimos vinte anos, houve um progresso lento, porém constante, no uso de especificação formal, no desenvolvimento de software. Nos métodos de especificação formal, o objetivo de se produzir especificações consistentes, completas e corretas é obtido por meio de enunciados matematicamente prováveis. Uma especificação formal pode assim ser checada, em termos de inconsistências e contradições, antes de ser codificada, utilizando-se uma linguagem de programação. A lógica de primeira ordem pode ser uma base para se descrever uma especificação formal. Para isso, são utilizados símbolos matemáticos que expressam um significado importante. Uma lista dos principais símbolos é mostrada abaixo.

As sentenças abaixo foram escritas a partir dos símbolos lógicos citados no texto e de símbolos encontrados na Matemática, assumindo x, y e z valores numéricos e p e q valores lógicos.

1. !$ \forall x, \, y, \, z !$, !$ x>y \wedge y>z \rightarrow x>z !$
2. !$ \exists x \ni x> 10 \vee x+y<100 !$
3. !$ \forall x,y \in \mathbb{N} \rightarrow x+y \in \mathbb{N} !$
4. !$ \exists x, y \in \{1, \, 2, \, 3, \, 4 \} \ni x+y \in \{ 1, \, 2, \, 3, \, 4 \} !$
5. !$ \forall x, y \in \{ 1, \, 2, \, 3, \, 4 \} x>y \rightarrow x - y \in \{1, \, 2, \, 3, \, 4 \} !$

Acerca dessas sentenças e a partir do significado dos símbolos lógicos e matemáticos, julgue o item a seguir.

A instrução de número 1 indica que, para todos os valores numéricos de x, y e z, x é maior que y e também maior que z.

Nos últimos vinte anos, houve um progresso lento, porém constante, no uso de especificação formal, no desenvolvimento de software. Nos métodos de especificação formal, o objetivo de se produzir especificações consistentes, completas e corretas é obtido por meio de enunciados matematicamente prováveis. Uma especificação formal pode assim ser checada, em termos de inconsistências e contradições, antes de ser codificada, utilizando-se uma linguagem de programação. A lógica de primeira ordem pode ser uma base para se descrever uma especificação formal. Para isso, são utilizados símbolos matemáticos que expressam um significado importante. Uma lista dos principais símbolos é mostrada abaixo.

Asserções são utilizadas para expressar pré-condições e pós-condições de um determinado procedimento. As pré-condições e as pós-condições são condições que devem ser obedecidas, respectivamente, para que o procedimento possa ser realizado com sucesso e para indicar que o procedimento foi realizado com sucesso. A forma geral para se especificar um procedimento funcional, utilizando a especificação formal, é definir, na ordem, as pré-condições, o processo e as pós-condições dentro da sintaxe e da semântica da linguagem formal que se está utilizando. Abaixo são mostradas três especificações, utilizando-se a lógica, cujos símbolos são mostrados no texto, como linguagem formal, e utilizando-se, igualmente, asserções de pré-condições e pós-condições.

Nos últimos vinte anos, houve um progresso lento, porém constante, no uso de especificação formal, no desenvolvimento de software. Nos métodos de especificação formal, o objetivo de se produzir especificações consistentes, completas e corretas é obtido por meio de enunciados matematicamente prováveis. Uma especificação formal pode assim ser checada, em termos de inconsistências e contradições, antes de ser codificada, utilizando-se uma linguagem de programação. A lógica de primeira ordem pode ser uma base para se descrever uma especificação formal. Para isso, são utilizados símbolos matemáticos que expressam um significado importante. Uma lista dos principais símbolos é mostrada abaixo.

Asserções são utilizadas para expressar pré-condições e pós-condições de um determinado procedimento. As pré-condições e as pós-condições são condições que devem ser obedecidas, respectivamente, para que o procedimento possa ser realizado com sucesso e para indicar que o procedimento foi realizado com sucesso. A forma geral para se especificar um procedimento funcional, utilizando a especificação formal, é definir, na ordem, as pré-condições, o processo e as pós-condições dentro da sintaxe e da semântica da linguagem formal que se está utilizando. Abaixo são mostradas três especificações, utilizando-se a lógica, cujos símbolos são mostrados no texto, como linguagem formal, e utilizando-se, igualmente, asserções de pré-condições e pós-condições.