OpenLLM-France/wikimedia huggingface dataset:
# Cherry-pick
## Introdução

Cherry-picking é um comando do git que permite ao usuário escolher os commits que deseja mandar à uma branch. Assim, ele pode analisar os commits em outra branch do repositório e escolher aquelas que são úteis para ir para sua branch.
É um comando útil, pois permite a adição de apenas commits importantes, evitando commits que estão sem testes ou que contém erros. Além disso, esse comando auxilia no desenvolvimento de softwares colaborativos, visto que vários usuários mandam alterações no código a todo momento. Usando o cherry-picking, é possível escolher os commits relevantes e de qualidades dos colaboradores, para depois levá-los às branchs principais, como a master.

## Como Funciona?

Cada commit salvo pelo git possui um ID que identifica seu o conteúdo e histórico. Ao utilizar o comando git cherry-pick "id do commit", você irá pegar o conteúdo desse commit e irá fixá-lo no lugar que você está em sua branch atual. O git, então, salva esse commit resgatado pelo comando cherry-pick como um commit com um ID diferente.

## Por que usar o cherry-picking?

Já precisou resgatar um commit apenas de uma branch diferente da que você esta usando no momento?
Por vezes, temos a necessidade de resgatar uma pequena parte de código enviado para uma branch, mas isso sem receber outras modificações de código realizadas em outros commits na branch. Com isso, a solução é usar o comando Cherry-picking. Ele resgata um único commit em uma branch diferente da atual sem trazer todas a modificações agregadas após esse commit.
Por que não podemos usar o rebase ou mesmo receber todos os commits e dar um merge?
A ideia é reduzir trabalhos desnecessários, se você sabe que ao realizar o rebase conflitos acontecerão, e esse código que dará conflito não afetara o trabalho que realizará o melhor caminho para poupar rebases e merges é receber apenas o commit que tem efeito em seu trabalho.

## Como usar

Para usar o comando cherry-picking, siga os passos abaixo:
* Inicialmente vá até a branch que deseja pegar o commit!
* Procure o commit que deseja receber
* Pegue o hash do commit e copie. Você visualizara algo parecido com o código abaixo!
* Vá até a branch que deseja receber o commit. Digite o nome sem aspas.
* Se estiver na branch correta, digite o cherry pick com o hash sem aspas, para receber o commit.
* Se ainda assim tiver algum conflito ao receber o commit, você deve resolver o conflito.
* Você pode digitar os seguintes comandos para continuar o processo.
* E salve as mudanças!
Caso dê algum conflito usando o cherry-pick, após resolvê-los use o comando abaixo para continuar o processo:
Caso seja necessário limpar o estado de sequencia após uma falha no cherry-pick, use o comando:
E caso deseje cancelar o cherry-pick, use o comando:

## Cherry-picking para um intervalo de commits

Mesmo não sendo considerado prático, é possível usar o cherry-picking para obter um intervalo de commits.
Comando cherry-picking para um intervalo de commits:
Sendo A e B os hashs dos commits e necessariamente A deve ser mais antigo do que B.
Obs.: O sinal "^" deve ser usado para considerar o commit A.
# Ciclovias

Ciclovias são muito legais.

## Boas Práticas

Copenhage, a cidade das bicicletas

## Serviços
### São Paulo

Ciclovias/Moema Bike Anjo
# Ciclovias/Moema

Sâo Paulo tem uma ciclovia em Moema. Nós queremos preservá-la e expandi-la.
# Cibercultura e mídias sociais
## Bibliografia principal

Planeta Y - Blog sobre Monitoramento de Mídias Sociais
# Cidades Inteligentes: Escolas + Tecnológicas

Alunos: Emerson Chaves, João Ricardo, Marcos Paes, Rafael Leão estudantes da Universidade de Brasília para a Disciplina de Sistema de Informação 2017/2.

## Resumo

O trabalho baseia-se no contexto de uma Brasília mais inteligente. E um dos pilares de uma cidade inteligente é a tecnologia empregada em vários setores, inclusive na educação. Desta forma, abordamos maneiras de inserção da tecnologia nas escolas, inspirados em modelos bem sucedidos que já foram implementados no mundo afora, afim de resolver os principais problemas reportados por alunos.

