OpenLLM-France/wikimedia huggingface dataset:
# Harmonia lógica

Harmonia Lógica, é um nome inventado por Sir Michael Dummett, é uma suposta restrição sobre as regras de inferência que podem ser usadas em um determinado sistema lógico.
O lógico Gerhard Gentzen propôs que os significados dos conectivos lógicos poderiam ser determinados pelas regras para introduzi-los no discurso. Por exemplo, se se acredita que o céu é azul, e também se acredita que a grama é verde, em seguida, pode introduzir o conjuntivo e da seguinte forma: O céu é azul E a grama é verde. A ideia de Gentzen era que ter regras como essa, é o que dá sentido às palavras, ou pelo menos para certas palavras. A ideia também tem sido associada ao slogan de Wittgenstein, que em muitos casos pode-se dizer que o significado é o uso. Lógicos mais contemporâneos preferem pensar que as regras de introdução e as regras de eliminação (em dedução natural) para uma expressão são igualmente importantes. Neste caso, e caracteriza-se pelas seguintes regras:
| Introdução | Elim | Elim |
| P Q P e Q | P e Q P | P e Q Q |
Um problema aparente com isso foi apontado por Arthur Prior: Por que não podemos ter uma expressão (chamá-lo de "tonk"), cuja regra de introdução é a de que OU (a partir de "p" para "p tonk "q"), mas cuja regra de eliminação é a regra de E (a partir de "p tonk "q" "q")? Isso nos permite deduzir qualquer coisa a partir de qualquer ponto de partida. Prior sugeriu que isso significava que regras inferenciais podem não determinar o significado. Ele foi respondido por Nuel Belnap, salientou que apesar de regras de introdução e de eliminação poderem constituir significado, não apenas qualquer par de tais regras determinará uma expressão significativa – eles devem atender a determinadas restrições, como não nos permitindo deduzir quaisquer novas verdades no antigo vocabulário. Estas restrições são as restrições às quais Dummett estava se referindo.
A harmonia, então, refere-se a certas restrições que uma teoria da prova deve deixar entre as regras de introdução e de eliminação para que ela seja significativa, ou seja, suas regras de inferência sejam constitutivas de significado.
A aplicação da harmonia à lógica pode ser considerada um caso especial; faz sentido falar de harmonia com respeito não apenas aos sistemas inferenciais, mas também aos sistemas conceituais na cognição humana, e para sistemas de tipos em linguagens de programação.
A semântica dessa forma não proporcionou um grande desafio ao esboçado na teoria semântica da verdade de Tarski, mas muitos filósofos interessados em reconstituir a semântica da lógica de uma forma que respeita o significado de Ludwig Wittgenstein, sentem que a harmonia é a chave.
# Pateros (Washington)

Coordenadas: 48° 3' 12" N 119° 54' 9" O
Pateros é uma cidade localizada no estado norte-americano de Washington, no Condado de Okanogan.

## Demografia

Segundo o censo norte-americano de 2000, a sua população era de 643 habitantes. Em 2006, foi estimada uma população de 621, um decréscimo de 22 (-3.4%).

## Geografia

De acordo com o United States Census Bureau tem uma área de 1,3 km², dos quais 1,3 km² cobertos por terra e 0,0 km² cobertos por água. Pateros localiza-se a aproximadamente 245 m acima do nível do mar.

## Localidades na vizinhança

O diagrama seguinte representa as localidades num raio de 36 km ao redor de Pateros.
# Saint-Victor-sur-Avre

Saint-Victor-sur-Avre é uma comuna francesa na região administrativa da Normandia, no departamento de Eure. Estende-se por uma área de 7 km². Em 2010 a comuna tinha 58 habitantes (densidade: 8,3 hab./km²).
# Anguila (ilha)

A ilha de Anguila é a maior ilha do arquipélago de Anguila. É nesta ilha que fica localizada a capital de Anguila, a cidade The Valley.

## Principais cidades

