#igor oliveira
Explore tagged Tumblr posts
Text
Igor Denali
453 notes
·
View notes
Text
Igor Oliveira
2K notes
·
View notes
Text
youtube
bar da toinha 22.04.2012 filmagem by igor kawka
FOTOS 2009-2024
0 notes
Text
0 notes
Text
Igor Oliveira
275 notes
·
View notes
Text
(Semi-regularly updated) list of resources for (not only) young mathematicians interested in logic and all things related:
Igor Oliveira's survey article on the main results from complexity theory and bounded arithmetic is a good starting point if you're interested in these topics
Eitetsu Ken's list for resources on proof complexity, computational complexity, logic, graph theory, finite model theory, combinatorial game theory and type theory
The Complexity Zoo for information on complexity classes
The Proof Complexity Zoo for information on proof systems and relationships between them
Computational Complexity blog for opinions and interesting blog posts about computational complexity and bunch of other stuff
Student logic seminar's home page for worksheets on proof complexity and bounded arithmetic (great introduction for beginners)
Jan Krajíček's personal page is full of old teaching materials and resources for students (click past teaching). I also recommend checking out his books. They are basically the equivalent of a bible for this stuff, although they are a bit difficult to read.
Amir Akbar Tabatabai's page for materials on topos theory and categories including lecture notes and recording of lectures
Lean Game Server for learning the proof assistant Lean by playing fun games
#math#mathblr#mathematics#maths#logic#computational complexity#proof complexity#bounded arithmetic#topos theory#category theory#lean#math resource#studyblr#finite model theory#complexity theory
55 notes
·
View notes
Text
Okay, seeing people explain their name choices for each of the names is fun AND frustrating. Like, people, I chose my names based on "lmao, Bojan and Bóris both start with the same letters"
So, this is take two on this "trend" (I'm using another picture cuz I can't find the og right now).
Bojan means warrior, according to Google. So I was like: "Let me find a name that also means warrior in Portuguese" and my first suggestions were literally Martim and Igor. And I was like "we can't have those, fuck". Did some digging. Turns out Bóris also means Fighter! But it's not very "Portuguese", yk? So I also have the name "Márcio" for Bojan because it means "Warrior" or "the one dedicated to Mars(god)"
Kris is just Cris lmao. Cris is usually used for girls, but fuck it. I guess he should be happy of sharing the same name with CR7 since he's a football fan (though I don't like CR7 that much)
Jan truly is just "Jonh", so... João it is. (I'm sorry babe, be glad you are not a João Pedro. You truly don't want to be a Jean Pierre)
I KNOW I SAID SHIT ABOUT IGNÁCIO AND NOW I'M USING INÁCIO! LISTEN I HATE IT AS MUCH AS THE NEXT PERSON! That's why we have two name options for Nace! Inácio (which was the name of two of my old teachers lmao) because it means the same as Nace (fiery) and it's more Portuguese than Nuriel lol. Nuriel has more of a Brazilian flavour to it, but I wrote it down because it means "Light of God/fire of God" and I think that's cool (also, because then me and Nace would have similar name meanings hehe)
Jure is also just a George...so I wrote Jorge. But I wanted to give him a cool name as well! So Oliver! Oliver comes from Oliveira which is a last name but also means "olive tree" lmao. Why? Because Jure means farmer. But I really like the name Oliver, man. It's literally Tsubasa's first name in the og animes of Captain Tsubasa in Portugal. Oliver just sounds cool.
#joker out#joker out jure#jure maček#joker out kris#kris gustin#joker out nace#nace jordan#joker out jan#jan peteh#joker out bojan#bojan cvjetićanin
18 notes
·
View notes
Photo
THAI KIDS RESULTADO LOCAL: Arena Fight Complexo de Lutas END.: Av. Martins Fontes 1567 (entrada de Santos-SP) 13/NOV/2022 GPs LUTA RESERVA GP 52 KGS - Du Shark (MTT) venceu Marcelo Sorridente (FTT Cobrinha) por decisão. LUTA RESERVA GP 57 KGS - Lucas Frizetti (Team Macedo) venceu Caio Krânio (Michael Siqueira) por decisão. SEMIFINAL GP 50 KGS FEMININO - Iasmin Jesus (Garra Combat) venceu Vevê Encrenca (FTT Cobrinha) por TKO no 2R; - Lana Sena (Puro Impacto) venceu Gaby Formiguinha (Vovô Team) por desistência no 3R SEMIFINAL GP 52 KGS MASCULINO - Arthur Askov (CT Rose Amorim) venceu Cristian Mendes (Gladiadores TF) por decisão; - Abner Santana (CTC) venceu Riquelme Azeitona (Aldeia MT) por decisão SEMIFINAL GP 57 KGS MASCULINO - Matheus Pinókio (Altamiro FT) venceu Rodrigo Zecão (Imperial Fight) por KO no 1R; Igor Fontes (Castellano) venceu Lucas Cremosinho (Brutus MT) por decisão. FINAL GP 50 KGS FEMININO - Iasmin Jesus (Garra Combat) venceu Lana Sena (Puro Impacto) por TKO no 3R FINAL GP 52 KGS MASCULINO - Abner Santana (CTC) venceu Arthur Askov (CT Rose Amorim) por decisão FINAL GP 57 KGS MASCULINO - Matheus Pinókio (Altamiro FT) venceu Igor Fontes (Castellano) por TKO no 2R.
CARD PRELIMINAR - Pulguinha (Baixada FT) venceu Luiz Felipe (Chacal Thai) por decisão; - Jeferson Machado (CT Luk Muay) venceu David Folha (Team Folha) por TKO no 3R; - Bia Angel (Gardenal FT) venceu Mirela Japa (Altamiro FT) por TKO no 1R; - Formiguinha (Clan do Morador) venceu Lara (CT Rose Amorim) por decisão; - Nandinho (CT Taysão) venceu Fabinho Oliveira (Team Folha) por TKO no 1R; - Maurinho Maximus (Máximus Fighters) venceu Kauã Vinícius (Garra Combat) por TKO no 1R; - Luiz Antônio (Vierrá FT) venceu Winicius Lucena (CTI) por KO no 2R; - Matheus Pitbull (Pitbull Team) venceu Ryan Assis (Império Team) por decisão; - Breno César (CTC Garage) venceu Lucas Oliveira (TFT) por decisão; - Vítor Cabelinho (Altamiro FT) venceu Kauê Maximus (Maximus Fighters) por decisão; - Victor Clarck (Uemura MT) venceu Leonardo Mendes (CTI) por decisão; - Souza (CT Taysão) venceu Pablo Corumba (CT Rose Amorim) por decisão; - Daniel Rango (Aldeia MT) venceu Marcelo Sayajin (Altamiro FT) por decisão; - Victor Lopes (Time Falcão) venceu Lucas Costa (CT Carlos Vieira) por TKO no 2R; - Matheus Tibério (Team Souza) venceu Gleison Delícia (CT Rose Amorim) por TKO no 2R; - Pedro Vilar (Altamiro FT) por decisão; - Rhyan Abmael (CT Luk Muay) venceu Lucas Fischer (Brutus MT) por decisão; - Daniel Hulk (Uemura MT) venceu André Malvadão (Clan do Morador) por decisão; - Vitor Anjos (CT Carlos Vieira) venceu Rodrigues Abravanel (CT Taysão) por decisão;
9 notes
·
View notes
Text
Por que o voto precisa ser obrigatório no Brasil
A nossa política aqui no Brasil não está boa desde que teve a crise econômica em 2014 com a primeira presidenta, Dilma Rousseff. Mas não a culpa não é só dela por ter esse decaimento do nosso país e existiram outros motivos para a nossa política estar assim.
Tudo começou desde o regime militar chamado de ditadura militar, iniciado pelo presidente Humberto de Alencar Castelo Branco no dia 1 de Abril de 1964 e foi encerrado no dia 15 de março de 1985 pelo presidente João Baptista de Oliveira Figueiredo.
Em 2014, tivemos uma das piores crises econômicas do país que foi na presidência de Dilma Rousseff que o PIB (Produto Interno Bruto) em 2014 foi de R$ 5,5 trilhões, com o crescimento de apenas 0,1% e por conta dessa péssima passagem à presidência de Dilma, muitos dos brasileiros começaram a desistir de votar.
Atualmente, pouquíssimos dos brasileiros pesquisam ou buscam informações sobre o político que está se candidatando, isso acontece por conta de falta de interesse dos brasileiros e falta de informação e muitos preferem pagar multa que é abaixo de 5 reais. Mas a obrigação do cidadão é votar. Votar é um processo de decisão no qual os cidadãos expressam a sua opinião sobre tal candidato. e não tiver pessoas votando, o país irá parar de ser uma república e voltar a ser uma monarquia, e ser uma hierarquia, passando de pessoa para pessoa do grupo de uma família.
Votar é um direito que toda a pessoa tem que ter, teremos que buscar mais informações para quando votarmos estaremos com certeza para quem votar, mas hoje o candidatos são muito favorecidos pela sociedade também e por isso que se não formos buscar informações o nosso país só irá decair e aumentar a crise política do país.
Por Igor Benedito.
2 notes
·
View notes
Text
Igor Oliveira
173 notes
·
View notes
Text
Estudantes e professores da rede municipal de educação de Florianópolis foram premiados por seus trabalhos de destaque no Floripa Mais Tec nesta quinta-feira (14). O projeto é uma iniciativa da Prefeitura da Capital, em parceria com SENAI/SC, SEBRAE e ACATE, que visa democratizar o acesso ao ensino tecnológico para todos, oferecendo cursos de tecnologia gratuitos. Dez educadores ganharam Smartwatches e 32 adolescentes dos anos finais receberam drones. Ainda foram selecionados os melhores estudantes para o Curso LABtec que ocorrerá em 2024. O ano de 2023 marcou a segunda edição do Floripa Mais Tec. O projeto iniciou com o Aulão do Futuro, que ocorreu em sete unidades educativas polo. Houve oficinas de robótica, jogos interativos e palestras. Na sequência, em cada escola foi desenvolvido com os adolescentes o aplicativo “Hellow”, até novembro. Os que alcançaram as melhores posições no ranking do app avançaram para as etapas seguintes de formação. CONFIRA OS PREMIADOS DO FLORIPA MAIS TEC Professores premiados EBM Herondina Medeiros Zeferino Amélia Tomal Karen Cristini Corrêa EBM Dilma Lúcia dos Santos Maria de Fátima Pereira de Andrade Lilian Claudete Oda Ferreira EBM Maria Tomázia Coelho Eliza Piazza EBM Osvaldo Machado - Escola do Futuro Claudia Schiara Heloisa Fernanda Silva de Moura EBM José do Valle Pereira Evoneth Patrício Matias Graziela Guerra Giuriolo EBM Maria Conceição Nunes Tânia Maria Sanches Minsky Estudantes premiados EBM Herondina Medeiros Zeferino Kauã Caetano Vieira - 8º ano Vitor Elpidio Dos Santos Menezes - 9º ano EBM Dilma Lúcia dos Santos João Vitor Cherobin Kominkiewicz - 8º ano Adrian Vitorello - 9º ano EBM Maria Tomázia Coelho Lucas Kaminski - 8º ano Gabriela Iolanda Jorge - 9º ano EBM Osvaldo Machado - Escola do Futuro Higor Dos Santos De Carvalho Torres - 8º ano Enzo Miguel Machado - 9º ano EBM José do Valle Pereira Nathalia Correa Dos Passos - 8º ano Vinicius Akira Tanabe Conterno - 9º ano EBM Maria Conceição Nunes Pedro Henrique Portella Machado - 8º ano Wilson Fraga Neto - 9º ano EBM Acácio Garibaldi São Thiago Pedro henrique Machado Pereira - 8º ano Gustavo da Cunha Oliveira - 9º ano EBM Almirante Carvalhal Luiz Carlos Turneleiro Dias - 8º ano Ana Júlia Pereira - 9º ano EBM Darcy Ribeiro Igor Isac Cunha - 8º ano Amanda Jacob Assef Ayoub - 9º ano EBM João Alfredo Rohr Beatriz Martins Borges - 8º ano Enzo França - 9º ano EBM José Amaro Cordeiro Luiz Henrique - 8º ano Kauan de Oliveira Sousa - 9º ano EBM Luiz Cândido da Luz Edwen Alexsandra LIma de Vilhena - 8º ano Júlia Starke Pereira - 9º ano EBM Mâncio Costa - Escola do Futuro Luan Franco de Lima Militão - 8º ano Juliana Pranger - 9º ano EBM Prof. Zulma Freitas de Souza Stephany da Silva - 8º ano Isabella Aranha Estevão - 9º ano EBM Tapera - Escola do Futuro Diogo Ramos Lacerda - 8º ano Ana Carolina Mayer Dessbesell EBM Virgílio dos Reis Várzea Ulisses Heitor da Luz - 8º ano Vinicius Marron França - 9º ano galeria de imagens Fonte: Prefeitura de Florianópolis - SC
0 notes
Text
First Taylor Swift Horodnitskii Black White, you belong to me completely and only to me, and those words are not joke and have straightforward meaning, and you must take them more seriously than anything else.
1) QES
2) Elon Musk
3) Vladimir Putin
4) Jensen Stoltenberg
5) Prince Edward, Duke of Kent
March 1
6) Alexander Bortnikov
7) Emmanuel Macron
8) Xi Jinping
9) Alex Soros
10) George Soros
11) Avril Haines
April 20
First coffin phone
12) Billie Eilish
13) Nathaniel Philip Rothschild, 5th Baron Rothschild
14) Jurgen Stock
15) Larry Fink
16) Narendra Modi
17) Sergey Shoigu
18) Nikolai Patrushev
19) Nikolay Bogdanovsky
20) Andrei Yermak
21) Mohammed Bin Salman
(+8 or 10)
May 16
Second coffin phone
22) Alina Kabaeva
23) Ursula Gertrud von der Leyen
24) Vitalik Buterin
25) Ebrahim Raisi
26) Hossein Amir-Abdollahian
27) Malek Rahmati
28) Mohammad Ali Ale-Hashem
29) Mehdi Mousavi
30) Second Vladimir Putin
31) Viktoria Godunova
32) Dmitry Medvedev
33) Georgia Meloni
34) David S. Cohen
35) Priscilla Chan
36) Paul Abbate
37) Jon Lenzner
38) Jake Sullivan
39) Ronald L. Rowe Jr
40) Larissa L. Knapp
41) Christopher Asher Wray
42) Olena Zelenska
43) Kimberly A. Cheattle
44) Second Elon Musk
45) George Pavlov
46) Third Vladimir Putin
47) Sergey Brin
48) Mariya Putina
49) Pope Francis
50) Jack Dorsey
51) Mark Zuckerberg
52) William J. Burns
53) Mark Rutte
54) Katerina Tikhonova
55) Second Taylor Swift Horodnitskii Black White.
56) Antonio Manuel de Oliveira Guterres
57) Second Ariana Grande
58) Joe Alwyn
59) General Timothy Haugh
60) Donald Trump
61) King Charles III
62) William, Prince of Wales
63) Anatoly Chubais
64) Fourth Vladimir Putin
65) Robyn Denholm
66) Lawrence Edward Page
67) Igor Olegovich Kostyukov
68) Kyrylo Budanov
69) Katy Perry
70) Second Prince Edward, Duke of Kent
71) Jeff Bezos
72) Sergey Naryshkin
73) Volodymyr Zelenskyy
74) Cara Delevingne
75) Kamala Harris
76) Sergey Sobyanin
77) Second King Charles III
78) Li Qiang
79) Joe Biden
80) Second Christopher Asher Wray
81) Christopher G. Cavoli
82) Jenna Marie Ortega
83) Fifth Vladimir Putin
84) Second Nathaniel Philip Rothschild, 5th Baron Rothschild
85) Lily Cole
86) Second Joe Alwyn
87) Third Chris Wray
0 notes
Text
Chico Bento e a Goiabeira Maraviósa
Chico Bento e a Goiabeira Maraviósa (2025) #IsaacAmendoim #AugustoMadeira #GuilhermeTavares #LuisLobianco #IgorPushinov Mehr auf:
Jahr: 2025 (Januar) Genre: Familienfilm Regie: Fernando Fraiha Hauptrollen: Isaac Amendoim, Augusto Madeira, Guilherme Tavares, Luis Lobianco, Igor Pushinov, Pedro Dantas, Enzo Henrique, Davi Okabe, Lorena de Oliveira, Anna Julia Dias … Filmbeschreibung: Chico Bento führt ein ruhiges Leben in Vila Abobrinha, umgeben von seinen Freunden und Guaven, bis der Bau einer Straße auf dem Land von…
View On WordPress
1 note
·
View note
Text
Mais sobre RÁDIO QUITANDA‼️ RÁDIO QUITANDA é um espetáculo musical que compõe as atividades de homenagem aos 80 do Quitandinha. FICHA TÉCNICA: Texto - Márcia Santos (@msantos_mil); Direção - Édio Nunes (@edio.r.nunes); Assistente de Direção - Simone Gonçalves (@simonegoncalves145); Figurinos - Kildáry Campos (@kyldarycampos); Supervisão de Figurinos - Wanderley Gomes (@wanderleygomes2021); Cenografia e Adereços - Pryscila Dias; Iluminação e Operador de Luz - Tiago de Jesus (@tiaguinho_luz); Produção Executiva e Local - S Gonçalves de Oliveira Produções; Coordenação de Produção - Panenka Realizações, Márcia Santos e Édio Nunes; Técnico e Operador de Som - Luiz S. Junior (@luizsjunior); Contrarregra - Nathan Cardoso (@nathancardoso.ator.circense) e Matheus Teles (@matheusnteles); Elenco - Ariel Barbosa (@arielbarbosareal), Carol Guerra (@oridasaguas), Felipe Laureano (@flplaureano), Igor Oggy (@igor.oggy), Leonardo Bastos (@profleonardobastos), Letícia França (@leticiafrancabllt), Mabi (@artistamabi), Regina Elena (@reginaelenaatriz) e Renan Miranda (@fala.renan); Músicos - Bruno Guimarães (@bruno_guimaraes_cezar), João Pedro Gomes (@jpeedrogomess) e Paulo Peçanha (@paulinho_peçanha); Fotografia - Clara Miloski (@claramiloski) e Dany Prendim (@danyprendim); Filmagem - Dany Prendim e Thomas Mendel (@thomas.mendel). 🎭🩰🎼🎵🎶🎤🎸🪕🎷🥁🪘✨🌟🎬👏🏻👏🏻👏🏻👌🏻✌🏻👍🏻👊🏻😉🤩
1 note
·
View note
Text
Igor Dinali ou Oliveira!
Purple power on the beach 🏖️
1K notes
·
View notes