## Introdução

No mundo globalizado em que vivemos, é crescente a busca pela inserção de tecnologia em todas as áreas afim de automatizar processos antes realizados de forma manual e transformação de rotinas complexas por ações cada vez mais simples. Na escola não é diferente, e a cada dia cresce o número de tecnologias voltadas a educação visando complementar ou mesmo substituir o trabalho de professores. Os alunos por sua vez, já levam diversos instrumentos tecnológicos para as salas de aula, como tablets, notebooks e principalmente celulares de última geração. Neste trabalho abordaremos as formas de transformar um ambiente com problemas sociais e estruturais diversos, em um ambiente tecnológico de modo que integre uma cidade inteligente.

## Problemática

A problemática da questão foi definida através das entrevistas realizadas, pelas quais foram verificadas de forma balanceada entre as questões mais recorrentes na vida dos discentes e docentes, e as questões que os mesmos julgam que mais impactam suas vidas. Constatamos que grande parte dos problemas relatados tem conexão com problemas sociais, ocorridos tanto em casa, quanto no ambiente escolar.
Buscamos, através da análise entender o motivo real do comportamento dos alunos, quando se refere as questões sociais aplicadas ao modo como o aluno se porta no ambiente escolar, e as alterações que esses problemas podem ocasionar no desempenho do aluno.
Dentro desta problemática, o bullyng (ato de violência física ou psicológica intencional e repetida, causando dor e angústia e sendo executadas dentro de uma relação desigual de poder) que foi citado por vários alunos e professores, e atrasa diretamente no cumprimento do objetivo n° 4 da agenda de Objetivos de Desenvolvimento Sustentável da ONU (4 - Educação de Qualidade).

## Dados complementares

/* Colocar as dados das perguntas realizadas aos alunos aqui*/
# Portal:Matemática e Estatística/Licenciatura em Matemática

Bem-Vindo ao Curso de Licenciatura em Matemática Parte do Instituto de Matemática e Estatística
# Portal:Matemática e Estatística/Videoteca/Host/Vimeo

Videoteca do Instituto de Matemática e Estatística

   ### Videos hospedados no Vimeo

   | Vídeo | Tipo de vídeo | Duração | Ano | Produtor(a) |
   | A História do Número 1 | documentário | 59 min | 2005 | BBC |
# Portal:Matemática e Estatística/Videoteca/Produtor/Disney

Videoteca do Instituto de Matemática e Estatística

   ### Videos produzidos pela Disney

   | Vídeo | Tipo de vídeo | Duração | Ano | Host |
   | Donald no País da Matemágica | educativo infanto-juvenil / desenho (dublado) | 27 min | 1959 | YouTube |
# Portal:Matemática e Estatística/Recursos
## Softwares
### Proprietários

* b:Derive
* b:Maple
* b:Mathematica
* b:Matlab

### Livres

* b:Maxima
* b:Octave
* b:Scilab
* b:SageMath
# Portal:Matemática e Estatística/Videoteca/Produtor/BBC