* Sandy Ground - 1 500 habitantes
* The Valley - 890 habitantes
# Grumman Kitten

O Grumman Kitten foi um avião monomotor e monoplano desenvolvido pela Grumman. Foram construídas duas versões; o G-63 Kitten I, com um trem de pouso de cauda retrátil e o G-72 Kitten II, com um trem de pouso do nariz retrátil.

## Desenvolvimento

Em 1943, como parte do plano do pós-guerra para a empresa, a Grumman começou a cogitar sua entrada no mercado de aeronaves leves. O primeiro projeto foi o G-63 Kitten I que foi uma aeronave com fuselagem de metal, de dois ou três lugares, monoplano, com um trem de pouso de cauda retrátil e equipado com um motor a pistão Lycoming O-290-A, boxer de 4 cilindros. A aeronave voou pela primeira vez em 18 de Março de 1944. Embora os testes continuassem, a aeronave não entrou em produção devido ao esforço de guerra contínuo. A asa original foi substituída por um plano principal canalizado para melhorar a ração de elevação/arrasto.
Em 04 de fevereiro de 1946 voou pela primeira vez o G-72 Kitten II, uma versão com trem de pouso do nariz retrátil e controles duplos. O Kitten II possuía melhorias nas asas e a uma cauda em H, embora logo após o voo sua configuração foi revertida a um único estabilizador.
Em 1947, o G-72 foi modificado para o teste de asa canalizado, recebendo a designação de G-81, que foi equipado com abas de fenda para induzir voo lento. Voou pela primeira vez em 11 de fevereiro de 1947, mas logo após isso o projeto foi abandonado.

## Variantes

* G-63 Kitten I: Protótipo com trem de pouso de reboque retrátil, um exemplar construído.
* G-72 Kitten II: Protótipo com trem de pouso do nariz retrátil e controles duplos, um exemplar construído.
* G-81: G-72 modificado para testes com asas canalizadas.

## Especificações (G-63 Kitten I)

Dados de Grumman G-63/72 Kitten.

### Características gerais

* Tripulação: 1 (piloto)
* Capacidade: 2/3 passageiros
* Comprimento: 6,06 m
* Envergadura: 9,75 m
* Altura: 1,76 m
* Área de asa: 12,08 m²
* Peso vazio: 519 kg
* Peso carregado: 862 kg
* Motorização: 1 × motor a pistão Lycoming O-290-A, boxer de 4 cilindros

### Atuação

* Velocidade máxima: 238 km/h

## Veja também

* Grumman Gulfstream I
* Grumman Gulfstream II
* Grumman Ag Cat
* Grumman G-73 Mallard
# Claudia Wallin

Claudia Varejão Wallin (Rio de Janeiro,) é uma jornalista brasileira radicada na Suécia, graduada em Jornalismo pela Universidade Federal do Rio de Janeiro e mestre em Estudos sobre a Rússia pela Universidade de Birmingham, trabalhou dez anos em Londres como diretora da International Herald Tribune TV, chefe do escritório de Jornalismo da TV Globo de Londres e produtora da seção brasileira da BBC World Service, após carreira no jornal O Globo do Rio de Janeiro. Colaboradora da Rede Bandeirantes, da BBC Brasil e correspondente da Rádio França Internacional em Estocolmo.
Autora do livro Um país sem excelências e mordomias, sobre a Suécia. Segundo Claudia Wallin, a Suécia, há menos de 100 anos, era um país pobre, mas habitado por um povo determinado que conseguiu sair da pobreza e do atraso com investimento em educação, ciência, tecnologia, justiça e projetos nacionais integrados. Segundo Claudia Wallin, é possível, com pequenos e grandes atos, resgatar uma cultura de respeito às regras, às leis e ao povo e melhorar as condições de vida para todos.
# Hoag

