Category opinião

A Origem da Verdade

Uma breve história da descoberta do valor da verdade e seu impacto na sociedade. Uma jornada marcada por tragédias que começa com uma execução.

Category filosofia

A Origem da Verdade

Uma breve história da descoberta do valor da verdade e seu impacto na sociedade. Uma jornada marcada por tragédias que começa com uma execução.

Category disciplina

Em Busca da Diagonalização de Cantor

Para colocar ordem na casa, a tradução de dois artigos de Georg Cantor sobre a não numerabilidade dos números reais.

Category Lógica

Category material de Aula

Category matemática

Category artigo

Os desafios da norma IEEE 754 na computação moderna

um estudo novo sobre uma das normas mais importantes e menos conhecidas de toda a ciência da computação.

Em Busca da Diagonalização de Cantor

Para colocar ordem na casa, a tradução de dois artigos de Georg Cantor sobre a não numerabilidade dos números reais.

Odisseia da Computação: a linguagem silenciosa do progresso

Pequena história da Computação.

Category História

Odisseia da Computação: a linguagem silenciosa do progresso

Pequena história da Computação.

Category Matemática

Como Ganhar na LotoFácil Usando Inteligência Artificial

Não. Você não vai ganhar na Lotofácil depois de ler este artigo. Porém, pode ser que aprenda alguma coisa sobre redes neurais. Este artigo usa uma versão simples de uma...

Os desafios da norma IEEE 754 na computação moderna

um estudo novo sobre uma das normas mais importantes e menos conhecidas de toda a ciência da computação.

Em Busca da Diagonalização de Cantor

Para colocar ordem na casa, a tradução de dois artigos de Georg Cantor sobre a não numerabilidade dos números reais.

C++ Here the Journey Begins

This document covers competitive programming in C++20, discussing both basic and advanced topics like control structures, algorithms, and data manipulation. It explores features such as `std::ranges::views` and parallel execution, offering...

Competitive Programming in C++ Insights - Introduction

Advanced optimization strategies for competitive programming in C++20 focus on using macros, lambdas, and templates to improve efficiency and minimize errors. Techniques like dynamic data manipulation and compile-time evaluation streamline...

Competitive Programming Primer

Sharpen your competitive programming skills with our 100 curated challenges, designed to enhance problem-solving, efficiency, and coding proficiency in C++ and Python.

A Little Introduction to Recursion

In this comprehensive guide on recursion, you will learn how this fundamental concept in computer science can be used to solve complex problems. Starting with simple examples of recursive functions...

Cálculo Lambda para Neófitos

Começamos com os fundamentos teóricos e seguimos para as aplicações práticas em linguagens de programação funcionais. Explicamos abstração, aplicação e recursão. Mostramos exemplos de currying e combinadores de ponto fixo....

Tabelas de Derivação (Análise) LL(1)

Definição, processo de funcionamento e outras informações necessárias ao entendimento do funcionamento de parsers LL(1)

First & Follow

Como construir os conjuntos First e Follow que irão permitir a criação da tabela de análise para o algoritmo de parser.

Parsers LL(1) o mundo obscuro da análise sintática

Definição, processo de funcionamento e outras informações necessárias ao entendimento do funcionamento de parsers LL(1)

A Fórmula da Atração: a Matemática do Eletromagnetismo

a matemática que suporta o entendimento dos fenômenos que explicam nosso universo.

Category Eletromagnetismo

A Fórmula da Atração: a Matemática do Eletromagnetismo

a matemática que suporta o entendimento dos fenômenos que explicam nosso universo.

Category Linguagens Formais

C++ Here the Journey Begins

This document covers competitive programming in C++20, discussing both basic and advanced topics like control structures, algorithms, and data manipulation. It explores features such as `std::ranges::views` and parallel execution, offering...

Competitive Programming in C++ Insights - Introduction

Advanced optimization strategies for competitive programming in C++20 focus on using macros, lambdas, and templates to improve efficiency and minimize errors. Techniques like dynamic data manipulation and compile-time evaluation streamline...

Competitive Programming Primer

Sharpen your competitive programming skills with our 100 curated challenges, designed to enhance problem-solving, efficiency, and coding proficiency in C++ and Python.

A Little Introduction to Recursion

In this comprehensive guide on recursion, you will learn how this fundamental concept in computer science can be used to solve complex problems. Starting with simple examples of recursive functions...

Cálculo Lambda para Neófitos

Começamos com os fundamentos teóricos e seguimos para as aplicações práticas em linguagens de programação funcionais. Explicamos abstração, aplicação e recursão. Mostramos exemplos de currying e combinadores de ponto fixo....

Tabelas de Derivação (Análise) LL(1)

Definição, processo de funcionamento e outras informações necessárias ao entendimento do funcionamento de parsers LL(1)

First & Follow

Como construir os conjuntos First e Follow que irão permitir a criação da tabela de análise para o algoritmo de parser.

Parsers LL(1) o mundo obscuro da análise sintática

Definição, processo de funcionamento e outras informações necessárias ao entendimento do funcionamento de parsers LL(1)

Category Lógica Matemática

A Little Introduction to Recursion

In this comprehensive guide on recursion, you will learn how this fundamental concept in computer science can be used to solve complex problems. Starting with simple examples of recursive functions...

Cálculo Lambda para Neófitos

Começamos com os fundamentos teóricos e seguimos para as aplicações práticas em linguagens de programação funcionais. Explicamos abstração, aplicação e recursão. Mostramos exemplos de currying e combinadores de ponto fixo....

Category Programação

C++ Here the Journey Begins

This document covers competitive programming in C++20, discussing both basic and advanced topics like control structures, algorithms, and data manipulation. It explores features such as `std::ranges::views` and parallel execution, offering...

Competitive Programming in C++ Insights - Introduction

Advanced optimization strategies for competitive programming in C++20 focus on using macros, lambdas, and templates to improve efficiency and minimize errors. Techniques like dynamic data manipulation and compile-time evaluation streamline...

Competitive Programming Primer

Sharpen your competitive programming skills with our 100 curated challenges, designed to enhance problem-solving, efficiency, and coding proficiency in C++ and Python.

Category computação

Os desafios da norma IEEE 754 na computação moderna

um estudo novo sobre uma das normas mais importantes e menos conhecidas de toda a ciência da computação.

Category Inteligência Artificial

Como Ganhar na LotoFácil Usando Inteligência Artificial

Não. Você não vai ganhar na Lotofácil depois de ler este artigo. Porém, pode ser que aprenda alguma coisa sobre redes neurais. Este artigo usa uma versão simples de uma...

Category Generative Adversarial Network

Como Ganhar na LotoFácil Usando Inteligência Artificial

Não. Você não vai ganhar na Lotofácil depois de ler este artigo. Porém, pode ser que aprenda alguma coisa sobre redes neurais. Este artigo usa uma versão simples de uma...