Videoteca do Instituto de Matemática e Estatística

   ### Videos produzidos pela BBC

   | Vídeo | Tipo de vídeo | Duração | Ano | Host |
   | Conhecimento Perigoso | documentário (legendado) | 89 min | 2007 | YouTube |
   | A História da Matemática - Episódio I - A Linguagem do Universo | documentário (legendado) | 58 min | 2008 | YouTube |
   | A História da Matemática - Episódio II - O Gênio do Oriente | documentário (legendado) | 57 min | 2008 | YouTube |
   | A História da Matemática - Episódio III - As Fronteiras do Espaço | documentário (legendado) | 58 min | 2008 | YouTube |
   | A História da Matemática - Episódio IV - Ao Infinito e Além | documentário (legendado) | 58 min | 2008 | YouTube |
   | A História do Número 1 | documentário | 59 min | 2005 | YouTube |
   | Sem Medo da Matemática | documentário (dublado) | 52 min | 2009 | YouTube |
   | Tópicos de História da Matemática: A Fundação da Royal Society | documentário (legendado) | 24 min | 1988 | YouTube |
   | Tópicos de História da Matemática: Geometria Não-Euclideana | documentário (legendado) | 24 min | 1988 | YouTube |
   | Tópicos de História da Matemática: A Libertação da Álgebra | documentário (legendado) | 25 min | 1988 | YouTube |
   | Tópicos de História da Matemática: Marin Mersenne | documentário (legendado) | 25 min | 1988 | YouTube |
   | Tópicos de História da Matemática: A Matemática Grega | documentário (legendado) | 25 min | 1988 | YouTube |
   | Tópicos de História da Matemática: O Nascimento do Cálculo | documentário (legendado) | 25 min | 1988 | YouTube |
   | Tópicos de História da Matemática: A Nova Matemática Parisiense | documentário (legendado) | 24 min | 1988 | YouTube |
   | Tópicos de História da Matemática: A Tradição Vernácula | documentário (legendado) | 25 min | 1988 | YouTube |
   | O Último Teorema de Fermat | documentário (legendado) | 46 min | 1996 | YouTube |
# Portal:Matemática e Estatística/Videoteca/Produtor/EBS

Videoteca do Instituto de Matemática e Estatística

   ### Videos produzidos pela EBS

   | Vídeo | Tipo de vídeo | Duração | Ano | Host |
   | O Legado de Pitágoras - 01 - Os Triângulos de Samos | documentário (dublado) / série | 41 min | 2008 | YouTube |
   | O Legado de Pitágoras - 02 - Pitágoras e Outros | documentário (dublado) / série | 41 min | 2008 | YouTube |
   | O Legado de Pitágoras - 03 - Desafiando Pitágoras | documentário (dublado) / série | 46 min | 2008 | YouTube |
# Introdução à Lógica Matemática/Definições sobre Lógica e Lógica Matemática

INTRODUÇÃO
Neste roteiro, o principal objetivo será a investigação da validade de ARGUMENTOS: conjunto de enunciados dos quais um é a CONCLUSÃO e os demais PREMISSAS. Os argumentos estão tradicionalmente divididos em DEDUTIVOS e INDUTIVOS.
ARGUMENTO DEDUTIVO: é válido quando suas premissas, se verdadeiras, a conclusão é também verdadeira.
Premissa : "Todo homem é mortal." Premissa : "João é homem." Conclusão : "João é mortal." Esses argumentos serão objeto de estudo neste roteiro.
ARGUMENTO INDUTIVO: a verdade das premissas não basta para assegurar a verdade da conclusão. Premissa : "É comum após a chuva ficar nublado." Premissa : "Está chovendo." Conclusão: "Ficará nublado." Não trataremos do estudo desses argumentos neste roteiro.
As premissas e a conclusão de um argumento, formuladas em uma linguagem estruturada, permitem que o argumento possa ter uma análise lógica apropriada para a verificação de sua validade. Tais técnicas de análise serão tratadas no decorrer deste roteiro.
# Introdução à Lógica Matemática/Álgebra Booleana

Sistema de dedução matemática que se restringe a falso ou verdadeiro, representados pelos valores zero e um. Utiliza-se de operadores binários definidos para este conjunto de valores que aceitam um par de entradas boolenas e geram um único valor booleano. Os principais operadores utilizados são: AND, OR, e NOT, respectivamente, produto, soma e negação. Os operadores são representados pelos seguintes símbolos:
* -AND - x
* -OR - +
* -NOT - '
Exemplo de utilização:
* A+B - A "ou" B;
* AxB, o mesmo que AB - A "e" B;
* A' - negação de A, ou seja, o valor inverso de A.
# Introdução à Lógica Matemática/Álgebra dos Conjuntos

A Álgebra dos Conjuntos o estudo da aplicação de operações sobre determinados conjuntos de modo a criar novos conjuntos. Estas operações são : União, Intersecção, Diferença e Complemento.
* Esta página é somente um esboço. Ampliando-a você ajudará a melhorar a Wikiversidade.
# Introdução à Marcenaria