* Esta é uma página de desambiguação que lista os artigos que podem ser associados a um ou vários títulos. Se uma ligação interna o conduziu até aqui, sugerimos que a corrija para apontá-la diretamente ao artigo adequado.
* 3225 Hoag
* Objeto de Hoag
# Hard To Kill (2022)

Hard To Kill (2022) foi um evento pay-per-view (PPV) de luta livre profissional produzido pela Impact Wrestling. Aconteceu em 8 de janeiro de 2022 na The Bomb Factory em Dallas, Texas. Foi o terceiro evento da cronologia Hard To Kill.
Nove lutas foram disputadas no evento, com duas partidas disputadas no pré-show. No evento principal, Mickie James derrotou Deonna Purrazzo em um Texas Deathmatch para manter o Campeonato de Knockouts da Impact. Em outras lutas de destaque, Moose derrotou Matt Cardona e W. Morrissey em uma luta three-way para manter o Campeonato Mundial da Impact, Trey Miguel derrotou Steve Maclin para manter o Campeonato X Division da Impact, Jonathan Gresham derrotou Chris Sabin para manter o Campeonato Mundial da ROH e Josh Alexander derrotou Jonah.
O evento contou com aparições de vários talentos e pessoal notáveis ​​da Ring of Honor (ROH); incluindo Matt Taven, Rok-C e Vincent, e os retornos de Jonathan Gresham, Maria Kanellis, Mike Bennett e PCO. Hard to Kill também foi notável pela estreia de Tom Hannifan (anteriormente conhecido como Tom Phillips na WWE) como comentarista do Impact.

## Produção

No Bound for Glory, a Impact Wrestling anunciou que Hard To Kill aconteceria em 8 de janeiro de 2022 em Dallas, Texas. Em 3 de novembro, foi anunciado que o evento acontecerá na The Bomb Factory.

## Resultados

| Nº | Resultados | Estipulações | Tempo |
| Pré- show | Havok derrou Savannah Evans | Luta individual exibido em 11/01 no Impact Digital Exclusive. | 4:37 |
| Pré- show | Jake Something derrotou Madman Fulton | Luta individual | 5:25 |
| Pré- show | Mike Bailey derrotou Ace Austin, Chris Bey e Laredo Kid | Luta Fatal 4-Way | 8:10 |
| 1 | Tasha Steelz derrotou Alisha Edwards, Chelsea Green, Jordynne Grace, Lady Frost e Rosemary | Inaugural Knockouts Ultimate X match Vencedora ganha uma oportunidade pelo Campeonato de Knockouts. | 9:00 |
| 2 | Trey Miguel (c) derrotou Steve Maclin | Luta individual pelo Campeonato X Division Se Maclin perder, ele não pode mais disputar o título enquanto Trey Miguel for campeão. | 12:50 |
| 3 | Jonathan Gresham (c) derrotou Chris Sabin | Pure Rules match pelo Campeonato Mundial da ROH | 12:40 |
| 4 | Josh Alexander derrotou Jonah | Luta individual | 17:05 |
| 5 | Eddie Edwards, Rich Swann, Willie Mack, Heath e Rhino derrotaram The Good Brothers (Doc Gallows e Karl Anderson) e Violent By Design (Eric Young, Deaner e Joe Doering) | 10-man Hardcore War | 23:25 |
| 6 | Moose (c) derrotou Matt Cardona e W. Morrissey | Triple Threat match pelo Campeonato Mundial da Impact | 16:00 |
| 7 | Mickie James (c) derrotou Deonna Purrazzo | Texas Deathmatch pelo Campeonato de Knockouts da Impact Se Matthew Rehwoldt tivesse interferido durante a luta, Deonna Purrazzo teria sido desclassificada e Rehwoldt teria sido demitido. | 19:40 |
| (c) – Refere-se aos campeões antes da luta. ||||
# Parque industrial

