10 Regras de Segurança para uso da Internet 6 º ano

1.	Instale um antivírus. Mantenha-o activo e actualizado em permanência. Regra geral, os fornecedores de antivírus disponibilizam actualizações semanais.
2.	Mantenha as aplicações instaladas no seu computador actualizadas. Em particular, é muito importante manter o seu sistema operativo e o seu browser actualizados em todos os momentos.
3.	Utilize uma firewall para controlar e verificar a comunicação do seu computador com a Internet.
4.	Não abra nem execute ficheiros ou anexos (attachments) constantes em e-mails, a não ser que esteja à espera deles e saiba do que tratam. Mesmo e-mails enviados por pessoas conhecidas podem conter ficheiros ou anexos perigosos.
5.	Nunca forneça dados pessoais e/ou financeiros como resposta a solicitações via e-mail.
6.	Nunca forneça dados pessoais e/ou financeiros sem ter a certeza que se encontra num site seguro. O endereço do site deve começar por “httpS://” e não por “http://” e deve poder fazer duplo-clique sobre o cadeado no canto inferior direito da janela do browser (No caso do IE 7.0, o cadeado está localizado ao lado da caixa do URL).
7.	Não utilize PIN's, passwords ou códigos de acesso de fácil dedução. Não os forneça a ninguém.
8.	Utilize passwords diferentes para sites seguros e não seguros.
9.	Consulte os extractos das suas contas bancárias regularmente. Se encontrar algum movimento estranho contacte imediatamente o Banco BPI.
10.	Se pretender utilizar um site para realizar operações sensíveis, nomeadamente para realizar transacções financeiras, aceda ao site digitando directamente o endereço no browser. Não siga ligações nem aceda através dos “Favoritos” (Favorites).

Introdução à Lógica

Resumo

Aqui são revisados alguns dos conceitos básicos de lógica, e sugeridos alguns links que tratam de métodos e princípios usados para distinguir entre o raciocínio correto e o incorreto, uso de linguagens, falácias formais e informais, diagramas de Venn, tabelas verdade, notação simbólica, dedução de provas e indução. Esses links introduzem noções fundamentais e técnicas da lógica formal que podem ser utilizadas em diferentes áreas. Em particular, fornecem o background necessário para outras disciplinas da Ciência da Computação, além, claro, de Circuitos Lógicos.

---

Proposição

Segundo Quine, toda proposição é uma frase mas nem toda frase é uma proposição; uma frase é uma proposição apenas quando admite um dos dois valores lógicos: Falso (F)ou Verdadeiro (V). Exemplos:

1. Frases que não são proposições

   • Pare!

   • Quer uma xícara de café?

   • Eu não estou bem certo se esta cor me agrada

2. Frases que são proposições

   • A lua é o único satélite do planeta terra (V)

   • A cidade de Salvador é a capital do estado do Amazonas (F)

   • O numero 712 é ímpar (F)

   • Raiz quadrada de dois é um número irracional (V)

   • 

Revisão aula 9º ano

Tabelas

conjunçao 2

P	~P
V	F
F	V

A negação da proposição a é a proposição ~a, de maneira que se a é verdade então ~a é falso, e vice-versa.

Conjunção (E)

A conjunção é verdadeira se e somente se os conjuntos são verdadeiros

A	B	A^B
V	V	V
V	F	F
F	V	F
F	F	F

Disjunção (OU)

A conjunção é falso se, e somente se ambos os operandos forem falsos

p	q	pvq
V	V	V
V	F	V
F	V	V
F	F	F

fonte :http://pt.wikipedia.org/wiki/Tabela_verdade

Você já deve ter visto todo tipo de pen-drives, mas certamente, não viu nada como o projeto chamado Mugo, ou se preferir, Music on The Go. O Mugo é resultado do mix entre um pen-drive, um MP3 Player e um toy art que, como você pode ver na imagem acima, é sensacional.

O Mugo chegará em edição limitada, e é assinado por alguns dos designers mais descolados da atualidade, como Julie West e Shin Tanaka. Se você quiser ver os outros modelos, tão bonitões quanto esse, veja o site do projeto. Uma pena essas coisas não chegarem ao Brasil. Uma pena.