* Bem vindo ao curso Introdução à Marcenaria
* Objetivo
* Fornecer a base teórica sobre matérias primas, equipamentos, ferramentas e processos usuais da marcenaria em nível artesanal.
* Nível do curso
* Intermediário
* Pré-requisito
* Nenhum
* Programa
* A madeira; a madeira industrializada; as ferramentas manuais; as ferramentas e máquinas elétricas portáteis; as máquinas estacionárias; as colas; as ferragens e dispositivos de montagem;os métodos construtivos;o acabamento:lixas,seladoras, ceras,vernizes e tintas;
* Bibliografia
* Escreva aqui os livros e publicações de base ao curso.
* Obrigatório
* Curso Livre
* Índice de aulas
* Introdução
* Lição 1
* Lição 2
* Conclusão
# Introdução à Lógica Matemática/Cálculo Proposicional

Proposições são sentenças afirmativas declarativas que não sejam ambiguas e que possuem a propriedade de serem ou verdadeiras ou falsas, mas não ambas.
Exemplos:
* “Gatos têm quatro patas”
* “1 + 2 = 3"
* “A Terra é quadrada"
* “3 é um número primo"
Exemplos de sentenças que não são proposições:
* "O que estou dizendo agora é mentira"
* "Irá chover amanhã"
* "Onde está a chave ?"
É uma sub-área da álgebra da lógica que estuda um conjunto formal de regras que permitem a análise e manipulação de proposições.
Conectivos lógicos
Proposições simples podem ser concatenadas através de conectivos lógicos E, OU, NÃO para formar novas proposições compostas.
Exemplos: Das proposições “Fulano está cansado" e “Ciclano está cozinhando", pode-se formas as proposições “Fulano está cansado E Ciclano está cozinhando", ou “Fulano está cansado OU Ciclano está cozinhando", ou “Fulano NÃO está cansado".
Proposições serão representadas por letras como x, y, z, p, q, etc. Em geral, as letras que representam proposições simples são denominadas variáveis (lógicas). Proposições têm valor lógico ou V (VERDADEIRO) ou F (FALSO). Utilizaremos os seguintes símbolos para representar os conectivos lógicos:
^ - Simboliza E
v - Simboliza OU
# Direito Administrativo Intermediário/Poderes administrativos

A administração pública possui os Poderes Administrativos para alcançar o fim almejado pelo Estado.
O Poder Vinculado é aquele que a lei estabelece de forma precisa e em uma única hipótese, não dando espaço para o administrador decidir a respeito de sua conveniência e oportunidade. Ex: licença-maternidade (é obrigatória).
O Poder Discricionário é aquele que a lei estabelece mais de uma alternativa para a decisão, portanto, há conveniênca e oportunidade. Ex: férias (o administrador poderá decidir se solicita o acúmulo do subordinado dependendo da necessidade).
O Poder Hierárquico é o poder em que há relação de subordinação e crescente responsabilidade; tais como: dar ordens, fiscalizar o cumprimento, delegar atribuições, decidir conflitos e atribuições.
O Poder Disciplinar é aquele em que há aplicação de uma sanção administrativa interna aos servidores e a demais pessoas que possuam vínculo jurídico com a administração.
O Poder Regulamentar é o Poder dos Chefes do Executivo para que os atos normativos sejam secundários e possuam o objeto principal de cumprir uma determinada lei.
O Poder de Polícia é a faculdade que goza o Estado para condicionar ou restringir o uso e gozo de bens, direitos, e atividades individuais em porl da coletividade. Tem três atributos CAD ( Coercebilidade, Autoexecutoriedade e discricionaridade).
# Direito Constitucional

Direito constitucional é o ramo do direito público interno dedicado à análise e interpretação das normas constitucionais.
Na perspectiva contemporânea, as normas constitucionais são compreendidas como o ápice da pirâmide normativa de uma ordem jurídica. Consideradas leis supremas de um Estado soberano, têm por função regulamentar e delimitar o poder estatal, organizar o funcionamento do Estado além de garantir os direitos considerados fundamentais.