Parque industrial ou zona industrial é um espaço territorial no qual se agrupam uma série de atividades industriais ou empresariais que podem ou não estar relacionadas entre si. Os parques industriais geralmente contêm uma série de serviços comuns, como por exemplo: abastecimento de energia eléctrica, abastecimento de água com diversos tipos de tratamento (potável, para caldeiras, para arrefecimento), serviço de vigilância, recepcionismo, tratamento de águas residuais, e modernos sistemas de transporte intermodais.

## Características

Os parques industriais são geralmente localizados fora das zonas residenciais de uma cidade. Normalmente, é oferecido, às zonas industriais, um bom acesso aos meios de transporte, incluindo transporte rodoviário, ferroviário e marítimo-fluvial. Os parques industriais são geralmente localizados perto de modernas instalações de transporte transporte intermodal, onde coincidem: rodovias, ferrovias, aeroportos e portos.
O conceito de parque industrial é bastante diverso, contudo é geralmente aceito que:
* Para ser capaz de se concentrar dedicada infraestrutura (engenharia, tecnologia e economia), uma área deve ser delimitada para redução dos custos advindos da montagem das estruturas industriais;
* Em sua infraestrutura, devem existir rodovias, ramais ferroviários, portos, suprimentos elétricos de alta potência (muitas vezes incluindo energia trifásica), cabos high-end comunicações, grande volume de água, e grande suprimento de gás;
* Deve ser capaz de atrair novos negócios, fornecendo uma infraestrutura integrada em um único local;
* Deve estar relativamente distante de áreas urbanas para tentar reduzir o impacto ambiental e social dos usos industriais;
* Deve ser elegível como um local de concentração industrial;
* Deve possuir rígido controle dos danos ambientais.
# Saint-Victor-sur-Ouche

Saint-Victor-sur-Ouche é uma comuna francesa na região administrativa da Borgonha-Franco-Condado, no departamento de Côte-d'Or. Estende-se por uma área de 13,06 km². Em 2010 a comuna tinha 317 habitantes (densidade: 24,3 hab./km²).
# Grumman S-2

Grumman S-2 Tracker (S2F antes de 1962) foi a primeira aeronave produzida para a guerra antissubmarina, construída para entrar em serviço para a Marinha dos Estados Unidos. Projetado e construído inicialmente pela Grumman, o Tracker segue um design convencional com dois motores, uma asa alta e um trem de pouso triciclo. O avião foi exportado para várias marinhas em todo o mundo. Introduzido em 1952, o Tracker ficou em serviço na marinha norte-americana até meados da década de 1970, com algumas aeronaves restantes em serviço com outras armas de ar para o século XXI. Argentina e Brasil foram os últimos países a usarem a aeronave.
# Claudia Wunderlich

Claudia Wunderlich (Halberstadt, 16 de fevereiro de 1956) é uma ex-handebolista alemã, medalhista olímpica.

## Carreira

Claudia Wunderlich fez parte da equipe alemã oriental do handebol feminino, medalha de bronze em Moscou 1980, com um total de 4 jogos e 4 gols.
# I Walk the Line

I Walk the Line é um disco de autoria de Johnny Cash lançado pela Columbia Records em maio de 1964. Metade de suas faixas foram novas performances de Cash, duas das quais, "Bad News" e " Understand Your Man ", viriam a se tornar top dez singles no Country. Esse álbum foi um dos que fizeram mais sucesso em toda sua discografia.
" I Walk the Line "," Folsom Prison blues "," Hey Porter "," Wreck of the Old '97 ", e " Big River " são regravações de canções que haviam sido lançadas como faixas do álbum ou singles antes da assinatura de Johnny com a Columbia. " I Still Miss Someone " é uma nova versão de uma canção que tinha aparecido no primeiro LP da Columbia, The Fabulous Johnny Cash.
# Hipercard

Hipercard é uma administradora de cartões de crédito brasileira com bandeira própria, sediada no Recife, Pernambuco, cujo controle pertence atualmente ao Itaú Unibanco.
A empresa tem atuação em todo o território brasileiro, destacadamente nas regiões Nordeste e Sul do país, onde tem uma participação significativa. Dados de 2016 apontavam uma participação de 3,7% do mercado de cartões de crédito no país.
Após mudança do controle acionário da rede Bompreço e Walmart em 2019, o cartão passou a ter novo layout e ampliou seu escopo de atuação, passando a ter duas versões: nacional, de bandeira própria, e internacional na bandeira Mastercard.

## História

O Hipercard foi criado em 1969 com o nome Cartão Fidelidade, com o objetivo principal de oferecer facilidade e segurança nos pagamentos com cheque de compras feitas nos supermercados Bompreço, no Recife.
Depois passou a ser utilizado, ainda nas lojas Bompreço, para a troca de cheques em horários fora do expediente bancário, para clientes da loja que possuíam seu cartão.
Em 1982, tornou-se um cartão private label, passando a oferecer crédito rotativo aos clientes, mudando o nome para Cartão Hiper.
A partir desse momento, outros lojistas do Recife passaram a apresentar interesse em sua utilização, e o cartão iniciou sua expansão, mudando o nome, em 1991, para o atual Hipercard, e atuando totalmente como um cartão de crédito a partir de 1993.
Esta expansão fez do Hipercard o único cartão de loja do Brasil aceito também por outros estabelecimentos comerciais como cartão de crédito.
Em 2004, quando da mudança de controle acionário do Bompreço para a rede Walmart, o Hipercard passou para o controle do Unibanco, mantendo a isenção de anuidade e tarifas como sua característica desde a criação, e continuando a ser o cartão de crédito oficial da rede Bompreço, estendendo-se também a toda a rede Walmart Brasil, inclusive aquelas redes adquiridas pelo mesmo, e em 2008 o Banco Itaú juntou-se com Unibanco, adquirindo o Hipercard.
Sua expansão continuou, e hoje é aceito em todo o Brasil. Após parceria com Redecard, expandiu sua aceitação em mais de 6.000 estabelecimentos.
Até maio de 2011, o cartão tinha contrato de exclusividade com a rede Walmart. Após isso, outras redes puderam aceitar a bandeira, sendo o Extra (lojas da região nordeste) o primeiro a fazê-lo.
Dados de 2011 apontavam 600 mil estabelecimentos credenciados a bandeira e mais de 13 milhões de cartões emitidos, com participação de mercado de 8%.
No fim de 2018, ainda com a administração do Bompreço pelo Walmart, a contratação de novos cartões Hipercard foi temporariamente desativada, estando disponível apenas a contratação do cartão Walmart Itaucard, que substituiu o produto durante aquele período.
Em novembro de 2019, com a mudança de controle acionário das lojas Walmart e Bompreço para o grupo Advent, o cartão voltou a ser comercializado, em novo layout e também com versão internacional na bandeira Mastercard.
# Hebron (Dacota do Norte)

Coordenadas: 46° 54' 6" N 102° 2' 37" O
Hebron é uma cidade localizada no estado norte-americano de Dacota do Norte, no Condado de Morton.

## Demografia

Segundo o censo norte-americano de 2000, a sua população era de 803 habitantes. Em 2006, foi estimada uma população de 749, um decréscimo de 54 (-6.7%).

## Geografia

De acordo com o United States Census Bureau tem uma área de 3,9 km², dos quais 3,9 km² cobertos por terra e 0,0 km² cobertos por água. Hebron localiza-se a aproximadamente 660 m acima do nível do mar.

## Localidades na vizinhança

O diagrama seguinte representa as localidades num raio de 40 km ao redor de Hebron.
# Parque fechado

Parque fechado (também conhecido como Parc fermé) é um local em competições automobilísticas para onde os veículos são encaminhados e recebem a vistoria técnica após cada etapa. Neste local, apenas os fiscais podem circular. Os mecânicos recebem autorização para retirada dos veículos após o término da vistoria, devendo permanecer o menor tempo possível no local.
# Saint-Victor-de-Réno