## Alocação do Direito Constitucional

O direito constitucional é alocado dentro do ramo do direito público.
# Direito Administrativo I

Esta disciplina é lecionada em Direito e é da responsabilidade do Instituto de Direito.
# Direito Administrativo Intermediário/Ato administrativo
## Conceito

Um ato administrativo é o ato jurídico que concretiza o exercício da função administrativa do Estado. Como todo ato jurídico, constitui, modifica, suspende, revoga situações jurídicas. Em geral, os autores adotam o conceito restrito de ato administrativo, restringindo o uso do conceito aos atos jurídicos individuais e concretos que realizam a função administrativa do Estado. O ato administrativo é a forma jurídica básica estudada pelo direito administrativo.
Todo ato administrativo é ato jurídico de direito público. Há atos da Administração que não são atos administrativos em sentido estrito, pois a Administração também pode praticar atos de direito privado. Os atos de direito privado praticados pela Administração estão na categoria dos atos da administração, mas não na categoria dos atos administrativos.
É importante essa distinção de ato administrativo e ato da administração. O último é o Estado agindo como privado, logo regido por direito privado, não possui as cláusulas exorbitantes e nem o atributo de supremacia do interesse público. Já o primeiro, o ato administrativo, o Estado age como governo, logo regido pelo direito administrativo com a presença das cláusulas exorbidantes e o atributo da supremacia do interesse público e outros a ele inerentes.

## Requisitos, perfeição, validade, eficácia; atributos

1. Ato administrativo Perfeito è o ato concluido, acabado, que completou o ciclo necessário à sua formação.

## Vinculação e discricionariedade
### Discricionariedade

A discricionariedade de alguns atos administrativos é apenas a possibilidade de escolha que a lei permite através de alguns conceitos abstratos e vagos como, por exemplo, interesse público. Não podendo ser confundido com atos arbitrários, pois mesmo a lei cedendo liberdade, essa é limitada. Nunca são decididos ao "bel-prazer" do administrador, pois esse deve aplicá-los em conformidade com a oportunidade e conveniência para o interesse público, podendo o judiciário apreciar a legalidade ou não do ato discricionário.

### Mérito Administrativo

Hely Lopes Meirelles define que o mérito administrativo está "na valoração dos motivos e na escolha do objeto do ato, feitas pela Administração incumbida da sua prática, quando autorizada a decidir sobre a conveniência, oportunidade e justiça do ato a realizar."

### Vinculação

Já nos atos vinculados simplesmente a lei não deixa opções. Por exemplo, a concessão de aposentadoria. Ou seja, preenchidos os requisitos legais a administração é obrigada a conceder o que foi requerido.
# Direito Administrativo Intermediário

Esta disciplina é lecionada em Direito e é da responsabilidade do Instituto de Direito.
# Direito Administrativo

Esta disciplina é faz parte do Curso de Bacharelado em Direito e é integrante do Instituto de Direito.
* Bem vindo ao curso Direito Administrativo
* Objetivo
* Escreva aqui o objetivo do seu curso ou disciplina.
* Nível do curso
* Escreva aqui o nível do seu curso (Básico/Intermediário/Avançado)
* Pré-requisito
* Escreva aqui o que o estudante deve saber antes de fazer este curso.
* Programa
* Escreva aqui passo-a-passo o que o curso abordará.
* Bibliografia
* Material didático para disciplina de Direito Administrativo, «w:Direito_Administrativo#Brasil:_administrativistas_de_destaque».
* Obrigatório
* Escreva aqui quais cursos o aluno pode fazer depois de terminar este curso.
* Índice de aulas
* Introdução
* Lição 1
* Lição 2
* Conclusão
Esta disciplina está dividida em:
* Direito Administrativo I
* Direito Administrativo II
# Direito Civil I - Das Pessoas