Saint-Victor-de-Réno foi uma comuna francesa na região administrativa da Normandia, no departamento Orne. Estendia-se por uma área de 12,11 km². Em 2010 a comuna tinha 202 habitantes (densidade: 16,7 hab./km²).
Em 1 de janeiro de 2016, passou a formar parte da nova comuna de Longny les Villages.
# Anillaco

Anillaco é uma localidade na Argentina, no departamento de Castro Barros, na província de La Rioja. Segundo o censo de 2001 tinha 1 365 habitantes e é conhecida principalmente por ser a localidade natal do ex-presidente Carlos Saúl Menem.
# Graham E. Bell

asteroides descobertos: 56 :
| 18055 Fernhildebrandt | 11 de outubro de 1999 |
| 19619 Bethbell | 16 de agosto de 1999 |
| 19630 Janebell | 2 de setembro de 1999 |
| 20673 Janelle | 3 de novembro de 1999 |
| 21651 Mission Valley | 19 de julho de 1999 |
| 22791 Twarog | 14 de junho de 1999 |
| (22821) 1999 RS33 | 2 de setembro de 1999 |
| 23989 Farpoint | 3 de setembro de 1999 |
| 24265 Banthonytwarog | 13 de dezembro de 1999 |
| 24305 Darrellparnell | 26 de dezembro de 1999 |
| 24308 Cowenco | 29 de dezembro de 1999 |
| 25594 Kessler | 29 de dezembro de 1999 |
| (25595) 1999 YD9 | 29 de dezembro de 1999 |
| (26436) 1999 YV4 | 28 de dezembro de 1999 |
| (38249) 1999 QJ2 | 24 de agosto de 1999 |
| (38604) 1999 YJ4 | 27 de dezembro de 1999 |
| (40331) 1999 MS1 | 17 de junho de 1999 |
| (40437) 1999 RU33 | 6 de setembro de 1999 |
| (40438) 1999 RV33 | 6 de setembro de 1999 |
| (41057) 1999 VU22 | 12 de novembro de 1999 |
| (42925) 1999 TC6 | 6 de outubro de 1999 |
| (43031) 1999 VY25 | 14 de novembro de 1999 |
| (45178) 1999 XW143 | 13 de dezembro de 1999 |
| (45253) 1999 YU4 | 28 de dezembro de 1999 |
| (45255) 1999 YK13 | 31 de dezembro de 1999 |
| (49300) 1998 VZ5 | 13 de novembro de 1998 |
| (49705) 1999 VC19 | 11 de novembro de 1999 |
| (49976) 1999 YR4 | 28 de dezembro de 1999 |
| (49977) 1999 YS4 | 28 de dezembro de 1999 |
| (59803) 1999 QH2 | 22 de agosto de 1999 |
| (59829) 1999 RZ32 | 7 de setembro de 1999 |
| (60268) 1999 XU38 | 6 de dezembro de 1999 |
| (74595) 1999 QP | 20 de agosto de 1999 |
| (75013) 1999 UJ4 | 29 de outubro de 1999 |
| (75071) 1999 VB19 | 11 de novembro de 1999 |
| (75076) 1999 VE22 | 12 de novembro de 1999 |
| (75551) 1999 YL4 | 27 de dezembro de 1999 |
| (85877) 1999 CD8 | 13 de fevereiro de 1999 |
| (91529) 1999 RL193 | 13 de setembro de 1999 |
| (91903) 1999 VA19 | 10 de novembro de 1999 |
| (101615) 1999 CD9 | 14 de fevereiro de 1999 |
| (102218) 1999 TA6 | 5 de outubro de 1999 |
| (102219) 1999 TB6 | 6 de outubro de 1999 |
| (102625) 1999 VX27 | 15 de novembro de 1999 |
| (121072) 1999 DP3 | 17 de fevereiro de 1999 |
| (121184) 1999 NH | 5 de julho de 1999 |
| (121764) 1999 YH13 | 31 de dezembro de 1999 |
| (137812) 1999 YU14 | 31 de dezembro de 1999 |
| (148186) 2000 BG | 16 de janeiro de 2000 |
| (181886) 1999 RP32 | 9 de setembro de 1999 |
| (185753) 1999 RM193 | 13 de setembro de 1999 |
| (192591) 1999 CE8 | 13 de fevereiro de 1999 |
| (231776) 1999 XM127 | 10 de dezembro de 1999 |
| (326317) 1999 VN23 | 13 de novembro de 1999 |
| (350344) 2012 UQ105 | 6 de novembro de 1999 |
| $^1$ com Gary Hug ||
Graham E. Bell é um astrônomo americano. Junto com Gary Hug, ele opera o Observatório Farpoint em Eskridge, Kansas, Estados Unidos.
Ele é um prolífico descobridor de asteroides, e co-descobridor do cometa 178P/Hug–Bell.
# Claudia Woods

Claudia Woods (São Paulo, 1974) é uma empresária brasileira. Formou-se em economia nos Estados Unidos e obteve seu mestrado em marketing pela Universidade Federal do Rio de Janeiro (UFRJ). A atual CEO da Uber no Brasil assumiu o cargo em fevereiro de 2019 e já ocupou posições de alto escalão trabalhando com plataformas digitais em diversas empresas ao longo de sua carreira, como na L'Oréal. Além disso, é muito reconhecida pelos seus trabalhos no Banco Original, instituição financeira conhecida por ser o primeiro banco brasileiro 100% digital, e na Webmotors, startup de venda de carros do Grupo Santander.

## Biografia

Claudia Woods nasceu em 1974 na cidade de São Paulo, no Brasil. Filha de uma professora brasileira e de um bancário norte-americano, morou no Brasil durante sua infância, mas passou sua juventude e o início de sua vida adulta nos Estados Unidos. Até aos 11 anos, morou no Rio de Janeiro, quando se mudou para os Estados Unidos por conta do trabalho de seu pai. No que diz respeito à sua trajetória acadêmica, Woods se formou em economia pela Bowdoin College no ano de 1997, nos Estados Unidos, tendo obtido seu mestrado em marketing pela Universidade Federal do Rio de Janeiro em 2005, e seu certificado em negócios pela Universidade de Harvard no ano de 2006.
Quanto à sua trajetória profissional, mesmo um ano antes de se formar ela foi contratada pela Kaiser Associates, empresa estadunidense de consultoria, chegando a ocupar o cargo de sênior em negócios na instituição, na qual trabalhou até 1999. Entre os anos 2000 e 2004, ocupou o cargo de gerente de marketing sênior na iBest. Entre dezembro de 2005 e agosto de 2010, Woods ocupou o cargo de gerente de marketing da Predicta, empresa voltada pra o mercado digital. Ainda no ano de 2010, Woods se tornou CMO da Clickon - site de compras coletivas - na América Latina, empresa na qual trabalhou por pouco mais de 1 ano. Em 2014, ocupou o cargo de diretora de Marketing e Negócios da Walmart Brasil até o final do ano, quando foi chamada para trabalhar no Banco Original. Durante dois anos, ela foi Superintendente Executiva de Canais e Marketing da instituição, onde participou do primeiro e bem-sucedido projeto de abertura de contas online no Brasil. Em fevereiro de 2017, passou a ser diretora do grupo. Em maio de 2018, Woods assumiu a posição de CEO na Webmotors, área do Grupo Santander voltada ao e-commerce de automóveis, na qual lançou o aplicativo pioneiro na área designado Autopago. Menos de um ano depois, em janeiro de 2019, Woods foi confirmada como CEO da Uber, função que assumiu um mês depois de sua confirmação. Na Uber, sua administração tem como marco o lançamento, em outubro de 2019, de um programa em parceria com a Rede Mulher Empreendedora denominado "Elas na Direção", que visa ao aumento do número de motoristas mulheres na plataforma.