Esta disciplina é faz parte do Curso de Bacharelado em Direito e é integrante do Instituto de Direito.
* Bem vindo ao curso Direito Civil I - Das Pessoas
* Objetivo
* Escreva aqui o objetivo do seu curso ou disciplina.
* Nível do curso
* Escreva aqui o nível do seu curso (Básico/Intermediário/Avançado)
* Pré-requisito
* Escreva aqui o que o estudante deve saber antes de fazer este curso.
* Programa
* Escreva aqui passo-a-passo o que o curso abordará.
* Bibliografia
* Escreva aqui os livros e publicações de base ao curso.
* Obrigatório
* Escreva aqui quais cursos o aluno pode fazer depois de terminar este curso.
* Índice de aulas
* Introdução
* Lição 1
* Lição 2
* Conclusão
1. Das pessoas naturais ou físicas
1.1 Conceito
Pessoa natural é o ser humano capaz de direitos e obrigações na esfera civil.
Todo ser humano, assim, recebe a denominação de pessoa - natural ou física - para ser denominada como sujeito do direito, ente único, do qual e para o qual decorrem normas.
1.2 Início da personalidade da pessoa natural
A personalidade é, em si mesma, a possibilidade, devidamente reconhecida pelo ordenamento, que o sujeito do direito tem de ser titular de direitos e obrigações na esfera civil.
A personalidade da pessoa natural tem início com o nascimento com vida. Mas a lei resguarda os direitos do nascituro. (Art. 2º, do Código Civil Brasileiro, 2002)
A partir deste regramento devemos esclarecer alguns conceitos:
Concepturo é aquele ser que ainda não foi concebido, mas que, potencialmente, pode vir a ser;
Nascituro é aquele já concebido, mas ainda não nascido, tem portanto, expectativas de direitos, que se concretizará com o nascimento com vida.
Assim, de acordo com a norma brasileira, reconhece-se a personalidade desde que se torne patente o nascimento com vida, não sendo suficiente apenas e tão somente o nascimento, que é a expulsão do feto do ventre da genitora, que sem respirar é um natimorto. Posição seguida pelo STF (Supremo Tribunal Federal), considerada como "teoria natalista".
O exame utilizado para determinar se a criança sobreviveu ao parto chama-se docimasia hidrostática de galeno.
1.3 Capacidade da pessoa natural
A capacidade é um atributo da personalidade, que consiste na aptidão genérica para adquirir direitos e obrigações na esfera civil.
Teorias sobre o início da personalidade natural:
Teoria natalista: A pessoa adquire direitos e deveres apenas quando nascido com vida. (Posição descrita no Código Civil brasileiro de 2002, Art 2º)
Teoria concepcionista: A personalidade jurídica é adquirida com o início da concepção. (Posição seguida pelo STF "Supremo Tribunal Federal")
Teoria da personalidade condicional: O nascituro a partir da concepção tem direitos formais (proteção à vida) e ao nascer com vida adquire os chamados "direitos materiais" (patrimoniais). - Não adotada no Brasil.
# WikiConecta/Módulos

Você pode explorar os seis módulos do WikiConecta no menu localizado no topo desta página.
Após clicar no módulo escolhido, navegue pelo sumário clicável localizado no lado direito da sua tela.
Preparamos um tutorial sobre a navegação pelo curso e você pode acessá-lo clicando no botão disponível no final desta página.
Antes de começar, não se esqueça de criar um usuário e se inscrever no Outreach Dashboard do curso para que seu progresso seja registrado e você possa solicitar a certificação gratuita.
Em caso de dúvidas relacionadas ao WikiConecta, escreva para educacaowmnobrasil.org.
Como navegar pelo curso Voltar à página inicial
Iniciativa
# Roteiros

* Esta é uma página de desambiguação, a qual lista cursos e disciplinas associados a um mesmo título ou tema. Se uma ligação interna o conduziu até aqui, sugerimos que a corrija para apontá-la diretamente ao conteúdo adequado.

## Disciplinas

* Roteiro para Ficção
# Roteiro para Ficção

* Bem vindo ao curso Roteiro para Ficção
* Objetivo
* Oferecer ao leitor os fundamentos básicos para composição de roteiros para ficção.
* Nível do curso
* Livre.
* Pré-requisito
* Nenhum.
* Índice de aulas
* Introdução
* Aula 1
* Conclusão