Prof. Adriano Barbosa

cálculo 1 - eng. de alimentos

2026-02-20T00:00:00-04:00

listas

Lista 01
Lista 02
Lista 03
Lista 04
Lista 05

provas

em breve...

avaliação

Serão realizadas duas avaliações escritas (P1 e P2), que poderão ser complementadas com avaliações orais, cuja média de aproveitamento (MA) será obtida da seguinte maneira:

MA = (P1 + P2) / 2.

Haverá uma avaliação substitutiva (PS) a qual substituirá a menor nota entre todas as avaliações escritas realizadas, caso a nota da PS seja maior. A prova substitutiva versará sobre o conteúdo da menor nota. Após as avaliações P1, P2 e PS, o acadêmico que obtiver MA maior ou igual a 6,0 (seis) e frequência de, no mínimo, 75% estará aprovado.

Será ofertado o exame final ao acadêmico que obtiver MA maior do que ou igual a 4,0 (quatro) e inferior a 6,0 (seis) e frequência de, no mínimo, 75%. Será considerado aprovado o acadêmico que obtiver nota do exame maior do que ou igual a 6,0 (seis).

As avaliações estão previstas para as datas abaixo:

P1 - 15/04/2026
P2 - 17/06/2026
PS - 24/06/2026
Exame - 01/07/2026

ementa

Números Reais, Funções Reais de uma Variável. Limite e Continuidade. Cálculo Diferencial. Cálculo Integral. Aplicações.

bibliografia:

STEWART, James. Cálculo. São Paulo: Cengage Learning, 2014. v.1.
ANTON, Howard; DAVIS, Stephen; BIVENS, Irl. Cálculo. 10. ed. Porto Alegre, RS: Bookman, 2014. v.1.
WEIR, Maurice D.; THOMAS, Joel Hass George B. Cálculo. Vol 1. 12º edição. São Paulo: Pearson Makron Boocks.
GUIDORIZZI, H. L. Um Curso de Cálculo. Vol. 1. 5ª ed. Rio de Janeiro: LTC, 2001.
ÁVILA, Geraldo. Cálculo 1: funções de uma variável, editora LTC.

plano de ensino

As informações acima constam no plano de ensino do curso.

cálculo 2 - química

2026-02-20T00:00:00-04:00

listas

Lista 01
Lista 02
Lista 03
Lista 04
Lista 05

aulas

Aula 13/03/2026

provas

em breve...

avaliação

Serão realizadas duas avaliações escritas (P1 e P2), que poderão ser complementadas com avaliações orais, cuja média de aproveitamento (MA) será obtida da seguinte maneira:

MA = (P1 + P2) / 2.

As avaliações estão previstas para as datas abaixo:

P1 - 24/04/2026
P2 - 16/06/2026
PS - 26/06/2026
Exame - 03/07/2026

ementa

Antiderivadas e a Integral Indefinida. Tabela Sumária de Integrais Indefinidas. Notação de Somação e Área. Definição de Integral Definida. Propriedades da Integral definida. Teorema Fundamental do Cálculo. Técnicas de Integração: Método de Substituição ou mudança de variáveis. Integração por partes. Integração de Funções Racionais por Frações Parciais. Integrais que envolvem produtos e potências de funções trigonométricas. Substituição trigonométrica. Aplicações da Integral Definida: Cálculo de Áreas, Volume de Sólidos de Revolução, Trabalho e Pressão de fluidos. Integrais Impróprias.

bibliografia:

STEWART, James. Cálculo. São Paulo: Cengage Learning, 2014. v.1.
STEWART, James. Cálculo. 7. ed. São Paulo, SP: Cengage Learning, 2013. v.2.
ANTON, Howard; DAVIS, Stephen; BIVENS, Irl. Cálculo. 10. ed. Porto Alegre, RS: Bookman, 2014. v.1.
ANTON, Howard; DAVIS, Stephen; BIVENS, Irl. Cálculo . 8. ed. Porto Alegre, RS: Bookman, 2007. v.2.
BOYCE, W.E.; DI PRIMA, R.C. Equações Diferenciais Elementares e Problemas de Valores de Contorno. 8a ed. Rio de Janeiro. LTC. 2006.
AVILA, G. Calculo. Rio de Janeiro: LTC, 2007
HOFFMANN, L. D; BRADLEY, G. L. Calculo. Rio de Janeiro: LTC, 2002.

plano de ensino

As informações acima constam no plano de ensino do curso.

OpenBSD Proxmox template with QEMU Guest Agent

2025-10-23T08:40:00-04:00

Complete the install process and before reboot open a shell. You should have the installed system mounted at /mnt. Use ed to edit the files below.

# ed /mnt/etc/rc.firsttime
485
1
/usr/sbin/fw_update
a
/usr/sbin/pkg_add qemu-ga
.
wq

# ed /mnt/etc/rc.conf.local
/mnt/etc/rc.conf.local: No such file or directory
a
qemu_ga_flags=-t /var/run/qemu-ga -f /var/run/qemu-ga/qemu-ga.pid -m isa-serial -p /dev/cua00
pkg_scripts=qemu_ga
.
wq

This will make OpenBSD install qemu-ga package on the first boot and start the daemon on every boot with the flags recommanded by the package readme file. Exit the shell and turn off the vm.

Change the Guest Agent configuration at Proxmox (Options->QEMU Guest Agent->Advanced on the web interface) to type ISA. It is equivalent to set following line in the vm configuration file:

agent: 1,type=isa

Convert the vm to template and it is done.

Source:
1. https://cvsweb.openbsd.org/cgi-bin/cvsweb/ports/emulators/qemu/pkg/README-ga?rev=1.1&content-type=text/x-cvsweb-markup
2. https://undeadly.org/cgi?action=article;sid=20200514073852

produção de textos acadêmicos com LaTeX

2025-09-11T00:00:00-04:00

listas

Aula 01
Aula 02
Aula 03 Exercício
Aula 04

modelos em latex

Explore os modelos prontos para facilitar a criação de documentos em LaTeX. Estes são adequações em LaTeX de modelos preexistentes disponibilizados pela UFGD.

Relatório PIBIC
Slides UFGD 20 anos
Slides XI ENEPEX
Pôster XI ENEPEX

cálculo 1 - química

2025-07-28T00:00:00-04:00

listas

Lista 00
Lista 01
Lista 02
Lista 03
Lista 04
Lista 05
Lista 06
Lista 07
Lista 08
Lista 09
Lista 10
Lista 11

monitoria

Segundas-feiras das 11h às 12h
Terças-feiras das 13h às 15h
Quintas-feiras das 13h às 14h
Laborário Chateubriand na FACET

provas

Avaliação P1
Avaliação P2

avaliação

Serão realizadas duas avaliações escritas (P1 e P2), que poderão ser complementadas com avaliações orais, cuja média de aproveitamento (MA) será obtida da seguinte maneira:

MA = (P1 + P2) / 2.

As avaliações estão previstas para as datas abaixo:

P1 - ~~18/09/2025~~ 25/09/2025
P2 - 27/11/2025
PS - 04/12/2025
Exame - 11/12/2025

ementa

Limites de funções reais de uma variável real: conceito intuitivo. Definição de limite. Propriedades. Técnicas para a determinação de limites. Limites laterais, fundamentais, infinitos, no infinito e contínuas. Reta normal, tangentes e taxas de variação (velocidade e aceleração). Definição de derivada. Regras de derivação. Derivadas de função exponenciais, logarítmicas e trigonométricas. Diferenciação implícita. Derivada da função inversa e sucessivas. Incremento e diferencial.

bibliografia:

STEWART, James. Cálculo. São Paulo: Cengage Learning, 2014. v.1
THOMAS, George Brinton; HASS, Joel; WEIR, Maurice D; GIORDANO, Frank R. Cálculo. 12. ed. São Paulo, SP: Pearson Education do Brasil,
v.1.
ANTON, Howard; DAVIS, Stephen; BIVENS, Irl. Cálculo. 10. ed. Porto Alegre, RS: Bookman, 2014. v.1.
FLEMMING, D.M.; GONÇALVES, M.B. Cálculo A: funções, limite, derivação e integração. 6a ed. São Paulo: Pearson Prentice Hall, 2007.
LEITHOLD, L.O Cálculo com Geometria Analítica, Vol 1. Editora Harbra.
ÁVILA, GERALDO. Cálculo 1: funções de uma variável, editora LTC.
GUIDORIZZI, Hamilton Luiz. Um curso de cálculo. 2. ed. Rio de Janeiro, RJ: LTC, 1993. v.1.

plano de ensino

As informações acima constam no plano de ensino do curso.

cálculo 2 - eng. de produção

2025-07-28T00:00:00-04:00

listas

Lista 00
Lista 01
Lista 02
Lista 03
Lista 04
Lista 05
Lista 06
Lista 07
Lista 08

monitoria

Segundas-feiras das 7h20 às 8h10
Sextas-feiras das 9h15 às 10h55
Sala D-252

provas

Avaliação P1
Avaliação P2

avaliação

Serão realizadas duas avaliações escritas (P1 e P2), que poderão ser complementadas com avaliações orais, cuja média de aproveitamento (MA) será obtida da seguinte maneira:

MA = (P1 + P2) / 2.

As avaliações estão previstas para as datas abaixo:

P1 - ~~18/09/2025~~ 23/09/2025
P2 - 27/11/2025
PS - 04/12/2025
Exame - 11/12/2025

ementa

Técnicas de Integração. Integrais impróprias. Sequências e séries infinitas. Fórmula de Taylor. Série de potências. Equações diferenciais de 1ª ordem e aplicações. Equações diferenciais lineares. Equações diferenciais lineares de 2ª ordem e aplicações.

bibliografia:

STEWART, James. Cálculo. São Paulo: Cengage Learning, 2014. v.1.
STEWART, James. Cálculo. 7. ed. São Paulo, SP: Cengage Learning, 2013. v.2.
ANTON, Howard; DAVIS, Stephen; BIVENS, Irl. Cálculo. 10. ed. Porto Alegre, RS: Bookman, 2014. v.1.
ANTON, Howard; DAVIS, Stephen; BIVENS, Irl. Cálculo . 8. ed. Porto Alegre, RS: Bookman, 2007. v.2.
BOYCE, W.E.; DI PRIMA, R.C. Equações Diferenciais Elementares e Problemas de Valores de Contorno. 8a ed. Rio de Janeiro. LTC. 2006.
AVILA, G. Calculo. Rio de Janeiro: LTC, 2007
HOFFMANN, L. D; BRADLEY, G. L. Calculo. Rio de Janeiro: LTC, 2002.

plano de ensino

As informações acima constam no plano de ensino do curso.

WireGuard peer as exit node on OpenBSD

2025-02-17T17:48:00-04:00

the problem

My new ISP implements CGNAT, and I can't connect to the VPN in my homelab anymore. I could use a VPS as my endpoint (which I did), but since it's public IP belongs to a cloud provider, some sites and services limit or block access to traffic coming from it.

The solution is use this VPS as a common endpoint for my mobile devices and my homelab, and route the traffic though it while using the homelab connection as the exit node. This way, all traffic will be recognized as originating from my ISP at home.

setup the endpoint (VPS with OpenBSD)

Enable IP forwarding

# sysctl net.inet.ip.forwarding=1
# echo "net.inet.ip.forwarding=1" >> /etc/sysctl.conf

Generate the private and public keys

# openssl rand -base64 32
<<SERVER_PRIVATE_KEY>>
# ifconfig wg0 wgkey <<SERVER_PRIVATE_KEY>>
# ifconfig wg0 | grep wgpubkey
    wgpubkey <<SERVER_PUBLIC_KEY>>

Create /etc/hostname.wg0 file

# cat <<EOF > /etc/hostname.wg0
wgkey <<SERVER_PRIVATE_KEY>>
inet 192.168.1.1/24
wgport 51820
up
EOF

setup the homelab (OpenBSD)

Enable IP forwarding

# sysctl net.inet.ip.forwarding=1
# echo "net.inet.ip.forwarding=1" >> /etc/sysctl.conf

Generate the private and public keys

# openssl rand -base64 32
<<HOMELAB_PRIVATE_KEY>>
# ifconfig wg0 wgkey <<HOMELAB_PRIVATE_KEY>>
# ifconfig wg0 | grep wgpubkey
    wgpubkey <<HOMELAB_PUBLIC_KEY>>

Create /etc/hostname.wg0 file

# cat <<EOF > /etc/hostname.wg0
wgkey <<HOMELAB_PRIVATE_KEY>>
wgpeer <<SERVER_PUBLIC_KEY>> wgendpoint <<SERVER_PUBLIC_IP>> 51820 wgaip 0.0.0.0/0 wgpka 20
inet 192.168.1.2/24
up
EOF

setup the mobile device

OpenBSD client

Generate the private and public keys

# openssl rand -base64 32
<<OPENBSD_PRIVATE_KEY>>
# ifconfig wg0 wgkey <<OPENBSD_PRIVATE_KEY>>
# ifconfig wg0 | grep wgpubkey
    wgpubkey <<OPENBSD_PUBLIC_KEY>>

Create /etc/hostname.wg0 file

# cat <<EOF > /etc/hostname.wg0
wgkey <<OPENBSD_PRIVATE_KEY>>
wgpeer <<SERVER_PUBLIC_KEY>> wgendpoint <<SERVER_PUBLIC_IP>> 51820 wgaip 0.0.0.0/0 wgpka 20
inet 192.168.1.3/24
up
EOF

iOS, Android and WireGuard client

Write the config file wg0.conf

[Interface]
PrivateKey = <<CLIENT_PRIVATE_KEY>>
Address = 192.168.1.4/32
DNS = 9.9.9.9

[Peer]
PublicKey = <<SERVER_PUBLIC_KEY>>
AllowedIPs = 0.0.0.0/0
Endpoint = <<SERVER_PUBLIC_IP>>:51820
PersistentKeepalive = 20

For iOS and Android, generate a QR code from this file and use the camera to setup the client on the phone

# qrencode -t ansiutf8 < wg0.conf

For wg-quick client, run

# wg-quick up ./wg0.conf

Don't forget to change the Address = 192.168.1.4/32 with the correct IP address if you are running multiple clients.

back to the VPS

Edit /etc/hostname.wg0 to add the peers (clients)

wgkey <<SERVER_PRIVATE_KEY>>
wgpeer <<HOMELAB_PUBLIC_KEY>> wgaip 0.0.0.0/0 wgpka 20 wgdescr "homelab"
wgpeer <<OPENBSD_PUBLIC_KEY>> wgaip 192.168.1.3/32 wgpka 20 wgdescr "openbsd" 
wgpeer <<CLIENT1_PUBLIC_KEY>> wgaip 192.168.1.4/32 wgpka 20 wgdescr "client1"
inet 192.168.1.1/24
wgport 51820
up

Notice the wpaip 0.0.0.0/0 for the homelab as it will act as our exit node.

Recreate the wg0 interface

# sh /etc/netstart wg0

You should be able to ping between peers.

routing

To use the homelab as the exit node, edit /etc/pf.conf, add the line, and reload pf rules

# cat << EOF >> /etc/pf.conf
pass out quick on egress from (wg0:network) to any nat-to (egress)
EOF
# pfctl -f /etc/pf.conf

And the following on the VPS

# cat << EOF >> /etc/pf.conf
pass out quick on egress from (wg0:network) to any route-to <<HOMELAB_WG_IP>>
EOF
# pfctl -f /etc/pf.conf

Source:
https://superuser.com/questions/1852447/wireguard-peer-and-not-server-as-exit-node
https://unix.stackexchange.com/questions/519869/how-does-route-to-work-in-the-bsd-pf-firewall

cálculo 2 - química

2025-02-11T00:00:00-04:00

listas

Lista 01
Lista 02
Lista 03
Lista 04
Lista 05
Lista 06
Lista 07
Lista 08

provas

Avaliação P1
Avaliação P2

avaliação

Serão realizadas duas avaliações escritas (P1 e P2), que poderão ser complementadas com avaliações orais, cuja média de aproveitamento (MA) será obtida da seguinte maneira:

MA = (P1 + P2) / 2.

As avaliações estão previstas para as datas abaixo:

P1 - 09/04/2025
P2 - 18/06/2025
PS - 27/06/2025
Exame - 04/07/2025

ementa

bibliografia:

STEWART, James. Cálculo. São Paulo: Cengage Learning, 2014. v.1.
STEWART, James. Cálculo. 7. ed. São Paulo, SP: Cengage Learning, 2013. v.2.
ANTON, Howard; DAVIS, Stephen; BIVENS, Irl. Cálculo. 10. ed. Porto Alegre, RS: Bookman, 2014. v.1.
ANTON, Howard; DAVIS, Stephen; BIVENS, Irl. Cálculo . 8. ed. Porto Alegre, RS: Bookman, 2007. v.2.
BOYCE, W.E.; DI PRIMA, R.C. Equações Diferenciais Elementares e Problemas de Valores de Contorno. 8a ed. Rio de Janeiro. LTC. 2006.
AVILA, G. Calculo. Rio de Janeiro: LTC, 2007
HOFFMANN, L. D; BRADLEY, G. L. Calculo. Rio de Janeiro: LTC, 2002.

plano de ensino

As informações acima constam no plano de ensino do curso.

introdução ao cálculo - zootecnia

2025-02-11T00:00:00-04:00

listas

Lista 0.1
Lista 0.2
Lista 0.3
Lista 0.4
Lista 01
Lista 01.1
Lista 02
Lista 02.1
Lista 03
Lista 04
Lista 05

material

Conjuntos numéricos parte 1
Conjuntos numéricos parte 2
Conjuntos numéricos parte 3
Equações
Inequações
Função afim
Função quadrática

provas

Avaliação P1
Avaliação P2

avaliação

Serão realizadas duas avaliações escritas (P1 e P2), que poderão ser complementadas com avaliações orais, cuja média de aproveitamento (MA) será obtida da seguinte maneira:

MA = (P1 + P2) / 2.

As avaliações estão previstas para as datas abaixo:

P1 - 10/04/2025
P2 - 13/06/2025
PS - 27/06/2025
Exame - 04/07/2025

ementa

Números reais, notação científica e cálculos. Desigualdades. Intervalos. Valor Absoluto. Usos dos expoentes fracionários e real. Funções. Funções lineares e principais usos nas ciências. Funções quadráticas e polinomiais. Funções exponenciais e aplicações nas ciências. Funções inversas e compostas. Logaritmos e suas aplicações nas ciências. Funções trigonométricas e suas aplicações. Conceitos de limites, derivadas e integrais definidas, cálculos e aplicações nas ciências.

bibliografia:

IEZZI, Gelson; MURAKAMI, Carlos. Fundamentos de Matematica Elementar: conjuntos: funções. 8. ed. São Paulo, SP: Atual, 2004. v.1.
IEZZI, Gelson; DOLCE, Osvaldo; MURAKAMI, Carlos. Fundamentos de matemática elementar: logaritmos. 8. ed. São Paulo, SP: Atual, 1993. v.2.
IEZZI, GELSON. Fundamentos de Matemática Elementar: trigonometria. 6.ed.. Sao Paulo: Atual, [19--].
IEZZI, Gelson; MACHADO, Nilson José; MURAKAMI, Carlos. Fundamentos de matematica elementar: limites: derivadas: noções de integral. 6. ed. São Paulo, SP: Atual, 2005. v.8.
Sheldon, A. Pré-Cálculo - Uma Preparação para o Cálculo, 2a edição. Grupo GEN, 2016. 9788521632153.
K., K.L.A.C.J.M. B. Álgebra na Universidade - Um Curso Pré-Cálculo, 5a edição. Grupo GEN, 2013. 978-85-216-2530-8
Gomes, F. M. Pré-cálculo: Operações, equações, funções e trigonometria. Cengage Learning Brasil, 2018. 9788522127900.
Mantovani, A.A.M.D.F.A.A.L. M. Pré-cálculo. [Digite o Local da Editora]: Grupo A, 2015. 9788582603215. Fred, S. Pré-Calculo. [Digite o Local da Editora]: Grupo A, 2011. 9788577809271.
Pré-cálculo. São Paulo, SP: Thomson Brooks, 2006. 468p.

plano de ensino

As informações acima constam no plano de ensino do curso.

elementos de álgebra - matemática

2024-08-06T00:00:00-04:00

listas

Lista 01
Lista 01.1
Lista 02
Lista 03
Lista 04
Lista 05
Lista 06
Lista 07
Lista 08
Lista 09

aulas

Aula 01 - Matrizes
Aula 02 - Transformações
Aula 03 - Matriz inversa
Aula 04 - Determinante
Aula 05 - Sistemas Lineares
Aula 06 - Sistemas Lineares - parte 2

provas

Avaliação P1
Avaliação P2
Avaliação PS

avaliação

Serão realizadas duas avaliações escritas (P1 e P2), que poderão ser complementadas com avaliações orais, cuja média de aproveitamento (MA) será obtida da seguinte maneira:

MA = (P1 + P2) / 2.

As avaliações estão previstas para as datas abaixo:
P1 - 03/10/2024
P2 - 28/11/2024
PS - 05/12/2024
Exame - 12/12/2024

ementa

Matrizes: definição e exemplos. Operações entre matrizes: multiplicação por escalar e produto entre matrizes. Transposição de matrizes. Tipos de matrizes. Determinantes de matrizes. Teorema de Laplace. Propriedades dos determinantes. Matrizes invertíveis. Escalonamento de matrizes. Inversão de matrizes por escalonamento. Sistemas lineares. Forma matricial de um sistema linear. Resolução de sistemas lineares por propriedades de matrizes. Escalonamento de sistemas. Discussão de soluções de um sistema com parâmetros. Polinômios.

bibliografia:

STRANG, Gilbert. Introdução à álgebra linear. 4. ed. Rio de Janeiro: LTC, 2013. E-book. ISBN978-85-216-2500-1. Disponível em: https://integrada.minhabiblioteca.com.br/books/978-85-216-2500-1.
KOLMAN, Bernard; HILL, David Ross. Introdução à álgebra linear com aplicações. 8. ed. Riode Janeiro: LTC, 2006. E-book. (1 recurso online). ISBN 978-85-216-2437-0. Disponível em: https://integrada.minhabiblioteca.com.br/books/978-85-216-2437-0.
POOLE, David. Álgebra linear: uma introdução moderna. 2. ed. São Paulo: CengageLearning, 2016. E-book. ISBN 9788522124015. Disponível em: https://integrada.minhabiblioteca.com.br/books/9788522124015.
EZZI, Gelson. Fundamentos de matemática elementar: sequências: matrizes: determinantes: sistemas. São Paulo, SP: Atual, 2004. 232 p., il. ISBN 8535704582.
MACHADO, Antônio dos Santos. Sistemas lineares e combinatória. São Paulo: Atual, 2004. v. 2 . 229 p.
STEINBRUCH, Alfredo. Introdução à álgebra linear. São Paulo, SP: Pearson, 1997. 245 p., il. ISBN 007460944-0.
STEINBRUCH, Alfredo. Matrizes, determinantes e sistemas de equações lineares. São Paulo, SP: McGraw-Hill, 1989. 109 p, il.
PAIVA, Manoel Rodrigues. Moderna Plus: Matemática. v. 2. São Paulo: Moderna, 2015.

plano de ensino

As informações acima constam no plano de ensino do curso.

lógica e conjuntos - matemática

2024-08-06T00:00:00-04:00

listas

Lista 00
Lista 01
Lista 02
Lista 03
Lista 04
Lista 05
Lista 06
Lista 07
Lista 08

aulas

Problemas de lógica
Proposições e operações lógicas
Implicações, equivalências, sentenças abertas e quantificadores
Argumentos lógicos
Técnicas de demonstração
Indução
Conjuntos - parte 1
Conjuntos - parte 2
Produto Cartesiano e Relações Binárias

provas

Avaliação P1
Avaliação P2
Avaliação PS

avaliação

Serão realizadas duas avaliações escritas (P1 e P2), que poderão ser complementadas com avaliações orais, cuja média de aproveitamento (MA) será obtida da seguinte maneira:

MA = (P1 + P2) / 2.

As avaliações estão previstas para as datas abaixo:
P1 - ~~02/10/2024~~ 25/09/2024
P2 - ~~27/11/2024~~ 13/11/2024
PS - 04/12/2024
Exame - 11/12/2024

ementa

A lógica do dia a dia: verdade e coerência; argumentação e verdade; forma e conteúdo. Proposições. Cálculo proposicional. Implicação e equivalência lógicas. Quantificadores. Técnicas de demonstração. Teoria elementar dos conjuntos: conceitos iniciais, propriedades, construção de conjuntos, álgebra de conjuntos, produto cartesiano. Relações binárias, aplicações e operações. Relação entre a teoria de conjuntos e os conceitos de lógica matemática.

bibliografia:

MACHADO, Nilson José; CUNHA, Marisa Ortegoza da. Lógica e linguagem cotidiana:verdade, coerência, comunicação, argumentação. 4. ed. São Paulo: Autêntica, 2019. E-book.(Tendências em educação matemática). ISBN 9788551306567. Disponível em: https://integrada.minhabiblioteca.com.br/books/9788551306567.
HEGENBERG, L. (2012). Lógica - O Cálculo Sentencial - Cálculo de Predicados e Cálculocom Igualdade, 3a edição. Grupo GEN. Disponível em: https://app.minhabiblioteca.com.br/books/978-85-309-4355-4
BISPO, Carlos Alberto F.; CASTANHEIRA, Luiz B.; SOUZA FILHO, Oswaldo Melo.Introdução à lógica matemática. São Paulo: Cengage Learning, 2013. E-book. ISBN9788522115952. Disponível em: https://integrada.minhabiblioteca.com.br/books/9788522115952.
AUGUSTO J. OLIVEIRA. Lógica e aritmética: uma introdução à lógica matemática e computacional, Editora Gradiva, 3a ED, 2010.
COPI, IRVING M. Introdução à lógica. 2. São Paulo: Mestre Jou, 1981. 488p.
KMETEUK FILHO, Osmir; FAVARO, Silvio: Noções de Lógica e Matemática Básica. Editora Ciência Moderna.
LIPSCHUT, S. Matemática Discreta. 2013,Editora Bookman.
STEWART, Ian. Mania de matemática: diversão e jogos de lógica e matemática. Rio de Janeiro: Zahar, 2005. v. 1 . 207 p. ISBN 85-7110-853-6.

plano de ensino

As informações acima constam no plano de ensino do curso.

cálculo numérico - engenharia civil

2024-05-20T00:00:00-04:00

Material disponível no Classroom.

ementa

Erros. Zeros de funções reais. Sistema de equações lineares. Sistema de equações não lineares. Interpolação. Integração numérica. Resolução de equações diferenciais.

bibliografia:

ARENALES, S.; DAREZZO, A. Cálculo numérico: aprendizagem com apoio de software. São Paulo: Thomson, 2007.
CLÁUDIO, D. M.; MARINS, J. M. Cálculo numérico computacional: teoria e prática. 3.ed. São Paulo: Atlas, 2000.
RUGGIERO, M. A. G.; LOPES, V. L. R. Cálculo numérico. 2.ed. São Paulo: Makron Books, 2006.

Bibliografia Complementar: 1. BARROSO, L. C., et al. Cálculo numérico. São Paulo: Harbra, 1987. 2. FRANCO, N. B. Cálculo numérico. São Paulo: Pearson Prentice Hall, 2008. 3. ROQUE, W. L. Introdução ao cálculo numérico. São Paulo: Atlas, 2000. 4. SANTOS, V. R. de B. Curso de cálculo numérico. 4. ed. Rio de Janeiro: LTC, 1982. 5. SPERANDIO, D.; MENDES, J. T.; SILVA, L. H. M. Cálculo numérico. São Paulo: Prentice Hall, 2006.

funções elementares e matrizes - nes

2024-03-18T00:00:00-04:00

Material disponível no Classroom.

ementa

Introdução à lógica e operações de conjuntos. Estudo de funções elementares, como Funções afins, Quadráticas, Exponenciais e Logarítmicas. Matrizes. Determinantes e Sistemas lineares.

cálculo 2 - engenharia agrícola

2024-03-15T00:00:00-04:00

listas

Lista 00
Lista 01
Lista 02
Polinômios
Lista 03
Lista 04
Lista 05
Lista 06
Lista 07
Lista 08
Lista 09

provas

Avaliação P1

avaliação

Serão realizadas duas avaliações escritas (P1 e P2), que poderão ser complementadas com avaliações orais, cuja média de aproveitamento (MA) será obtida da seguinte maneira:

MA = (P1 + P2) / 2.

As avaliações estão previstas para as datas abaixo:
P1 - 08/05/2024
P2 - 01/07/2024
PS - 08/07/2024
Exame - 15/07/2024

ementa

Técnicas de Integração. Integrais impróprias. Seqüências e séries infinitas. Fórmula de Taylor. Série de potências. Equações diferenciais de 1ª ordem e aplicações. Equações diferenciais lineares. Equações diferenciais lineares de 2ª ordem e aplicações.

bibliografia:

STEWART, James. Cálculo. São Paulo: Cengage Learning, 2014. v.1.
STEWART, James. Cálculo. 7. ed. São Paulo, SP: Cengage Learning, 2013. v.2.
ANTON, Howard; DAVIS, Stephen; BIVENS, Irl. Cálculo. 10. ed. Porto Alegre, RS: Bookman, 2014. v.1.
ANTON, Howard; DAVIS, Stephen; BIVENS, Irl. Cálculo . 8. ed. Porto Alegre, RS: Bookman, 2007. v.2.
BOYCE, W.E.; DI PRIMA, R.C. Equações Diferenciais Elementares e Problemas de Valores de Contorno. 8a ed. Rio de Janeiro. LTC. 2006.
AVILA, G. Calculo. Rio de Janeiro: LTC, 2007
HOFFMANN, L. D; BRADLEY, G. L. Calculo. Rio de Janeiro: LTC, 2002.

plano de ensino

As informações acima constam no plano de ensino do curso.

cálculo 3 - engenharia de alimentos

2024-03-15T00:00:00-04:00

listas

Lista 0
Lista 1
Lista 2
Lista 3
Lista 4
Lista 5
Lista 6
Lista 7
Lista 8
Lista 9
Lista 10
Lista 11
Lista 12

aulas

Integral dupla
Integral dupla em regiões gerais
Mudanças de coordenadas na integral dupla - coord. polares
Integral tripla
Curvas e Campos Vetoriais
Integral de Linha
Integral de Linha de Campos Vetoriais
Teorema Fundamental das Integrais de Linha

provas

Avaliação P1

avaliação

Serão realizadas duas avaliações escritas (P1 e P2), que poderão ser complementadas com avaliações orais, cuja média de aproveitamento (MA) será obtida da seguinte maneira:

MA = (P1 + P2) / 2.

As avaliações estão previstas para as datas abaixo:
P1 - 08/05/2024
P2 - 01/07/2024
PS - 08/07/2024
Exame - 15/07/2024

ementa

Funções de várias variáveis reais. Diferenciabilidade. Máximos e mínimos. Fórmula de Taylor. Multiplicadores de Lagrange. Integral dupla. Integral tripla. Mudança de coordenadas. Integral de Linha. Teorema de Green.

bibliografia:

STEWART, James. Cálculo. 7. ed. São Paulo, SP: Cengage Learning, 2013. v.2.
ANTON, Howard; DAVIS, Stephen; BIVENS, Irl. Cálculo . 8. ed. Porto Alegre, RS: Bookman, 2007. v.2.
STEWART, James. Cálculo. São Paulo: Cengage Learning, 2014. v.1.
ANTON, Howard; DAVIS, Stephen; BIVENS, Irl. Cálculo. 10. ed. Porto Alegre, RS: Bookman, 2014. v.1.
AVILA, G. Calculo. Rio de Janeiro: LTC, 2007
HOFFMANN, L. D; BRADLEY, G. L. Calculo. Rio de Janeiro: LTC, 2002.

plano de ensino

As informações acima constam no plano de ensino do curso.

geometria - profmat (verão)

2024-01-08T00:00:00-04:00

listas

Lista 01
Lista 02
Lista 03
Lista 04
Lista 05

ementa

Conceitos geométricos básicos. Congruência de triângulos. Lugares geométricos. Proporcionalidade e semelhança. Áreas de figuras planas. Trigonometria e geometria. Conceitos básicos em geometria espacial. Alguns sólidos simples. Poliedros convexos. Volume de sólidos.

bibliografia

MUNIZ NETO, A. C. Geometria. SBM, 2013 (Coleção PROFMAT).
PROFMAT, MA13– Geometria. Disponível em: https://profmat-sbm.org.br/ma-13/. Acesso: 23 jan. 2024.

Automating petition classification in Brazil’s legal system: a two-step deep learning approach

2023-12-15T00:00:00-04:00

Automating petition classification in Brazil’s legal system: a two-step deep learning approach

Yuri D. R. Costa, Hugo Oliveira, Valério Nogueira Jr., Lucas Massa, Xu Yang, Adriano Barbosa, Krerley Oliveira, Thales Vieira

[pdf] [bib]

cálculo 1 - química

2023-09-24T00:00:00-04:00

listas

Lista 01
Lista 02
Lista 03
Lista 04
Lista 05
Lista 06
Lista 07
Lista 08
Lista 09
Lista 10
Lista 11
Lista 12
Lista 13
Lista 14
Lista 15
Lista 16

provas

Avaliação P1
Avaliação P2
Avaliação PS

avaliação

Serão realizadas duas avaliações escritas (P1 e P2), que poderão ser complementadas com avaliações orais, cuja média de aproveitamento (MA) será obtida da seguinte maneira:

MA = (P1 + P2) / 2.

As avaliações estão previstas para as datas abaixo:

P1 - 21/11/23
P2 – 20/02/24
PS – 27/02/24
Exame – 05/03/24

ementa

Derivadas e cálculo de derivadas. Aplicações da derivada. Integral definida e indefinida. Teorema Fundamental do Cálculo. Aplicações da integral. Funções transcendentes.

bibliografia

STEWART, James. Cálculo. São Paulo: Cengage Learning, 2014. v.1
THOMAS, George Brinton; HASS, Joel; WEIR, Maurice D; GIORDANO, Frank R. Cálculo. 12. ed. São Paulo, SP: Pearson Education do Brasil, 2012. v.1.
ANTON, Howard; DAVIS, Stephen; BIVENS, Irl. Cálculo. 10. ed. Porto Alegre, RS: Bookman, 2014. v.1.
FLEMMING, D.M.; GONÇALVES, M.B. Cálculo A: funções, limite, derivação e integração. 6a ed. São Paulo: Pearson Prentice Hall, 2007.
LEITHOLD, L.O Cálculo com Geometria Analítica, Vol 1. Editora Harbra.
ÁVILA, GERALDO. Cálculo 1: funções de uma variável, editora LTC.
GUIDORIZZI, Hamilton Luiz. Um curso de cálculo. 2. ed. Rio de Janeiro, RJ: LTC, 1993. v.1.

plano de ensino

As informações acima constam no plano de ensino da disciplina.

cálculo de várias variáveis - matemática

2023-09-24T00:00:00-04:00

listas

Lista 00
Lista 01
Lista 02
Lista 03
Lista 04
Lista 05
Lista 06
Lista 07
Lista 08
Lista 09
Lista 10

aulas

Integral dupla
Integral dupla em regiões gerais
Coordenadas polares
Integral tripla
Coordenadas cilíndricas e esféricas

provas

Avaliação P1
Avaliação P2
Avaliação PS

avaliação

Serão realizadas duas avaliações escritas (P1 e P2), que poderão ser complementadas com avaliações orais, cuja média de aproveitamento (MA) será obtida da seguinte maneira:

MA = (P1 + P2) / 2.

As avaliações estão previstas para as datas abaixo:

P1 - ~~22/11/23~~ 29/11/23
P2 - 21/02/24
PS - 28/02/24
Exame - 06/03/24

ementa

Funções de várias variáveis: Limite e continuidade de funções de duas variáveis. Derivadas parciais. Derivada direcional e gradiente. Diferenciabilidade. Máximos e mínimos. Multiplicadores de Lagrange. Integrais múltiplas: dupla e tripla, Teorema de Fubini, mudança de variáveis.

bibliografia:

STEWART, James. Cálculo. 7. ed. São Paulo, SP: Cengage Learning, 2013. v.2.
ANTON, Howard; DAVIS, Stephen; BIVENS, Irl. Cálculo . 8. ed. Porto Alegre, RS: Bookman, 2007. v.2.
GUIDORIZZI, Hamilton Luiz. Um curso de cálculo. 5. ed. Rio de Janeiro, RJ: LTC, 2014. v.2p.
GUIDORIZZI, Hamilton Luiz. Um curso de cálculo. 5. ed. Rio de Janeiro, RJ: LTC, 2015. v.3.
BOULUS, P. Introdução ao Cálculo. Vol. I e II. 3 ed. São Paulo. Editora Edgard Blucher, 1974.
GONÇALVES, M. B.; FLEMMING, D. M. Cálculo B: funções de várias variáveis, integrais múltiplas, integrais curvilíneas e de superfície. 2.ed. São Paulo: Pearson, 2007. 435p.

plano de ensino

As informações acima constam no plano de ensino do curso.

Creating a Debian Vagrant box for libvirt

2023-06-12T19:53:00-04:00

install

Create disk image:

$ qemu-img create -f qcow2 debian12.qcow2 128G

Proceed with your prefered install options using QEMU. I created a regular user called vagrant during the install.

post install config

On the guest machine, add user vagrant to sudoers:

$ sudo sh -c 'echo "vagrant ALL=(ALL) NOPASSWD: ALL" > /etc/sudoers.d/vagrant'
$ chmod 440 /etc/sudoers.d/vagrant

Change the network interface name to legacy style by adding net.ifnames=0 to /etc/default/grub in GRUB_CMDLINE_LINUX variable. Update grub:

$ sudo update-grub2

Edit network settings in /etc/network/interfaces

allow-hotplug eth0
iface eth0 inet dhcp

Lock user vagrant password. We will login using ssh keys

$ sudo passwd -l vagrant

Clean history and shutdown the guest:

$ history -c

On the host machine, download Vagrant ssh key:

$ curl -L https://adrianobarbosa.xyz/pub/vagrant-ssh-key -O vagrant-ssh-key

The file content is:

ssh-rsa AAAAB3NzaC1yc2EAAAABIwAAAQEA6NF8iallvQVp22WDkTkyrtvp9eWW6A8YVr+kz4TjGYe7gHzIw+niNltGEFHzD8+v1I2YJ6oXevct1YeS0o9HZyN1Q9qgCgzUFtdOKLv6IedplqoPkcmF0aYet2PkEDo3MlTBckFXPITAMzF8dJSIFo9D8HfdOV0IAdx4O7PtixWKn5y2hMNG0zQPyUecp4pzC6kivAIhyfHilFR61RGL+GPXQ2MWZWFYbAGjyiYJnAmCP3NOTd0jMZEnDkbUvxhMmBYSdETk1rRgm+R4LOzFUGaHqHDLKLX+FIPKcF96hrucXzcWyLbIbEgE98OHlnVYCzRdK8jlqm8tehUc9c9WhQ== vagrant insecure public key

This is an insecure public key which will be used by Vagrant on the first access and replaced later.

Reset ssh guest server keys and inject vagrant public key:

$ sudo virt-sysprep -d debian12 --ssh-inject vagrant:file:vagrant-ssh-key --firstboot-command "dpkg-reconfigure openssh-server"

creating the box

I used the create_box.sh from the vagrant-libvirt repository.

Create the Vagrantfile with at least these two lines and any other config you wish:

Vagrant.configure("2") do |config|
    config.vm.synced_folder ".", "/vagrant", disabled: true
end

Creating the box:

$ create_box.sh debian12.qcow2 debian12.box Vagrantfile
{128}
==> Creating box, tarring and gzipping
./metadata.json
./Vagrantfile
./box.img
Total de bytes escritos: 2800097280 (2,7GiB, 31MiB/s)
==> debian12.box created
==> You can now add the box:
==>   'vagrant box add debian12.box --name debian12'

Adding the box to Vagrant:

$ vagrant box add debian12.box --name debian12

running the new machine

$ vagrant init debian12
$ vagrant up

create_box.sh bug in IMG_SIZE: https://github.com/vagrant-libvirt/vagrant-libvirt/issues/1746

cálculo 2 - química

2023-05-21T00:00:00-04:00

listas

Lista 01
Lista 02
Polinômios
Lista 03
Lista 04
Lista 05
Lista 06
Lista 07
Lista 08
Lista 09

aulas

06/07/2023
11/07/2023
13/07/2023
18/07/2023
20/07/2023
25/07/2023
27/07/2023
01/08/2023
08/08/2023
10/08/2023
15/08/2023
17/08/2023
22/08/2023
24/08/2023

provas

Avaliação P1
Avaliação P2
Avaliação PS

avaliação

Serão realizadas duas avaliações escritas (P1 e P2), que poderão ser complementadas com avaliações orais, cuja média de aproveitamento (MA) será obtida da seguinte maneira:

MA = (P1 + P2) / 2.

As avaliações estão previstas para as datas abaixo:

P1 - 04/07/2023
P2 - 29/08/2023
PS - 05/09/2023
Exame - 12/09/2023

ementa

bibliografia:

STEWART, James. Cálculo. São Paulo: Cengage Learning, 2014. v.1.
STEWART, James. Cálculo. 7. ed. São Paulo, SP: Cengage Learning, 2013. v.2.
ANTON, Howard; DAVIS, Stephen; BIVENS, Irl. Cálculo. 10. ed. Porto Alegre, RS: Bookman, 2014. v.1.
ANTON, Howard; DAVIS, Stephen; BIVENS, Irl. Cálculo . 8. ed. Porto Alegre, RS: Bookman, 2007. v.2.
BOYCE, W.E.; DI PRIMA, R.C. Equações Diferenciais Elementares e Problemas de Valores de Contorno. 8a ed. Rio de Janeiro. LTC. 2006.
AVILA, G. Calculo. Rio de Janeiro: LTC, 2007
HOFFMANN, L. D; BRADLEY, G. L. Calculo. Rio de Janeiro: LTC, 2002.

plano de ensino

As informações acima constam no plano de ensino do curso.

cálculo de várias variáveis - matemática

2023-05-21T00:00:00-04:00

listas

Lista 00
Lista 01
Lista 02
Lista 03
Lista 04
Lista 05
Lista 06
Lista 07
Lista 08
Lista 09
Lista 10

aulas

Integral dupla
Integral dupla em regiões gerais
Coordenadas polares
Integral tripla
Coordenadas cilíndricas e esféricas

provas

Avaliação P1
Avaliação P2 (Atualizado em 31/08/2023)
Avaliação PS

avaliação

Serão realizadas duas avaliações escritas (P1 e P2), que poderão ser complementadas com avaliações orais, cuja média de aproveitamento (MA) será obtida da seguinte maneira:

MA = (P1 + P2) / 2.

As avaliações estão previstas para as datas abaixo:

P1 - ~~05/07/2023~~ 12/07/2023
P2 - 30/08/2023
PS - 06/09/2023
Exame - 13/09/2023

ementa

bibliografia:

STEWART, James. Cálculo. 7. ed. São Paulo, SP: Cengage Learning, 2013. v.2.
ANTON, Howard; DAVIS, Stephen; BIVENS, Irl. Cálculo . 8. ed. Porto Alegre, RS: Bookman, 2007. v.2.
GUIDORIZZI, Hamilton Luiz. Um curso de cálculo. 5. ed. Rio de Janeiro, RJ: LTC, 2014. v.2p.
GUIDORIZZI, Hamilton Luiz. Um curso de cálculo. 5. ed. Rio de Janeiro, RJ: LTC, 2015. v.3.
BOULUS, P. Introdução ao Cálculo. Vol. I e II. 3 ed. São Paulo. Editora Edgard Blucher, 1974.
GONÇALVES, M. B.; FLEMMING, D. M. Cálculo B: funções de várias variáveis, integrais múltiplas, integrais curvilíneas e de superfície. 2.ed. São Paulo: Pearson, 2007. 435p.

plano de ensino

As informações acima constam no plano de ensino do curso.

introdução ao cálculo - química

2023-05-21T00:00:00-04:00

listas

Lista 01
Lista 02 (exercícios 1.1, 2.9, 2.10, 2.11, 2.14)
Lista 03
Lista 04
Lista 05
Lista 06
Lista 07
Lista 08

material

Conjuntos numéricos parte 1
Conjuntos numéricos parte 2
Conjuntos numéricos parte 3
Funções (seção 1)
Funções afins
Inequações
Funções quadráticas
Funções exponenciais
Funções logarítmicas
Funções trigonométricas

aulas

06/07/2023
13/07/2023
18/07/2023
20/07/2023
25/07/2023
27/07/2023
01/08/2023
08/08/2023
10/08/2023
15/08/2023
17/08/2023
22/08/2023 (Atualizado em 23/08/2023)
24/08/2023

provas

Avaliação P1
Avaliação P2
Avaliação PS

avaliação

Serão realizadas duas avaliações escritas (P1 e P2), que poderão ser complementadas com avaliações orais, cuja média de aproveitamento (MA) será obtida da seguinte maneira:

MA = (P1 + P2) / 2.

As avaliações estão previstas para as datas abaixo:

P1 - 11/07/2023
P2 - 29/08/2023
PS - 05/09/2023
Exame - 12/09/2023

ementa

bibliografia:

IEZZI, Gelson; MURAKAMI, Carlos. Fundamentos de Matematica Elementar: conjuntos: funções. 8. ed. São Paulo, SP: Atual, 2004. v.1.
IEZZI, Gelson; DOLCE, Osvaldo; MURAKAMI, Carlos. Fundamentos de matemática elementar: logaritmos. 8. ed. São Paulo, SP: Atual, 1993. v.2.
IEZZI, GELSON. Fundamentos de Matemática Elementar: trigonometria. 6.ed.. Sao Paulo: Atual, [19--].
IEZZI, Gelson; MACHADO, Nilson José; MURAKAMI, Carlos. Fundamentos de matematica elementar: limites: derivadas: noções de integral. 6. ed. São Paulo, SP: Atual, 2005. v.8.
Sheldon, A. Pré-Cálculo - Uma Preparação para o Cálculo, 2a edição. Grupo GEN, 2016. 9788521632153.
K., K.L.A.C.J.M. B. Álgebra na Universidade - Um Curso Pré-Cálculo, 5a edição. Grupo GEN, 2013. 978-85-216-2530-8
Gomes, F. M. Pré-cálculo: Operações, equações, funções e trigonometria. Cengage Learning Brasil, 2018. 9788522127900.
Mantovani, A.A.M.D.F.A.A.L. M. Pré-cálculo. [Digite o Local da Editora]: Grupo A, 2015. 9788582603215. Fred, S. Pré-Calculo. [Digite o Local da Editora]: Grupo A, 2011. 9788577809271.
Pré-cálculo. São Paulo, SP: Thomson Brooks, 2006. 468p.

plano de ensino

As informações acima constam no plano de ensino do curso.

How to Use Vultr's Anaconda Marketplace App

2023-01-18T18:19:00-04:00

https://www.vultr.com/docs/how-to-use-vultrs-anaconda-marketplace-app/

Deploy a Machine Learning Model to Production with TensorFlow Serving

2023-01-18T18:18:00-04:00

https://www.vultr.com/docs/deploy-a-machine-learning-model-to-production-with-tensorflow-serving/

Nix package manager

2022-11-27T11:06:00-04:00

intro

Nix is a powerful package manager for Linux and other Unix systems that makes package management reliable and reproducible. It uses Nix language to declare packages and configurations to be built by Nix.

Nix uses a single directory to store packages and all other stuff related to it. Packages in Nix are stored in directories such as

/nix/store/jibjl4rxy9cnmwcmsglwfk6f2azh4gll-firefox-107.0/
├── bin
│   └── firefox
├── lib
│   ├── firefox
│   │   └── ...
│   └── mozilla
│       └── ...
└── share
    ├── applications
    │   └── firefox.desktop
    └── icons
        └── ...

where the hash jibjl... is a unique identifier for the package which takes into account package build settings and all its dependencies. Notice the directories bin, lib, and share which we usually in the root directory / in Linux and BSD systems.

The way Nix manages packages allows you to have multiple versions of the same software installed at the same time without any conflict once each package is packaged with all its dependencies. Obviously, it increases storage, but is also allows one to switch between packages or rollback in case you don't like an upgrade with a simple command.

install Nix

There are two ways to install Nix, single and multi-user. Nix recommends multi-user installation and lists the pros and cons of this method.

My choice when I did install it on a Debian machine for the first time was the single-user method because I was the only user on that machine and the uninstall process is easy as running rm -rf /nix.

Detailed information about each method can be found on Nix manual.

Single-user installation:

$ sh <(curl -L https://nixos.org/nix/install) --no-daemon

Multi-user installation:

$ sh <(curl -L https://nixos.org/nix/install) --daemon

using Nix

search for a package

$ nix-env -qaP firefox
nixpkgs.firefox-esr          firefox-102.5.0esr
nixpkgs.firefox-esr-wayland  firefox-102.5.0esr
nixpkgs.firefox              firefox-107.0
nixpkgs.firefox-wayland      firefox-107.0
nixpkgs.firefox-esr-91       firefox-91.13.0esr

Nix allows you to can use regex

$ nix-env -qaP 'firefox.*'

install a package

$ nix-env -iA nixpkgs.firefox
installing 'firefox-107.0'
...

"uninstall" a package

$ nix-env -e firefox
uninstalling 'firefox-107.0'

This only makes the package unavailable to the user. Please read Nix quirks below.

upgrade all packages

$ nix-channel --update
$ nix-env -u

Nix quirks

garbage collection

Uninstalling a package in Nix does not delete it from your disk as you could, for example, rollback the system to the previous state. As storage is not always enough as we wish, we need to actually delete those unused packages and Nix knows how to do it without breaking anything.

The Nix utility nix-collect-garbage deletes all packages that aren’t in use by any user profile or by a currently running program. You can run the garbage collector after every uninstall, but you will lose the great rollback functionality of Nix.

nix-shell

Nix also allows you to test a package in a temporary shell environment with nix-shell:

[adriano@laptop:~]$ nix-shell -p jupyter
...
[nix-shell:~]$ jupyter-notebook

All packages downloaded for use in this temporary environment remain on your disk after you finish the use and will only be deleted on the next garbage collection unless you actually install it.

acknowledgments

Thanks to @solene@bsd.network, @n0r@sueden.social, @thedaemon@socel.net and @distrotube@fosstodon.org for the debate on Mastodon which made me write this post.

cálculo 2 - engenharia civil

2022-11-21T00:00:00-04:00

listas

Lista 01
Lista 02
Lista 03
Lista 04
Lista 05
Lista 06
Lista 07
Lista 08
Lista 09
Lista 10

monitoria

~~Segundas-feiras das 15:00 às 17:00 - sala D-105~~
~~Quintas-feiras das 9:00 às 11:00 - sala D-100~~

Terças-feiras das 17:00 às 18:00 - sala D-102
Quartas-feiras das 14:00 às 16:00 - sala D-102
Quartas-feiras das 17:00 às 18:00 - sala D-102

provas

Avaliação P1
Avaliação P2
Avaliação P3

avaliação

Serão realizadas três avaliações escritas (P1, P2 e P3), que poderão ser complementadas com avaliações orais, cuja média de aproveitamento (MA) será obtida da seguinte maneira:

MA = (P1 + P2 + P3) / 3.

Haverá uma avaliação substitutiva (PS) a qual substituirá a menor nota entre todas as avaliações escritas realizadas, caso a nota da PS seja maior. A prova substitutiva versará sobre o conteúdo da menor nota. Após as avaliações P1, P2, P3 e PS, o acadêmico que obtiver MA maior ou igual a 6,0 (seis) e frequência de, no mínimo, 75% estará aprovado.

As avaliações estão previstas para as datas abaixo:

P1 - ~~13/12/2022~~ 24/01/2023
P2 - 21/03/2023
P3 - 18/04/2023
PS - 25/04/2023
Exame - 02/05/2023

ementa

bibliografia:

STEWART, James. Cálculo. São Paulo: Cengage Learning, 2014. v.1.
STEWART, James. Cálculo. 7. ed. São Paulo, SP: Cengage Learning, 2013. v.2.
ANTON, Howard; DAVIS, Stephen; BIVENS, Irl. Cálculo. 10. ed. Porto Alegre, RS: Bookman, 2014. v.1.
ANTON, Howard; DAVIS, Stephen; BIVENS, Irl. Cálculo . 8. ed. Porto Alegre, RS: Bookman, 2007. v.2.
BOYCE, W.E.; DI PRIMA, R.C. Equações Diferenciais Elementares e Problemas de Valores de Contorno. 8a ed. Rio de Janeiro. LTC. 2006.
AVILA, G. Calculo. Rio de Janeiro: LTC, 2007
HOFFMANN, L. D; BRADLEY, G. L. Calculo. Rio de Janeiro: LTC, 2002.

plano de ensino

As informações acima constam no plano de ensino do curso (atualizado em 06/12/2022).

cálculo de várias variáveis - matemática

2022-11-21T00:00:00-04:00

listas

Lista 00
Lista 01
Lista 02
Lista 03
Lista 04
Lista 05
Lista 06
Lista 07
Lista 08
Lista 09
Lista 10

aulas

Integrais duplas
Integrais em regiões gerais
Coordenadas polares
Integrais triplas
Coordenadas cilíndricas e esféricas

provas

Avaliação P1
Avaliação P2

avaliação

Serão realizadas duas avaliações escritas (P1 e P2), que poderão ser complementadas com avaliações orais, cuja média de aproveitamento (MA) será obtida da seguinte maneira:

MA = (P1 + P2) / 2.

As avaliações estão previstas para as datas abaixo:

P1 - 15/02/2023
P2 - 19/04/2023
PS - 26/04/2023
Exame - 03/05/2023

ementa

bibliografia:

STEWART, James. Cálculo. 7. ed. São Paulo, SP: Cengage Learning, 2013. v.2.
ANTON, Howard; DAVIS, Stephen; BIVENS, Irl. Cálculo . 8. ed. Porto Alegre, RS: Bookman, 2007. v.2.
GUIDORIZZI, Hamilton Luiz. Um curso de cálculo. 5. ed. Rio de Janeiro, RJ: LTC, 2014. v.2p.
GUIDORIZZI, Hamilton Luiz. Um curso de cálculo. 5. ed. Rio de Janeiro, RJ: LTC, 2015. v.3.
BOULUS, P. Introdução ao Cálculo. Vol. I e II. 3 ed. São Paulo. Editora Edgard Blucher, 1974.
GONÇALVES, M. B.; FLEMMING, D. M. Cálculo B: funções de várias variáveis, integrais múltiplas, integrais curvilíneas e de superfície. 2.ed. São Paulo: Pearson, 2007. 435p.

plano de ensino

As informações acima constam no plano de ensino do curso.

Quantifying protocols for safe school activities

2022-09-17T00:00:00-04:00

Quantifying protocols for safe school activities

Juliano Genari, Guilherme Tegoni Goedert, Sérgio H. A. Lira, Krerley Oliveira, Adriano Barbosa, Allysson Lima, José Augusto Silva, Hugo Oliveira, Maurício Maciel, Ismael Ledoino, Lucas Resende, Edmilson Roque dos Santos, Dan Marchesin, Claudio J. Struchiner, Tiago Pereira

[pdf] [bib]

WireGuard VPN on OpenBSD

2022-09-11T20:19:00-04:00

Install WireGuard tools

# pkg_add wireguard-tools

For QR code config:

pkg_add libqrencode

Create a directory to store keys and config files:

# mkdir /etc/wireguard

Create server keys

# cd /etc/wireguard
# umask 077
# wg genkey > server-private.key
# wg pubkey <<EOF > server-public.key
> server private key goes here
> EOF

Configure `wg0`

I'm using 192.168.0.1/24 network. Create /etc/hostname.wg0 with the content:

inet 192.168.0.1 255.255.255.0
!/usr/local/bin/wg setconf wg0 /etc/wireguard/server.conf

Setup pf

Add the lines below in /etc/pf.conf

pass in on egress proto udp from any to any port 51820
pass out quick on egress from (wg0:network) to any nat-to (egress:0)

Reload pf rules:

# pfctl -f /etc/pf.conf

Enable IP forwarding

# sysctl net.inet.ip.forwarding=1

Make it persistent:

# echo 'net.inet.ip.forwarding=1' >> /etc/sysctl.conf

Creating client and server config file

Creating client keys:

# cd /etc/wireguard
# umask 077
# wg genkey > client1-private.key
# wg pubkey <<EOF > client1-public.key
> client1 private key goes here
> EOF

These files can be deleted after we use.

Create the client1.conf config file with the content:

[Interface]
PrivateKey = client1 private key goed here
Address = 192.168.0.2/32
DNS = 8.8.8.8

[Peer]
PublicKey = server public key goes here
AllowedIPs = 0.0.0.0/0
Endpoint = server public address:51820

Create the file /etc/wireguard/server.conf with the content

[Interface]
PrivateKey = server private key goes here
ListenPort = 51820

[Peer]
PublicKey = client 1 public key goes here
AllowedIPs = 192.168.0.2/32

[Peer]
PublicKey = client 2 public key goes here
AllowedIPs = 192.168.0.3/32

Start `wg0` interface

# sh /etc/netstart wg0

Check:

# wg
interface: wg0
public key: SERVERPUBKEY
private key: (hidden)
listening port: 51820

peer: CLIENT1PUBKEY
allowed ips: 192.168.0.2/32

Configure Android and iOS clients

On server:

# qrencode -t ansiutf8 < client1.conf

Scan the QR code using WireGuard app on your mobile device.

Configure Linux client

Rename client1.conf to wg0.conf

# nmcli connection import type wireguard file wg0.conf

or use nm-connection-editor and create a WireGuard virtual connection with client1.conf information.

To start the connection:

# nmcli connection up wg0

Source:
https://thomasward.com/openbsd-wireguard/
https://lipidity.com/openbsd/wireguard/
https://dataswamp.org/~solene/2021-10-09-openbsd-wireguard-exit.html

álgebra linear e geometria analítica - eng. civil

2022-08-30T00:00:00-04:00

listas

Lista 7
Lista 7.1
Lista 7.2
Lista 7.3
Lista 8
Lista 9
Lista 10
Lista 11

provas

Avaliação P2
Avaliação PS

avaliação

Serão realizadas duas avaliações escritas (P1 e P2), que poderão ser complementadas com avaliações orais, cuja média de aproveitamento (MA) será obtida da seguinte maneira:

MA = (P1 + P2) / 2.

Haverá uma avaliação substitutiva (PS) a qual substituirá a menor nota entre todas as avaliações escritas realizadas, caso a nota da PS seja maior. A prova substitutiva versará sobre todo o conteúdo da disciplina. Após as avaliações P1, P2 e PS, o acadêmico que obtiver MA maior ou igual a 6,0 (seis) e frequência de, no mínimo, 75% estará aprovado.

As avaliações estão previstas para as datas abaixo:

P2 - 24/10/2022
PS - 31/10/2022
Exame - 07/11/2022

ementa

Matrizes e determinantes. Sistemas de equação linear. Álgebra vetorial. Equação da reta no plano e no espaço. Equações do plano. Transformação linear e matrizes. Autovalores e autovetores. Diagonalização de matrizes e operadores. Produto interno.

bibliografia

ANTON, Howard; RORRES, Chris; DOERING, Claus Ivo. Álgebra linear: com aplicações. 10. ed. Porto Alegre, RS: Bookman, 2010. 768p.
WINTERLE, Paulo. Vetores e geometria analítica. São Paulo: Pearson Makron Books, 2000. 232p.
Seymour, Lipschutz,, e LIPSON, Marc Álgebra Linear. Grupo A, 2011.
Dos, Santos, Fabiano José, e FERREIRA, Silvimar Fábio Geometria Analítica. Grupo A, 2009.
Gilbert, STRANG,. Introdução à Álgebra Linear, 4ª edição. Grupo GEN, 2013.

plano de ensino

As informações acima constam no plano de ensino da disciplina submetido a FAEN em 28/09/2022.

Linux ACL cheat sheet

2022-07-12T10:21:00-04:00

ACL - Access Control List

Verificando se tem suporte:

# tune2fs -l /dev/sdX
...
Default mount options:    user_xattr acl
...

Montando um dispositivo com suporte a ACL:

# mount -o acl /dev/sdX /mnt/dispositivo

cheat sheet

Verificar ACL de um arquivo

getfacl arquivo

Definir ACL a um arquivo

setfacl -Rdm ugo:nome:perm arquivo1 arquivo2

onde

-R: recursivo
-d: default ACL
-m: modificar
u: usuário
g: grupo
o: outros
nome: nome do usuário/grupo
perm: permissões r, w e/ou x

Exemplos:

Permitir que alice tenha permissão de leitura num arquivo:

$ ls -l arquivo
-rw-r----- 1 adriano adriano 2 jul 12 10:33 arquivo
$ setfacl -m u:alice:r arquivo
$ ls -l arquivo 
-rw-r-----+ 1 adriano adriano 2 jul 12 10:33 arquivo  # note o + nas permissões
$ getfacl arquivo
# file: arquivo
# owner: adriano
# group: adriano
user::rw-
user:alice:r--
group::r--
mask::r--
other::---

Permitir leitura e escrita num diretório para um grupo:

$ setfacl -m g:amigos:rwx dir
$ getfacl dir
# file: dir
# owner: adriano
# group: adriano
user::rwx
group::r-x
group:amigos:rwx
mask::rwx
other::---

Remover uma regra ACL:
```
$ setfacl -x u:alice arquivo
```
Remover todas as regras ACL:
```
$ setfacl -b arquivo
```

Permitir leitura e escrita aos arquivo de um diretório por padrão (default):

$ setfacl -d -m g:melhoresamigos:rwx dir
# file: dir
# owner: adriano
# group: adriano
user::rwx
group::r-x
group:amigos:rwx
mask::rwx
other::---
default:user::rwx
default:group::r-x
default:group:melhoresamigos:rwx
default:mask::rwx
default:other::---
$ touch dir/arquivo_do_melhor_amigo
$ getfacl dir/arquivo_do_melhor_amigo
# file: dir/arquivo_do_melhor_amigo
# owner: adriano
# group: adriano
user::rw-
group::r-x          #effective:r--
group:melhoresamigos:rwx       #effective:rw-
mask::rw-
other::---

Fonte: http://www.bosontreinamentos.com.br/linux/acl-access-control-list-ajustando-permissoes-avancadas-no-linux/

álgebra linear e geometria analítica - eng. de alimentos

2022-07-01T00:00:00-04:00

listas

Lista 1
Lista 2
Lista 3
Lista 4
Lista 5
Lista 6
Lista 7
Lista 8
Lista 9
Lista 10
Lista 11

provas

Avaliação P1
Avaliação P2
Avaliação PS

avaliação

Serão realizadas duas avaliações escritas (P1 e P2), que poderão ser complementadas com avaliações orais, cuja média de aproveitamento (MA) será obtida da seguinte maneira:

MA = (P1 + P2) / 2.

As avaliações estão previstas para as datas abaixo:

P1 - 22/08/2022
P2 - 24/10/2022
PS - 31/10/2022
Exame - 07/11/2022

ementa

bibliografia

ANTON, Howard; RORRES, Chris; DOERING, Claus Ivo. Álgebra linear: com aplicações. 10. ed. Porto Alegre, RS: Bookman, 2010. 768p.
WINTERLE, Paulo. Vetores e geometria analítica. São Paulo: Pearson Makron Books, 2000. 232p.
Seymour, Lipschutz,, e LIPSON, Marc Álgebra Linear. Grupo A, 2011.
Dos, Santos, Fabiano José, e FERREIRA, Silvimar Fábio Geometria Analítica. Grupo A, 2009.
Gilbert, STRANG,. Introdução à Álgebra Linear, 4ª edição. Grupo GEN, 2013.

plano de ensino

As informações acima constam no plano de ensino da disciplina.

álgebra linear e geometria analítica - eng. mecânica

2022-07-01T00:00:00-04:00

listas

Lista 1
Lista 2
Lista 3
Lista 4
Lista 5
Lista 6
Lista 7
Lista 8
Lista 9
Lista 10
Lista 11

provas

Avaliação P1
Avaliação P2
Avaliação PS

avaliação

Serão realizadas duas avaliações escritas (P1 e P2), que poderão ser complementadas com avaliações orais, cuja média de aproveitamento (MA) será obtida da seguinte maneira:

MA = (P1 + P2) / 2.

As avaliações estão previstas para as datas abaixo:

P1 - 22/08/2022
P2 - 24/10/2022
PS - 31/10/2022
Exame - 07/11/2022

ementa

bibliografia

ANTON, Howard; RORRES, Chris; DOERING, Claus Ivo. Álgebra linear: com aplicações. 10. ed. Porto Alegre, RS: Bookman, 2010. 768p.
WINTERLE, Paulo. Vetores e geometria analítica. São Paulo: Pearson Makron Books, 2000. 232p.
Seymour, Lipschutz,, e LIPSON, Marc Álgebra Linear. Grupo A, 2011.
Dos, Santos, Fabiano José, e FERREIRA, Silvimar Fábio Geometria Analítica. Grupo A, 2009.
Gilbert, STRANG,. Introdução à Álgebra Linear, 4ª edição. Grupo GEN, 2013.

plano de ensino

As informações acima constam no plano de ensino da disciplina.

cálculo 2 - matemática

2022-07-01T00:00:00-04:00

listas

Lista 1
Lista 2
Lista 3
Lista 4
Lista 5
Lista 6
Lista 7
Lista 8

aulas

Volume

provas

Avaliação P1
Avaliação P2
Avaliação PS

avaliação

Serão realizadas duas avaliações escritas (P1 e P2), que poderão ser complementadas com avaliações orais, cuja média de aproveitamento (MA) será obtida da seguinte maneira:

MA = (P1 + P2) / 2.

As avaliações estão previstas para as datas abaixo:

P1 - 17/08/2022
P2 - 19/10/2022
PS - 26/10/2022
Exame - 09/11/2022

ementa

bibliografia

STEWART, James. Cálculo. São Paulo: Cengage Learning, 2014. v.1
THOMAS, George Brinton; WEIR, Maurice D; HASS, Joel; GIORDANO, Frank R. Cálculo. 11. ed. São Paulo, SP: Pearson Addison Wesley, 2009. v.1.
ANTON, Howard; DAVIS, Stephen; BIVENS, Irl. Cálculo. 10. ed. Porto Alegre, RS: Bookman, 2014. v.1.
Guidorizzi, Hamilton Luiz. Um curso de calculo. Rio de Janeiro: LIVROS TECNICOS E CIENTIFICOS, 1992. ISBN 85-216-0423-8
FLEMING, D. Cálculo A.6e. São Paulo. Pearson. 2007.
SWOKOWSKI, E.W. Cálculo com Geometria Analítica, V1 e 2, 2ª ed, Makron-Books, Rio de Janeiro(1995)
SIMMONS, G.F. Cálculo com Geometria Analítica, V. 1 e 2, Mc Graw-Hill do Brasil, Rio de Janeiro, (1987)
LEITHOLD, L. Calculo. v1. São Paulo. Makron.

plano de ensino

As informações acima constam no plano de ensino da disciplina.

números e funções - profmat

2022-04-02T00:00:00-04:00

aulas

Aula 01
Aula 02
Aula 03
Aula 04
Aula 05
Aula 06
Aula 07
Aula 08 Parte 1
Aula 08 Parte 2
Aula 09

material complementar

provas

Avaliação 1
Avaliação 2

avaliação

Serão realizadas duas avaliações escritas (P1 e P2), cuja média de aproveitamento (MA) será obtida da seguinte maneira:

MA = (P1 + P2) / 2.

O conceito seguirá a tabela do Regulamento do PROFMAT UFGD:

MA de 9,0 a 10,0 - Conceito A – Excelente;
MA de 8,0 a 8,9 - Conceito B – Bom;
MA de 7,0 a 7,9 - Conceito C – Regular;
MA menor do que 7,0 - Conceito D – Insuficiente.

As avaliações estão previstas para as datas abaixo:

P1 – 20/05/2022
P2 – 08/07/2022

ementa

Conjuntos. Números Naturais. Números Cardinais. Números Reais. Funções Afins. Funções Quadráticas. Funções Polinomiais. Funções Exponenciais e Logarítmicas. Funções Trigonométricas.

bibliografia

LIMA, E. L. Números e funções reais. SBM, 2014 (Coleção PROFMAT).
LIMA, E. L. (2010). Logaritmos. 4 a Edição. Coleção do Professor de Matemática. Sociedade Brasileira de Matemática.
LIMA, E. L. (2009). Análise Real. Vol. 1. 10 a Edição. Coleção do Professor de Matemática. Sociedade Brasileira de Matemática.
CARMO, M. P., MORGADO, A. C. e WAGNER, E. (2005). Trigonometria e Números Complexos. 3a Edição. Coleção do Professor de Matemática. Sociedade Brasileira de Matemática.

plano de ensino

As informações acima constam no plano de ensino da disciplina.

cálculo 1 - engenharia de computação

2022-02-11T00:00:00-04:00

listas

Lista 01
Lista 02
Lista 03
Lista 04
Lista 05
Lista 06
Lista 07
Lista 08
Lista 09
Lista 10
Lista 11
Lista 12
Lista 13

aulas

Volume

material auxiliar

Portal da OBMEP

Funções exponenciais
Exercícios de funções exponenciais
Vídeos sobre funções exponenciais

provas

Avaliação P1
Avaliação P2
Avaliação PS

avaliação

Serão realizadas duas avaliações escritas (P1 e P2), cuja média de aproveitamento (MA) será obtida da seguinte maneira: MA = (P1 + P2) / 2.
Datas:
P1 – 06/04/2022
P2 – 06/06/2022

Haverá uma avaliação substitutiva (PS) a qual substituirá a menor nota entre todas as avaliações escritas realizadas, caso a nota da PS seja maior. Após as avaliações P1, P2 e PS, o acadêmico que obtiver MA maior que ou igual a 6,0 (seis) e frequência de, no mínimo, 75% estará aprovado.
Data:
PS – 13/06/2022

Será ofertado o exame final ao acadêmico que obtiver MA maior que ou igual a 4,0 (quatro) e inferior a 6,0 (seis) e frequência de, no mínimo, 75%. Será considerado aprovado o acadêmico que obtiver nota do exame maior ou igual a 6,0 (seis).
Data:
Exame – 20/06/2022

ementa

Derivadas e cálculo de derivadas. Aplicações da derivada. Integral definida e indefinida. Teorema Fundamental do Cálculo. Aplicações da integral. Funções transcendentes.

bibliografia

STEWART, James. Cálculo. São Paulo: Cengage Learning, 2014. v.1
THOMAS, George Brinton; HASS, Joel; WEIR, Maurice D; GIORDANO, Frank R. Cálculo. 12. ed. São Paulo, SP: Pearson Education do Brasil, 2012. v.1.
ANTON, Howard; DAVIS, Stephen; BIVENS, Irl. Cálculo. 10. ed. Porto Alegre, RS: Bookman, 2014. v.1.
FLEMMING, D.M.; GONÇALVES, M.B. Cálculo A: funções, limite, derivação e integração. 6a ed. São Paulo: Pearson Prentice Hall, 2007.
LEITHOLD, L.O Cálculo com Geometria Analítica, Vol 1. Editora Harbra.
ÁVILA, GERALDO. Cálculo 1: funções de uma variável, editora LTC.
GUIDORIZZI, Hamilton Luiz. Um curso de cálculo. 2. ed. Rio de Janeiro, RJ: LTC, 1993. v.1.

plano de ensino

As informações acima constam no plano de ensino da disciplina.

cálculo 1 - física

2022-02-11T00:00:00-04:00

listas

Lista 01
Lista 02
Lista 03
Lista 04
Lista 05
Lista 06
Lista 07
Lista 08
Lista 09
Lista 10
Lista 11
Lista 12
Lista 13

aulas

Volume

material auxiliar

Portal da OBMEP

Funções exponenciais
Exercícios de funções exponenciais
Vídeos sobre funções exponenciais

provas

Avaliação P1
Avaliação P2
Avaliação PS

avaliação

Serão realizadas duas avaliações escritas (P1 e P2), cuja média de aproveitamento (MA) será obtida da seguinte maneira: MA = (P1 + P2) / 2.
Datas:
P1 – 06/04/2022
P2 – 06/06/2022

ementa

Derivadas e cálculo de derivadas. Aplicações da derivada. Integral definida e indefinida. Teorema Fundamental do Cálculo. Aplicações da integral. Funções transcendentes.

bibliografia

STEWART, James. Cálculo. São Paulo: Cengage Learning, 2014. v.1
THOMAS, George Brinton; HASS, Joel; WEIR, Maurice D; GIORDANO, Frank R. Cálculo. 12. ed. São Paulo, SP: Pearson Education do Brasil, 2012. v.1.
ANTON, Howard; DAVIS, Stephen; BIVENS, Irl. Cálculo. 10. ed. Porto Alegre, RS: Bookman, 2014. v.1.
FLEMMING, D.M.; GONÇALVES, M.B. Cálculo A: funções, limite, derivação e integração. 6a ed. São Paulo: Pearson Prentice Hall, 2007.
LEITHOLD, L.O Cálculo com Geometria Analítica, Vol 1. Editora Harbra.
ÁVILA, GERALDO. Cálculo 1: funções de uma variável, editora LTC.
GUIDORIZZI, Hamilton Luiz. Um curso de cálculo. 2. ed. Rio de Janeiro, RJ: LTC, 1993. v.1.

plano de ensino

As informações acima constam no plano de ensino da disciplina.

Creating an self-signed SSL certificate

2021-11-12T15:31:00-04:00

# openssl req -newkey rsa:4096 -sha256 -nodes -x509 \
  -subj "/C=BR/ST=MS/L=Dourados/O=AB\ Labs/CN=adrianobarbosa.xyz" \
  -days 365 -keyout server.key -out server.crt

From the man page:

req command can create self-signed certificates, for use as root CAs
-newkey rsa:4096 create a new certificate request and a new private RSA key with 4096 bits in size
-sha256 the message digest to sign the request with
-nodes do not encrypt the private key
-x509 output a self-signed certificate
-subj the subject field of the request
-days number of days to certify the certificate for
-keyout file to write the newly created private key to
-out output file to write to

Creating an OpenBSD Vagrant box for libvirt

2021-10-24T18:04:00-04:00

install

Create disk image:

$ qemu-img create -f qcow2 openbsd70.qcow2 128G
Formatting 'openbsd70.qcow2', fmt=qcow2 cluster_size=65536 extended_l2=off compression_type=zlib size=137438953472 lazy_refcounts=off refcount_bits=16

Proceed with your prefered install options using QEMU. As the default QEMU console was repeating keystrokes, I changed to the serial console during OpenBSD boot

>> OpenBSD/amd64 CDBOOT 3.53
boot> set tty com0
switching console to com0

and changed the view on View->Consoles->Serial 1 menu on QEMU.

After the install process we need to do some post install configuration.

post install config

Download Vagrant ssh key and add to the authorized_keys file:

$ ftp https://adrianobarbosa.xyz/pub/vagrant-ssh-key
$ cat vagrant-ssh-key >> /mnt/home/vagrant/.ssh/authorized_keys

The file content is:

ssh-rsa AAAAB3NzaC1yc2EAAAABIwAAAQEA6NF8iallvQVp22WDkTkyrtvp9eWW6A8YVr+kz4TjGYe7gHzIw+niNltGEFHzD8+v1I2YJ6oXevct1YeS0o9HZyN1Q9qgCgzUFtdOKLv6IedplqoPkcmF0aYet2PkEDo3MlTBckFXPITAMzF8dJSIFo9D8HfdOV0IAdx4O7PtixWKn5y2hMNG0zQPyUecp4pzC6kivAIhyfHilFR61RGL+GPXQ2MWZWFYbAGjyiYJnAmCP3NOTd0jMZEnDkbUvxhMmBYSdETk1rRgm+R4LOzFUGaHqHDLKLX+FIPKcF96hrucXzcWyLbIbEgE98OHlnVYCzRdK8jlqm8tehUc9c9WhQ== vagrant insecure public key

This is an insecure public key which will be used by Vagrant on the first access and replaced later.

Create hostname.if depending on the network interface:

$ echo "autoconf" > /mnt/etc/hostname.vio0
$ echo "autoconf" > /mnt/etc/hostname.em0
$ echo "autoconf" > /mnt/etc/hostname.run0
$ echo "autoconf" > /mnt/etc/hostname.hvn0

We are good to shutdown now.

creating the box

I used the create_box.sh from the vagrant-libvirt repository.

Create the Vagrantfile with at least these two lines and any other config you wish:

Vagrant.configure("2") do |config|
    config.ssh.shell = "ksh"
    config.vm.synced_folder ".", "/vagrant", disabled: true
end

Creating the box:

$ create_box.sh openbsd70.qcow2 openbsd70.box Vagrantfile
==> Creating box, tarring and gzipping
./metadata.json
./Vagrantfile
./box.img
Total de bytes escritos: 3185121280 (3,0GiB, 189MiB/s)
==> openbsd70.box created
==> You can now add the box:
==>   'vagrant box add openbsd70.box --name openbsd70'

Adding the box to Vagrant:

$ vagrant box add openbsd70.box --name openbsd70

running the new machine

$ vagrant init openbsd70
$ vagrant up

Avaliação de abordagens para classificação automática de documentos jurídicos

2021-10-15T00:00:00-04:00

Avaliação de abordagens para classificação automática de documentos jurídicos: um estudo comparativo aplicado a petições do Tribunal de Justiça do Estado de Alagoas

José Augusto Silva, Valério Nogueira Jr, Hugo Oliveira, Adriano Barbosa, Thales Vieira, Krerley Oliveira

[pdf] [bib]

Homogeneity of Shell gas stations connected to the Shell Box

2021-08-14T00:00:00-04:00

Homogeneity of Shell gas stations connected to the Shell Box

Nonato, Luis Gustavo and Contreras, Rodrigo and Louzada Neto, Francisco and Vieira, Thales and Barbosa, Adriano and Godoy, Caroline and A. V. Tojeiro, Cynthia and Milani, Eder and Ortigossa, Evandro and Oliveira, Krerley and et al.

[pdf] [bib]

cálculo 1 - engenharia de aquicultura

2021-07-24T00:00:00-04:00

classroom

cálculo 2 - engenharia de produção

2021-07-24T00:00:00-04:00

classroom

Backup with rsync

2021-07-15T14:06:00-04:00

rsync for incremental backup

rsync -acH --exclude=$EXCLUDE --delete --link-dest=$LAST_BACKUP_DIR \
    $SOURCE_DIR/ $NEW_BACKUP_DIR

where

-a: archive mode; equals -rlptgoD (no -H,-A,-X)
-c: skip based on checksum, not mod-time & size
-H: preserve hard links
--exclude: exclude files matching $EXCLUDE
--delete: delete extraneous files from dest dirs
--link-dest: hardlink to files in $LAST_BACKUP_DIR when unchanged

Script:

#!/bin/sh
BACKUP_DIR="/mnt/backup"
mkdir -p $BACKUP_DIR
LAST_BACKUP_DIR="$BACKUP_DIR/latest"
SOURCE_DIR="/home/adriano"
NEW_BACKUP_DIR="$BACKUP_DIR/$(date '+%Y%m%d_%H%M%S')"
rsync -acH --exclude=Downloads --exclude=.cache --delete \
    --link-dest=$LAST_BACKUP_DIR $SOURCE_DIR/ $NEW_BACKUP_DIR
rm -rf $LAST_BACKUP_DIR
ln -s $(basename $NEW_BACKUP_DIR) $BACKUP_DIR/latest

transfering files

rsync -zacH --rsync-path="sudo rsync" --link-dest=$BACKUP_DIR \
    user@remote_server:/mnt/backup/ $BACKUP_DIR

where

-z: compress file data during the transfer
-a: archive mode; equals -rlptgoD (no -H,-A,-X)
-c: skip based on checksum, not mod-time & size
-H: preserve hard links
--rsync-path: specify the rsync to run on remote machine
--link-dest: hardlink to files in $BACKUP_DIR when unchanged

Notice the trick to call rsync using sudo in the remote machine in case you need it.

source: https://linuxconfig.org/how-to-create-incremental-backups-using-rsync-on-linux

Docker cheat sheet

2021-04-24T09:32:00-04:00

instalação

Siga as instruções do guia de instalação do Docker.

O comando abaixo garantirá que a instalação foi bem sucedida:

# docker run hello-world

Hello from Docker!
This message shows that your installation appears to be working correctly.
...

Os comandos podem ser experimentados sem a necessidade de instalação no Katacoda.

cheat sheet

Procurando um container:

docker search NOME_DO_CONTAINER

Rodando um container no background:

docker run -d NOME_DO_CONTAINER
docker run -d --name NOME_PERSONALIZADO_DO_CONTAINER NOME_DO_CONTAINER

Listando containers em execução e finalizados:

docker ps     # apenas em execução
docker ps -a  # inclui os containers finalizados

Abrindo portas:

docker run -d -p 80:80 nginx        # porta 80 do host mapeada na porta 80 do container
docker run -d -p 192.168.1.1:80:80  # acesso ao container apenas pelo ip especificado
docker run -d -p 80 nginx           # porta aleatória do host mapeada na porta 80 do container
docker run -d -P nginx              # mapeia todas as portas expostas do container
docker port CONTAINER 80            # lista mapeamento da porta 80 do CONTAINER

Persistência de dados (volumes):

docker run -d -v DIR_DO_HOST:DIR_DO_CONTAINER CONTAINER
docker run -d -v DIR_DO_HOST:DIR_DO_CONTAINER:ro CONTAINER  # somente leitura
docker run -d -v $PWD:DIR_DO_CONTAINER CONTAINER            # aceita variáveis de ambiente

Executar um comando num container:

docker run -it CONTAINER COMANDO   # inicia o container e executa o comando
docker exec -it CONTAINER COMANDO  # executa o comando num container em execução
docker run -it ubuntu bash         # inicia o container ubuntu e executa o bash

Dockerfile

$ cat > index.html << EOF
<h1>Ola mundo!</h1>
EOF

$ cat > Dockerfile << EOF
FROM httpd:latest
COPY index.html /usr/local/apache2/htdocs/
EOF

$ docker build -t my-apache .
Sending build context to Docker daemon  24.58kB
Step 1/2 : FROM httpd:latest
latest: Pulling from library/httpd
d121f8d1c412: Pull complete 
9cd35c2006cf: Pull complete 
b6b9dec6e0f8: Pull complete 
fc3f9b55fcc2: Pull complete 
802357647f64: Pull complete 
Digest: sha256:5ce7c20e45b407607f30b8f8ba435671c2ff80440d12645527be670eb8ce1961
Status: Downloaded newer image for httpd:latest
 ---> 417af7dc28bc
Step 2/2 : COPY index.html /usr/local/apache2/htdocs/
 ---> 50720feb4c98
Successfully built 50720feb4c98
Successfully tagged my-apache:latest


$ docker images
REPOSITORY          TAG                 IMAGE ID            CREATED              SIZE
my-apache           latest              b33254ea14ad        About a minute ago   138MB
httpd               latest              417af7dc28bc        3 weeks ago          138MB
hello-world         latest              bf756fb1ae65        9 months ago         13.3kB

# testando
$ docker run -d -p 80:80 my-apache
0df9706783418349e9727131ce6b669a7b776fba36766f41b6baf3c8d98a549f
$ curl 127.0.0.1:80
<h1>Ola mundo!</h1>

Reaproveitando imagens (onbuild):

$ cat > Dockerfile << EOF
FROM httpd:latest
ONBUILD COPY index.html /usr/local/apache2/htdocs/
EOF
$ docker build -t my-apache:onbuild .

$ mkdir server1 server2

$ cat > server1/index.html << EOF
<h1>server 1</h1>
EOF
$ cat > server1/Dockerfile << EOF
FROM my-apache:onbuild
EXPOSE 80
EOF

$ cat > server2/index.html << EOF
<h1>server 2</h1>
EOF
$ cat > server2/Dockerfile << EOF
FROM my-apache:onbuild
EXPOSE 80
EOF

$ cd server1; docker build -t server1 .; cd -
$ cd server2; docker build -t server2 .; cd -

$ docker run -d -p 8081:80 server1
$ docker run -d -p 8082:80 server2

$ curl 127.0.0.1:8081
<h1>server 1</h1>
$ curl 127.0.0.1:8082
<h1>server 2</h1>

.dockerignore

Arquivos e diretórios listados no arquivo .dockerignore são ignorados durante a build da imagem.

(em construção...)

cálculo 1 - engenharia de produção

2021-03-25T00:00:00-04:00

classroom

cálculo 3 - engenharia civil

2021-03-25T00:00:00-04:00

classroom

cálculo 3 - engenharia civil

2021-03-25T00:00:00-04:00

classroom

NVIDIA docker images on Debian Bullseye workaround

2021-01-30T19:44:00-04:00

Until the problem is fixed, use the workaround below.

Edit the file /etc/nvidia-container-runtime/config.toml and set

no-cgroups = true  
ldconfig = "/usr/sbin/ldconfig.real"

Running a container:

docker run --gpus all -it --rm \
    --device /dev/nvidia0:/dev/nvidia0 \
    --device /dev/nvidiactl:/dev/nvidiactl \
    --device /dev/nvidia-modeset:/dev/nvidia-modeset \
    --device /dev/nvidia-uvm:/dev/nvidia-uvm \
    --device /dev/nvidia-uvm-tools:/dev/nvidia-uvm-tools \
    nvcr.io/nvidia/tensorflow:20.12-tf1-py3

to test, run nvidia-smi on the container.

source:
https://github.com/NVIDIA/nvidia-docker/issues/1447#issuecomment-757034464

Managing VMs on libvirt

2021-01-30T19:29:00-04:00

install libvirt

# apt-get install libvirt-daemon-system qemu-system

if you wish a GUI manager:

# apt-get install virt-manager

if you wish a CLI manager:

# apt-get install libvirt-clients virtinst

add user to libvirt group

If you wish to use libvirt as a regular user, you need to add the user to libvirt group:

# usermod -aG libvirt USER

you need to relog after this.

managing vms

The commands below need libvirt-clients package:

list all vms:

# virsh list --all
start vm:

# virsh start VM
stop vm:

# virsh shutdown VM
force stop vm:

# virsh destroy VM
delete vm:

# virsh undefine VM
# virsh undefine --remove-all-storage VM
list all networks:

# virsh net-list --all
start a bridge network:

# virsh net-start NETWORK
stop a bridge network:

# virsh net-destroy NETWORK
list ip of vms connected to the default bridge network:

# virsh net-dhcp-leases default

installing a guest

# virt-install --virt-type=kvm --name=debian10 --ram=2048 --vcpus=2 \
--os-variant=debian10 --hvm --cdrom=/var/lib/libvirt/boot/debian-10.9.0-amd64-netinst.iso \
--graphics vnc --disk path=/var/lib/libvirt/images/debian10.qcow2,size=20,bus=virtio,format=qcow2
    Starting install...
    Allocating 'debian10.qcow2'                                   |  20 GB  00:00:03
    Domain installation still in progress. Waiting for installation to complete.

Get VNC port:

# virsh dumpxml debian10 | grep vnc
    <graphics type='vnc' port='5900' autoport='yes' listen='127.0.0.1'>

SSH port forwarding to get access to VNC:

# ssh -L 5900:127.0.0.1:5900 user@vm-host.example.com

and connect to 127.0.0.1:5900 on your VNC client.

clone and reset vm

Install libguestfs-tools:

# apt-get install libguestfs-tools

Clone and configure the cloned VM:

# virt-clone --original ORIGINAL_VM --name NEW_VM --auto-clone

--auto-clone uses the same vm settings from ORIGINAL_VM on NEW_VM.

# virt-sysprep -d NEW_VM --root-password password:NEW_PASSWORD \
      --hostname HOSTNAME --ssh-inject USER:file:PATH_TO_SSH_PUB_KEY \
      --firstboot-command "dpkg-reconfigure openssh-server" \
      --firstboot init-config.sh

# virt-sysprep -d NEW_VM --password USER:password:NEW_PASSWORD \
      --hostname HOSTNAME --ssh-inject USER:file:PATH_TO_SSH_PUB_KEY \
      --firstboot-command "dpkg-reconfigure openssh-server" \
      --firstboot init-config.sh

--root-password defines root password
--password defines USER password
--hostname defines vm hostname
--ssh-inject copy ssh public key to USER ~/.ssh/authorized_keys file
--firstboot-command executes a command on the first boot (reconfiguring openssh is necessary as virt-sysprep deletes ssh keys)
--firstboot init-config.sh runs the script init-config.sh on first boot

tuning

Use virsh edit VM and the lines below after the line <vcpu ...

<cputune>
  <vcpupin vcpu='0' cpuset='0'/>
  <vcpupin vcpu='1' cpuset='4'/>
  <vcpupin vcpu='2' cpuset='1'/>
  <vcpupin vcpu='3' cpuset='5'/>
</cputune>

source:
https://wiki.debian.org/KVM
https://www.cyberciti.biz/faq/reset-a-kvm-clone-virtual-machines-with-virt-sysprep-on-linux/

Deploy Django with httpd(8) and uWSGI

2020-10-26T17:52:00-04:00

Django project

Django project directory structure:

/var/www/django/
/var/www/django/manage.py
/var/www/django/myproject
/var/www/django/myproject/__init__.py
/var/www/django/myproject/urls.py
/var/www/django/myproject/wsgi.py
/var/www/django/myproject/wsgi.ini  <--- uwsgi config file
/var/www/django/myproject/settings.py
/var/www/django/myproject/asgi.py

uwsgi.ini

[uwsgi]
chdir=/var/www/django
home=/var/www/django/env
module=myproject.wsgi:application
env DJANGO_SETTINGS_MODULE=myproject.settings
master=True
fastcgi-socket=127.0.0.1:3031
vacuum=True
uid=www
gid=www

Python virtual env

# python3 -m venv /var/www/django/env
# . /var/www/django/env/bin/activate
# pip install django uwsgi
# chown -R www.www /var/www/django

rcctl script

Create the file /etc/rc.d/uwsgid with the following content:

#!/bin/sh
#
UWSGI_INI="/var/www/django/uwsgi.ini"
PID_FILE="/var/www/django/uwsgi.pid"
LOG_FILE="/var/www/django/uwsgi.log"

daemon_user="www"
daemon_group="www"
daemon="/var/www/django/env/bin/uwsgi --ini ${UWSGI_INI} --pidfile ${PID_FILE} --daemonize ${LOG_FILE}"

. /etc/rc.d/rc.subr

rc_reload="NO"
rc_stop() {
        kill -INT `cat ${PID_FILE}`
}

rc_cmd $1

Make script executable: # chmod +x /etc/rc.d/uwsgid

httpd(8)

Add the server config to /etc/httpd.conf:

server "django" {
    listen on egress tls port 443
    tls {
        certificate "/etc/ssl/server.crt"
        key "/etc/ssl/private/server.key"
    }
    location "/static/*" {
        request strip 1
        root "/django/static"
    }
    location "/media/*" {
        request strip 1
        root "/media/media"
    }
    location "/*" {
        fastcgi socket tcp 127.0.0.1 3031
    }
}

(using the new httpd(8) fastcgi syntax from OpenBSD 6.8)

OpenBSD semafores

# sysctl kern.seminfo.semmni=20
# sysctl kern.seminfo.semmns=120
# sysctl kern.seminfo.semmnu=60
# sysctl kern.seminfo.semmsl=120
# sysctl kern.seminfo.semopm=200

Add the lines below to /etc/sysctl.conf to make the changes persistent:

kern.seminfo.semmni=20
kern.seminfo.semmns=120
kern.seminfo.semmnu=60
kern.seminfo.semmsl=120
kern.seminfo.semopm=200

Start httpd(8) and uWSGI

# rcctl enable httpd uwsgid
# rcctl start httpd uwsgid

Debugging uWSGI errors

uWSGI log file is located in /var/www/django/uwsgi.log.

Git cheat sheet

2020-10-08T21:10:00-04:00

Aprendendo Git no Katacoda.

Inicializando um repositório a partir do diretório atual na sua máquina:

git init

Clonando um repositório para sua máquina:

git clone ENREDEÇO_DO_REPOSITÓRIO

Verificando o estado do repositório:

git status

Adicionando arquivos à área de staging:

git add ARQUIVO

Executando um commit:

git commit -m "MENSAGEM"

Verificando alterações nos arquivos:

git diff                  # todos os arquivos
git diff ARQUIVO          # um arquivo específico
git diff HASH_DO_COMMIT   # compara com um commit
git diff COMMIT1 COMMIT2  # compara dois commits

Log de ações:

git log                                    # formato padrão
git log --pretty=format:"%h %an %ar - %s"  # especifica um formato de saída
git log --grep="abc"                       # busca commits com a string "abc"
git log --oneline                          # log resumido
git log --since="1 week"                   # commits de até uma semana
git log --help                             # para mais informações

Visualizando modificações:

git show                 # exibe o diff do último commit
git show HASH_DO_COMMIT  # exibe o diff de um commit específico

Listar branches:

git branch     # branches locais
git branch -r  # branches remotos
git branch -a  # branches locais e remotos

Criando, alterando e deletando branch de trabalho:

git branch BRANCH                # cria um novo branch
git checkout BRANCH              # altera o branch de trabalho
git checkout -b BRANCH           # cria e muda para o novo branch
git branch -d BRANCH             # deleta um branch localmente
git push REMOTE --delete BRANCH  # deleta um branch remoto

Repositórios remotos:

git remote -v                 # exibe os repositórios remotos
git remote add NOME ENDEREÇO  # adiciona um repositório remoto
git remote rm NOME            # remove o repositório remoto

Sincronizando repositório local e remoto:

git push NOME BRANCH   # envia os commits locais para o repositório NOME no branch BRANCH
git pull NOME BRANCH   # baixa os commits do repositório remoto
git fetch NOME BRANCH  # baixa informações do repositório remoto sem alterar o branch local

Desfazendo mudanças:

git checkout -- ARQUIVO     # descarta mudanças no ARQUIVO
git checkout .              # descarta mudanças em todos os arquivo do diretório atual
git reset ARQUIVO           # retira o ARQUIVO da área de staging
git reset                   # retira todos os arquivos da área de staging
git reset --hard ARQUIVO    # retira da área de staging e reverte as mudanças no ARQUIVO
git reset --hard COMMIT     # limpa a área de staging e reverte as mudanças para o COMMIT
git reset --hard HEAD       # limpa a área de staging e reverte as mudanças para o último commit

Revertendo commits:

git revert COMMIT             # desfaz as mudanças feitas no COMMIT
git revert HEAD               # desfaz as mudanças feitas último commit
git revert COMMIT1...COMMIT2  # desfaz as mudanças entre os commits

Merge de branches:

git merge BRANCH

Quando mudanças num arquivo local e sua versão remota geram diffs diferentes para um mesmo conjunto de linhas, tem-se um conflito e o merge automático não é possível. Nesses casos, o arquivo local apresentará os marcadores abaixo separando as mudanças no arquivo remoto e no arquivo local

<<<<<<< HEAD
# mudanças feitas no arquivo local
=======
# mudanças feitas no arquivo remoto
>>>>>>> HASH_DO_COMMIT

Para resolver o conflito, é possível preservar apenas uma das versões (local ou remota)

git checkout --ours ARQUIVO    # mantem as mudanças feitas localmente
git checkout --theirs ARQUIVO  # mantem as mudanças feitas remotamente

Entretanto, quando ambas as mudanças precisam ser incorporadas a versão final, o arquivo precisa ser editado manualmente removendo as marcações e deixando-o na sua versão final considerando as ambas as mudanças.

Exemplo do merge de branchs:

$ git checkout master
$ git log --oneline
7a4d5f7 (HEAD -> master) D
906d0f4 C
16d27f9 B
68140e0 A

$ git checkout dev
$ git log --oneline
225f507 (HEAD -> dev) G
1006597 F
152da18 E
16d27f9 B
68140e0 A

$ git checkout master
$ git merge dev
$ git log --oneline
932d94a (HEAD -> master) Merge branch 'dev'
225f507 (dev) G
7a4d5f7 D
1006597 F
906d0f4 C
152da18 E
16d27f9 B
68140e0 A

Ilustração do exemplo:

      E---F---G    dev
     /         \
A---B---C---D---M  master

Rebase:

git rebase BRANCH

Fazer um rebase significa refazer o ponto de partida (base) do branch. No exemplo abaixo, o branch dev foi iniciado no commit B.

      E---F---G  dev
     /
A---B---C---D    master

Ao executar um rebase no branch dev, aplicamos os commits B, C e D ao branch dev e reaplicamos os commits E, F e G. Observe que pode haver conflitos de modo semelhante ao merge ao executar o rebase.

              E'---F'---G'  dev
             /
A---B---C---D    master

Exemplo do rebase de branchs:

$ git checkout master
$ git log --oneline
7a4d5f7 (HEAD -> master) D
906d0f4 C
16d27f9 B
68140e0 A

$ git checkout dev
$ git log --oneline
225f507 (HEAD -> dev) G
1006597 F
152da18 E
16d27f9 B
68140e0 A

$ git rebase master
$ git log --oneline
55bdc65 (HEAD -> dev) G
8a0ee8a F
aa99277 E
7a4d5f7 (master) D
906d0f4 C
16d27f9 B
68140e0 A

Observe que o hash dos commits E, F e G mudou após o rebase. Existem outros cuidados que precisam ser considerados ao utilizar o rebase.

Merge ou rebase?

Dada a situação abaixo

      E---F---G  dev
     /
A---B---C---D    master

execute um rebase no branch dev e resolva eventuais conflitos:

              E'---F'---G'  dev
             /
A---B---C---D    master

Observe que apenas o branch dev foi afetado até momento. Em seguida, execute o merge no branch master:

              E'---F'---G'   dev
             /           \
A---B---C---D-------------M  master

Bisseção (procurando bugs):

git bisect start            # inicia o modo de bisseção
git bisect bad COMMIT_RUIM  # marca o commit como ruim
git bisect good COMMIT_BOM  # marca o commit que se sabe não ter o bug
# marca-se cada commit dado pelo git como bom ou ruim
git bisect good             # se o commit não apresenta o bug
git bisect bad              # se o commit apresenta o bug
# ao final das iterações o git identifica o commit que introduziu o bug
git bisect reset            # finaliza a bisseção
# você pode analisar e corrigir o problema

A busca por bisseção evita que todos os commits entre COMMIT_BOM e COMMIT_RUIM precisem ser analisados.

Identificando os responsáveis (blame):

git blame ARQUIVO          # mostra a última pessoa a alterar cada linha do ARQUIVO
git blame -L 5,11 ARQUIVO  # mostra a última pessoa a alterar as linhas de 5 a 11 do ARQUIVO

Escolhendo as mudanças (cherry picking):

git cherry-pick COMMIT      # aplica o COMMIT de um outro branch ao branch atual
git cherry-pick --abort     # cancela o cherry picking em caso de conflito, por exemplo
git cherry-pick --continue  # continua o cherry picking após resolver o conflito

Alterando commits:

git commit --amend               # permite alterar o último commit
git rebase --interactive HEAD~5  # permite alterar os últimos 5 commits
git rebase --interactive --root  # permite alterar todos os commits

LRCN-RetailNet: A recurrent neural network architecture for accurate people counting

2020-10-07T00:00:00-04:00

LRCN-RetailNet: A recurrent neural network architecture for accurate people counting

L. Massa, A. Barbosa, K. Oliveira, T. Vieira

[pdf] [bib]

introdução ao cálculo - matemática

2020-09-25T00:00:00-04:00

clasroom

introdução ao cálculo - matemática

2020-08-30T00:00:00-04:00

aulas

Unidade 1:
08/09 - Conjuntos numéricos
09/09 - Conjuntos numéricos: Aula 1 Aula 2 Aula 3 Exercícios
10/09 - Funções e funções inversas e compostas: Aula 1 Aula 2 Exercícios
11/09 - Avaliação P1

Unidade 2:
14/09 - Funções afins
15/09 - Funções afins: Aula Exercícios
16/09 - Funções quadráticas
17/09 - Funções quadráticas: Aula Exercícios 1 Exercícios 2 Exercícios 3
18/09 - Avaliação P2

Unidade 3:
21/09 - Funções exponenciais
22/09 - Funções exponenciais: Aula Exercícios
23/09 - Logaritmos
24/09 - Logaritmos: Aula 1 Aula 2 Aula 3 Exercícios
25/09 - Avaliação P3

Unidade 4:
28/09 - Funções trigonométricas
29/09 - Funções trigonométricas: Aula Exercícios 1 Exercícios 2 Exercícios 3
30/09 - Limites de funções
01/10 - Limites de funções: Aula 1 Aula 2 Exercícios

avaliação

Serão realizadas quatro avaliações escritas (P1, P2, P3 e P4), cuja média de aproveitamento (MA) será obtida da seguinte maneira:
MA = (P1 + P2 + P3 + P4) / 4
Datas:
P1 - 11/09/2020
P2 - 18/09/2020
P3 - 25/09/2020
P4 - 02/10/2020

Prova Substitutiva:
Haverá uma prova substitutiva, a qual abrangerá todo conteúdo da disciplina e substituirá a menor nota. Após todas as avaliações, o acadêmico que obtiver MA maior ou igual a 6,0 (seis) estará aprovado.
Data:
Sub - 05/10/2020

Exame:
Terá direito ao exame quem tiver MA maior ou igual a 4,0 (quatro) e será aprovado se a nota do exame for maior ou igual a 6,0 (seis).
Data:
Exame - 08/10/2020

ementa

bibliografia:

Mantovani, A.A.M.D.F.A.A.L. M. Pré-cálculo. [Digite o Local da Editora]: Grupo A, 2015. 9788582603215. Disponível em: https://integrada.minhabiblioteca.com.br/#/books/9788582603215/. Acesso em: 29 Aug 2020
Fred, S. Pré-Calculo. [Digite o Local da Editora]: Grupo A, 2011. 9788577809271. Disponível em: https://integrada.minhabiblioteca.com.br/#/books/9788577809271/. Acesso em: 29 Aug 2020
Gomes, F. M. Pré-cálculo: Operações, equações, funções e trigonometria. [Digite o Local da Editora]: Cengage Learning Brasil, 2018. 9788522127900. Disponível em: https://integrada.minhabiblioteca.com.br/#/books/9788522127900/. Acesso em: 29 Aug 2020
K., K.L.A.C.J.M. B. Álgebra na Universidade - Um Curso Pré-Cálculo, 5a edição. [Digite o Local da Editora]: Grupo GEN, 2013. 978-85-216-2530-8. Disponível em: https://integrada.minhabiblioteca.com.br/#/books/978-85-216-2530-8/. Acesso em: 29 Aug 2020
Sheldon, A. Pré-Cálculo - Uma Preparação para o Cálculo, 2a edição. [Digite o Local da Editora]: Grupo GEN,
1. Disponível em: https://integrada.minhabiblioteca.com.br/#/books/9788521632153/. Acesso em: 29 Aug 2020

plano de ensino:

As informações acima constam no plano de ensino do curso.

cálculo 1 - engenharia de produção

2020-03-09T00:00:00-04:00

listas

Lista 01
Lista 02
Lista 03
Lista 04

material complementar

Gráficos de Funções Reais

provas

em breve...

avaliação

Serão realizadas duas provas escritas (P1 e P2), cuja média de aproveitamento (MA) será obtida da seguinte maneira:
MA = (P1 + P2) / 2
Datas:
P1 - 24/04/2020
P2 - 16/06/2020

Prova Substitutiva:
Haverá uma prova substitutiva, a qual abrangerá o conteúdo da avaliação de menor nota e substituirá a mesma. Após todas as avaliações, o acadêmico que obtiver MA maior ou igual a 6,0 (seis) e frequência de, no mínimo, 75% estará aprovado.
Data:
Sub - 23/06/2020

Exame:
Terá direito ao exame quem tiver MA maior ou igual a 4,0 (quatro) e será aprovado se a nota do exame for maior ou igual a 6,0 e freqüência de, no mínimo, 75%.
Data:
Exame - 30/06/2020

ementa

Números Reais, Funções Reais de uma Variável. Limite e Continuidade. Cálculo Diferencial. Cálculo Integral. Aplicações.

bibliografia:

STEWART, James. Cálculo. São Paulo: Cengage Learning, 2014. v.1.
ANTON, Howard; DAVIS, Stephen; BIVENS, Irl. Cálculo. 10. ed. Porto Alegre, RS: Bookman, 2014. v.1.
WEIR, Maurice D.; THOMAS, Joel Hass George B. Cálculo. Vol 1. 12º edição. São Paulo: Pearson Makron Boocks.
GUIDORIZZI, H. L. Um Curso de Cálculo. Vol. 1. 5ª ed. Rio de Janeiro: LTC, 2001.
ÁVILA, Geraldo. Cálculo 1: funções de uma variável, editora LTC.

cálculo 3 - engenharia civil

2020-03-09T00:00:00-04:00

listas

Lista 0
Lista 1
Lista 2

provas

em breve...

avaliação

Serão realizadas duas provas escritas (P1 e P2), cuja média de aproveitamento (MA) será obtida da seguinte maneira:
MA = (P1 + P2) / 2
Datas:
P1 - 24/04/2020
P2 - 19/06/2020

Exame:
Terá direito ao exame o acadêmico que obtiver MA maior ou igual a 4,0 (quatro) e será aprovado se a nota do exame for maior ou igual a 6,0 e frequência de, no mínimo, 75%.
Data:
Exame - 03/07/2020

ementa

bibliografia:

STEWART, James. Cálculo. 7. ed. São Paulo, SP: Cengage Learning, 2013. v.2.
ANTON, Howard; DAVIS, Stephen; BIVENS, Irl. Cálculo . 8. ed. Porto Alegre, RS: Bookman, 2007. v.2.
STEWART, James. Cálculo. São Paulo: Cengage Learning, 2014. v.1.
ANTON, Howard; DAVIS, Stephen; BIVENS, Irl. Cálculo. 10. ed. Porto Alegre, RS: Bookman, 2014. v.1.
AVILA, G. Calculo. Rio de Janeiro: LTC, 2007
HOFFMANN, L. D; BRADLEY, G. L. Calculo. Rio de Janeiro: LTC, 2002.

plano de ensino

As informações acima constam no plano de ensino do curso.

cálculo 3 - engenharia mecânica

2020-03-09T00:00:00-04:00

listas

Lista 0
Lista 1
Lista 2

provas

em breve...

avaliação

Serão realizadas duas provas escritas (P1 e P2), cuja média de aproveitamento (MA) será obtida da seguinte maneira:
MA = (P1 + P2) / 2
Datas:
P1 - 23/04/2020
P2 - 18/06/2020

ementa

bibliografia:

STEWART, James. Cálculo. 7. ed. São Paulo, SP: Cengage Learning, 2013. v.2.
ANTON, Howard; DAVIS, Stephen; BIVENS, Irl. Cálculo . 8. ed. Porto Alegre, RS: Bookman, 2007. v.2.
STEWART, James. Cálculo. São Paulo: Cengage Learning, 2014. v.1.
ANTON, Howard; DAVIS, Stephen; BIVENS, Irl. Cálculo. 10. ed. Porto Alegre, RS: Bookman, 2014. v.1.
AVILA, G. Calculo. Rio de Janeiro: LTC, 2007
HOFFMANN, L. D; BRADLEY, G. L. Calculo. Rio de Janeiro: LTC, 2002.

plano de ensino

As informações acima constam no plano de ensino do curso.

Uma introdução as projeções multidimensionais

2020-02-28T00:00:00-04:00

Uma introdução as projeções multidimensionais

A. Barbosa

[pdf] [bib]

Projeções multidimensionais, por onde começar?

2020-02-21T00:00:00-04:00

Projeções multidimensionais, por onde começar?

A. Barbosa

[pdf] [bib] [evento]

Installing scipy and sklearn on OpenBSD using pip

2019-11-19T07:59:10-04:00

Before we begin, both are available from OpenBSD ports tree! But if you need to compile them for any purpose, you can use the following.

scipy needs Fortran compiler and Lapack

doas pkg_add g95 lapack
ln -s /usr/local/bin/egfortran ~/bin/f95
pip install --user scipy

sklearn needs to be built from source without OpenMP. Download from GitHub.

pip install --user Cython
cd ~/.local/lib/python3.7/site-packages
tar zxf ~/Downloads/scikit-learn-0.20.4.tar.gz
cd scikit-learn-0.20.4
export SKLEARN_NO_OPENMP=TRUE
python setup.py build
python setup.py install --prefix=~/.local

Using Let's Encrypt DNS-01 challenge on OpenBSD

2019-08-30T09:52:00-04:00

So, my ISP is blocking port 80... I could redirect traffic to my server using another port, but was not able to renew my Let's Encrypt certificates using HTTP-01 challenge. This is how one could use DNS-01 challenge to get/renew certificates.

First install certbot:

doas pkg_add certbot

Now ask for the challenge:

certbot certonly --manual --preferred-challenges dns --server https://acme-v02.api.letsencrypt.org/directory --manual-public-ip-logging-ok -d your.domain

Change your.domain with yout domain, adrianobarbosa.xyz in my case.

Certbot will return:

Please deploy a DNS TXT record under the name
_acme-challenge.your.domain with the following value:

aCMe-cHaLlenGe-vAluE

where aCMe-cHaLlenGe-vAluE is a string you will set on your DNS server as a TXT record value under the name _acme-challenge.

Wait for DNS propagation and press Enter.

Source: DEV

OpenBSD 6.5 arm64 (aarch64) on QEMU

2019-05-19T17:02:00-04:00

Using OpenBSD 6.5 arm64 (aarch64) on QEMU

Install QEMU

doas pkg_add qemu

Download QEMU EFI

ftp http://releases.linaro.org/components/kernel/uefi-linaro/latest/release/qemu64/QEMU_EFI.fd

Download OpenBSD 6.5 arm64 install media

ftp https://cdn.openbsd.org/pub/OpenBSD/6.5/arm64/miniroot65.fs

Create the disk image

qemu-img create -f qcow2 obsd-arm64.qcow2 10G

Start the virtual machine

qemu-system-aarch64 \
-M virt \
-m 512 \
-cpu cortex-a57 \
-bios QEMU_EFI.fd \
-drive file=miniroot65.fs,format=raw,id=drive1 \
-drive file=obsd-arm64.qcow2,if=none,id=drive0,format=qcow2 \
-device virtio-blk-device,drive=drive0 \
-nographic \
-serial tcp::4450,server,telnet,wait

In another terminal, connect to the virtual machine serial console

telnet localhost 4450

Follow OpenBSD install and finish the installation.

From now on we can start the virtual machine without the install media

qemu-system-aarch64 \
-M virt \
-m 512 \
-cpu cortex-a57 \
-bios QEMU_EFI.fd \
-drive file=obsd-arm64.qcow2,if=none,id=drive0,format=qcow2 \
-device virtio-blk-device,drive=drive0 \
-nographic \
-serial tcp::4450,server,telnet,wait

Source: https://cryogenix.net/OpenBSD_arm64_qemu.html

cálculo 3 - engenharia de alimentos

2019-02-08T00:00:00-03:00

listas

Lista 0
Lista 1
Lista 2
Lista 3
Lista 4
Lista 5
Lista 6
Lista 7
Lista 8
Lista 9
Lista 10
Lista 11
Lista 12
Lista 13

aulas

Integral dupla
Integral regiões gerais
Coordenadas polares
Integral tripla
Coordenadas cilíndricas e esféricas
Aplicações das integrais
Curvas e campos vetoriais
Integral de linha
Integral de linha de campos vetoriais
Teorema fundamental das integrais de linha
Teorema de Green

provas

Avaliação P1
Avaliação P2
Avaliação PS

avaliação

Serão realizadas duas provas escritas (P1 e P2), cuja média de aproveitamento (MA) será obtida da seguinte maneira:
MA = (P1 + P2) / 2
Datas:
P1 - 10/04/2019
P2 - ~~17/06/2019~~ 12/06/2019

ementa

bibliografia:

STEWART, James. Cálculo. 7. ed. São Paulo, SP: Cengage Learning, 2013. v.2.
ANTON, Howard; DAVIS, Stephen; BIVENS, Irl. Cálculo . 8. ed. Porto Alegre, RS: Bookman, 2007. v.2.
STEWART, James. Cálculo. São Paulo: Cengage Learning, 2014. v.1.
ANTON, Howard; DAVIS, Stephen; BIVENS, Irl. Cálculo. 10. ed. Porto Alegre, RS: Bookman, 2014. v.1.
AVILA, G. Calculo. Rio de Janeiro: LTC, 2007
HOFFMANN, L. D; BRADLEY, G. L. Calculo. Rio de Janeiro: LTC, 2002.

plano de ensino

As informações acima constam no plano de ensino do curso.

cálculo 3 - engenharia civil

2019-02-08T00:00:00-03:00

listas

Lista 0
Lista 1
Lista 2
Lista 3
Lista 4
Lista 5
Lista 6
Lista 7
Lista 8
Lista 9
Lista 10
Lista 11
Lista 12
Lista 13

aulas

provas

Avaliação P1
Avaliação P2
Avaliação PS

avaliação

Serão realizadas duas provas escritas (P1 e P2), cuja média de aproveitamento (MA) será obtida da seguinte maneira:
MA = (P1 + P2) / 2
Datas:
P1 - 05/04/2019
P2 - 07/06/2019

ementa

bibliografia:

STEWART, James. Cálculo. 7. ed. São Paulo, SP: Cengage Learning, 2013. v.2.
ANTON, Howard; DAVIS, Stephen; BIVENS, Irl. Cálculo . 8. ed. Porto Alegre, RS: Bookman, 2007. v.2.
STEWART, James. Cálculo. São Paulo: Cengage Learning, 2014. v.1.
ANTON, Howard; DAVIS, Stephen; BIVENS, Irl. Cálculo. 10. ed. Porto Alegre, RS: Bookman, 2014. v.1.
AVILA, G. Calculo. Rio de Janeiro: LTC, 2007
HOFFMANN, L. D; BRADLEY, G. L. Calculo. Rio de Janeiro: LTC, 2002.

plano de ensino

As informações acima constam no plano de ensino do curso.

cálculo 3 - engenharia mecânica

2019-02-08T00:00:00-03:00

listas

Lista 0
Lista 1
Lista 2
Lista 3
Lista 4
Lista 5
Lista 6
Lista 7
Lista 8
Lista 9
Lista 10
Lista 11
Lista 12
Lista 13

aulas

provas

Avaliação P1
Avaliação P2
Avaliação PS

monitoria

Monitor: Luiz Felipe
Local e horário:
Bloco D, sala 255
Segundas-feiras das 11h às 12h
Terças-feiras das 11h às 12h
Quartas-feiras das 15h às 16h
Sextas-feiras das 11h às 12h

avaliação

Serão realizadas duas provas escritas (P1 e P2), cuja média de aproveitamento (MA) será obtida da seguinte maneira:
MA = (P1 + P2) / 2
Datas:
P1 - 11/04/2019
P2 - 11/06/2019

ementa

bibliografia:

STEWART, James. Cálculo. 7. ed. São Paulo, SP: Cengage Learning, 2013. v.2.
ANTON, Howard; DAVIS, Stephen; BIVENS, Irl. Cálculo . 8. ed. Porto Alegre, RS: Bookman, 2007. v.2.
STEWART, James. Cálculo. São Paulo: Cengage Learning, 2014. v.1.
ANTON, Howard; DAVIS, Stephen; BIVENS, Irl. Cálculo. 10. ed. Porto Alegre, RS: Bookman, 2014. v.1.
AVILA, G. Calculo. Rio de Janeiro: LTC, 2007
HOFFMANN, L. D; BRADLEY, G. L. Calculo. Rio de Janeiro: LTC, 2002.

plano de ensino

As informações acima constam no plano de ensino do curso.

Running OpenBSD on Vultr, check your clock!

2018-11-06T16:40:00-03:00

Recently I noticed a problem with the clock on my OpenBSD virtual machine running on Vultr. The clock on the virtual machine was off by days frequently. Investigating the problem, I noticed that top was not updating the information each 5s as it should and sleep 1 was taking more than 1s to run.

After some research, Google lead me to this Reddit post.

The problem is related with some configuration on the virtualization software Vultr uses. After calling the support, they fixed it for me very fast!

As I'm a n00b, it was my fault... I decided to install my virtual machine as a custom OS using an uploaded image of OpenBSD while Vultr provides an OpenBSD virtual machine wich runs without this problem as described by their support "deploying with one of our images from the Vultr control panel would automatically apply the necessary adjustments".

álgebra elementar - matemática

2018-08-11T00:00:00-04:00

listas

Lista 01
Lista 02
Lista 03
Lista 04
Lista 05
Lista 06
Lista 07
Lista 08
Lista 09
Lista 10
Lista 11
Lista 12
Lista 13
Lista 14

material complementar

Desigualdades

provas

Avaliação P1
Avaliação P2
Avaliação PS

monitoria

Monitor: João Pedro
Sala: B210
Horário:
terças-feiras das 12h às 13h
quintas-feiras das 12h às 15h

avaliação

Serão realizadas duas provas escritas (P1 e P2), cuja média de aproveitamento (MA) será obtida da seguinte maneira:
MA = (P1 + P2) / 2
Datas:
P1 - 05/10/2018
P2 - 30/11/2018

Exame:
Terá direito ao exame quem tiver MA maior ou igual a 4,0 (quatro) e será aprovado se a nota do exame for maior ou igual a 6,0 e frequência de, no mínimo, 75%.
Data:
Exame - 14/12/2018

ementa

Proposições. Cálculo proposicional. Implicação e equivalências lógicas. Quantificadores. Técnicas de demonstração. Teoria elementar dos conjuntos: conceitos iniciais, propriedades, construção de conjuntos, álgebra de conjuntos, produto cartesiano. Relações binárias, aplicações e operações.

bibliografia:

ALENCAR FILHO, Edgard de. Iniciação a lógica matemática. São Paulo: Nobel, 1986. 203p.
COPI, Irving M. Introdução a lógica. 2. São Paulo: Mestre Jou, 1981. 488p.
IEZZI, Gelson; MURAKAMI, Carlos. Fundamentos de matemática elementar: conjuntos e funções. 6 ed. São Paulo: Atual.
GERÔNIMO, J. R.; FRANCO, V. S. Fundamentos de matemática. Editora da UEM. Maringá. 2006.
LIMA, Elon Lages. Meu professor de matemática e outras histórias. 6 ed. Rio de Janeiro: SBM. 2012.
LIMA, E. L.; CARVALHO, P. C. P.; WAGNER, E.; MORGADO, A. C. A matemática do ensino médio, volume 1. 9 ed. Rio de Janeiro: SBM. 2006.
OLIVEIRA, Krerley; FERNÁNDEZ, Adán J. C. Iniciação à matemática: um curso com problemas e soluções. Rio de Janeiro: SBM. 2010.

plano de ensino

As informações acima constam no plano de ensino do curso.

cálculo 2 - engenharia de energia

2018-08-11T00:00:00-04:00

listas

Lista 1
Lista 2
Lista 3
Lista 4
Lista 5
Lista 6
Lista 7
Lista 8
Lista 9
Lista 10
Lista 11
Lista 12

provas

Avaliação P1
Avaliação P2
Avaliação P3
Avaliação PS

monitoria

Monitor: Matheus Xavier
Horário e local:
segundas-feiras das 14h às 17h, sala D-255
terças-feiras das 14h às 15h, sala D-101

avaliação

Serão realizadas três provas escritas (P1, P2 e P3), cuja média de aproveitamento (MA) será obtida da seguinte maneira:
MA = (P1 + P2 + P3) / 3
Datas:
P1 - 21/09/2018
P2 - 26/10/2018
P3 - 30/11/2018

Exame:
Terá direito ao exame quem tiver MA maior ou igual a 4,0 (quatro) e será aprovado se a nota do exame for maior ou igual a 6,0 e frequência de, no mínimo, 75%.
Data:
Exame - 14/12/2018

ementa

bibliografia:

STEWART, James. Cálculo. São Paulo: Cengage Learning, 2014. v.1.
STEWART, James. Cálculo. 7. ed. São Paulo, SP: Cengage Learning, 2013. v.2.
ANTON, Howard; DAVIS, Stephen; BIVENS, Irl. Cálculo. 10. ed. Porto Alegre, RS: Bookman, 2014. v.1.
ANTON, Howard; DAVIS, Stephen; BIVENS, Irl. Cálculo . 8. ed. Porto Alegre, RS: Bookman, 2007. v.2.
BOYCE, W.E.; DI PRIMA, R.C. Equações Diferenciais Elementares e Problemas de Valores de Contorno. 8a ed. Rio de Janeiro. LTC. 2006.
AVILA, G. Calculo. Rio de Janeiro: LTC, 2007
HOFFMANN, L. D; BRADLEY, G. L. Calculo. Rio de Janeiro: LTC, 2002.

plano de ensino

As informações acima constam no plano de ensino do curso.

OpenBSD 6.3 live USB

2018-07-14T22:53:00-04:00

Using OpenBSD 6.3 and vmd(8)

Create the disk image

vmctl create disk.img -s 4G

Start the virtual machine booting bsd.rd kernel, disk.img as disk, install63.iso as cdrom and 512M of memory

vmctl start "live" -b /bsd.rd -d disk.img -r /path/to/install63.iso -m 512M

Follow OpenBSD install, but when asked if you would like to change default console answer no

Change the default console to com0? [yes] no

and finish the installation.

Now we are ready to dd(1) the disk to our USB stick rsdX

dd if=disk.img of=/dev/rsdXc bs=1m

The USB stick is ready to boot.

Using GNU/Linux and QEMU

Create disk.img

qemu-img create disk.img 4G

Start a virtual machine using disk.img as hard drive, booting from first cdrom, install63.iso as cdrom and 512M of memory

qemu-system-x86_64 -hda disk.img -boot d -cdrom /path/to/install63.iso -m 512

Follow OpenBSD install to the end.

Now we are ready to dd(1) the disk to our USB stick sdX

dd if=disk.img of=/dev/sdX bs=1M

The USB stick is now ready to boot.

Encrypt partition in OpenBSD 6.3

2018-07-07T20:24:00-04:00

This post is meant to guide througt encrypt a specific partition in OpenBSD 6.3. We will encrypt /home partition:

Umount /home partition

# umount /home

Suppose your system is running on disk sdX. Discover the identifier of /home partition

# disklabel -E sdX
Label editor (enter '?' for help at ane prompt)
> p g
...

in my disk the /home patition is m:.

Still in disklabel, change /home file system type

> m m
offset: [...]
size: [...]
FS type: [4.2BSD] RAID
> w
> q

Write random data to avoid data recovery and protect the encrypted data (this can be a very time-consuming process, depending on the speed of your CPU and disk, as well as the size of the disk)

# dd if=/dev/random of=/dev/rsdXm bs=1m

Now we attach sdXm as a crypto volume

# bioctl -c C -l /dev/sdXm softraid0
New passphrase:
Re-type passphrase:
softraid0: CRYPTO volume attached as sdY

Note that our crypto volume is now identified as sdY.

Let's now zero the first megabyte of sdY to clean the master boot record and disklabel

# dd if=/dev/zero of=/dev/rsdYc bs=1m count=1

Now we create a partition on sdY

# fdisk -iy sdY
# disklabel -E sdY
Label editor (enter '?' for help at ane prompt)
> a
...

Format the partition

# newfs /dev/rsdYa

Delete or comment /home entry in /etc/fstab.

Get the disks uid

# disklabel sdX | grep uid
duid: 123abc
# disklabel sdY | grep uid
duid: 789xyz

We need to mount the crypto volume during the boot. Add the following lines to start up script /etc/rc.local

for i in 1 2 3; do  # tries to mount 3 times
    bioctl -c C -l 123abc.m softraid0 && break  # attach sdXm as crypto volume
    sleep 2  # wait 2 seconds between tries
done
fsck /dev/rsdYa  # check crypto volume fs for error
mount -o rw,nodev,nosuid,softdep 789xyz.a /home  # mount partition

And we are done! Your system is ready to boot with the /home partition enctypted and ready to mount at boot.

Last note: /home partition is completelly empty, so if you have any user other than root on your system, you need to create each user directory and set the right permitions.

Source: http://astro-gr.org/openbsd-encrypt-home/

Determinando o preço de um produto

2018-07-06T08:50:00-04:00

Suponha que um vendedor de paçoca venda seu produto a R$ 5,00 e que no mês de junho, durante as festas juninas, ele fez uma promoção e vendeu cada paçoca a R$ 4,00. Nesse período ele notou que vendeu 30 unidades a mais que as 100 que costumava vender por mês.

Como podemos ajudar nosso amigo vendedor a determinar o preço da paçoca de modo a obter o maior faturamento possível? De outro modo, qual deve ser o desconto ideal para que a faturamento do vendedor seja máximo?

Vamos assumir que a relação entre o preço e o número de unidades vendidas se mantenha, ou seja, que cada R$ 1,00 de desconto resulte em 30 unidades vendidas a mais. Vejamos alguns números:

Preço unitário	Vendas	Faturamento do mês
R$ 2,00	190	R$ 380,00
R$ 3,00	160	R$ 480,00
R$ 4,00	130	R$ 520,00
R$ 5,00	100	R$ 500,00
R$ 6,00	70	R$ 420,00
R$ 7,00	40	R$ 280,00

Observe que são vendidas $100+30x$ unidades sempre que reduzimos $x$ reais no preço unitário da paçoca. Dessa forma, se o preço unitário for $5-x$, serão vendidos $100+30x$ unidades e o faturamento será de $(100+30x)(5-x)$ reais.

Como

$$(100+30x)(5-x) = 500-100x+150x-30x^2 = 500+50x-30x^2$$

a função quadrática $F(x) = 500+50x-30x^2$ nos dá o faturamento obtido a cada $x$ reais de desconto no preço inicial de R$ 5,00.

Para resolver nosso problema, basta descobrir para qual valor de $x$ (desconto ideal) a função $F$ atinge seu valor máximo (maior faturamento possível). Completanto o quadrado:

$$F(x) = 500+50x-30x^2 = -30\left(x-\frac{5}{6}\right)^2 + \frac{3125}{6}$$

Mas, $\left(x-\frac{5}{6}\right)^2 \ge 0$, pois o quadrado de qualquer número real é sempre $\ge 0$. Assim, $-30\left(x-\frac{5}{6}\right)^2 \le 0$ qualquer que seja o número real $x$.

Logo, o maior valor alcançado por $F$ é $\frac{3125}{6} \approx 520,83$ e é obtido quando $-30\left(x-\frac{5}{6}\right)^2=0 \Rightarrow x=\frac{5}{6} \approx 0,83$.

Portanto, ao dar um desconto de R$ 0,83, ou seja, ao vender suas paçocas a R$ 4,17, nosso amigo vendedor obterá o maior faturamento possível ao final do mês.

Acesso a biblioteca virtual UFGD

2018-06-26T14:50:00-04:00

Você sabia que a UFGD dispobiliza diversos livros através de uma biblioteca virtual?

Basta acessar o site da biblioteca, efetuar login com seu usuário e senha e acessar o menu "Bases" e em seguida "Minha Biblioteca".

Após aceitar os termos de uso do serviço (leia os termos para ter ciência dos dados que eles coletam sobre seu acesso!) você terá acesso a diversos títulos em qualquer lugar ;-)

Agradecimento a Thalia pela dica.

Compile Nextcloud client on OpenBSD 6.3

2018-06-06T16:23:00-04:00

nextcloudclient is now available on OpenBSD ports tree \o/ (discussion on miling list)

Installing dependencies (other dependencies are dependencies of those packages):

# pkg_add qtwebkit qtkeychain-qt5 cmake libinotify

Clone Nextcloud client repository:

$ mkdir -p ~/src
$ cd ~/src
$ git clone https://github.com/nextcloud/client_theming.git nextcloud-client

Compiling:

$ cd nextcloud-client
$ git submodule update --init --recursive
$ mkdir build
$ cd build
$ cmake -DOEM_THEME_DIR=/home/$USER/src/nextcloud-client/nextcloudtheme \
    -DCMAKE_PREFIX_PATH=/usr/local/lib/qt5/cmake \
    -DCMAKE_C_FLAGS="-I/usr/local/include -I/usr/local/include/inotify" \
    -DCMAKE_CXX_FLAGS="-I/usr/local/include -I/usr/local/include/inotify" \
    -DCMAKE_EXE_LINKER_FLAGS="-L/usr/local/lib -L/usr/local/lib/inotify -Wl,-rpath=/usr/local/lib/inotify -linotify" \
    -DHAVE_ICONV=1 -DHAVE_ICONV_H=1 \
    -DCMAKE_DISABLE_FIND_PACKAGE_KF5=TRUE \
    -DCMAKE_DISABLE_FIND_PACKAGE_Qt5LinguistTools=TRUE \
    /home/$USER/src/nextcloud-client/client
$ make
$ doas make install

everything should be fine! ;-)

Running the client

Depending on the number of files you sync, you may need to increase the open files limit:

$ ulimit -n 4096
$ nextcloud

Increase the ulimit as your necessity.

números e funções - profmat

2018-03-17T09:13:00-04:00

ATENÇÃO: AV2 será na sexta-feira, 06/07, as 14h!

calendário

Data	Atividade
16/03	Aula a ser reposta
23/03	Cap. 1: Conjuntos
30/03	Feriado
06/04	Cap. 2: Números Naturais
13/04	Cap. 3: Números Cardinais
14/04	Cap. 4: Números Reais (reposição)
20/04	Feriado
27/04	Cap. 4: Números Reais
04/05	Cap. 5: Função Afim
11/05	Avaliação 1
18/05	Cap. 6: Função Quadrática
25/05	Paralização
01/06	Feriado
08/06	Cap. 7: Funções Polinomiais
15/06	Cap. 8: Função Exponencial
22/06	Cap. 8: Função Exponencial
29/06	Cap. 9: Funções Trigonométricas
06/07	Avaliação 2
13/07	Cap. 9: Funções Trigonométricas
20/07	Exame Final

material complementar

Parábola
Gráfico da função quadrática
Reflexão na parábola

provas

Avaliação AV1
Avaliação AV2

exercícios

ementa

Conjuntos. Números naturais. Números cardinais. Números reais. Funções afins. Funções quadráticas. Funções polinomiais. Funções exponenciais e logarítmicas. Funções trigonométricas.

bibliografia

LIMA, E. L. Números e funções reais. SBM, 2014 (Coleção PROFMAT).
PROFMAT, MA11 - Números e funções reais. Disponível em: http://www.profmat-sbm.org.br/ma11. Acesso: 17 mar. 2018.

plano de ensino

As informações acima constam no plano de ensino do curso.

cálculo 1 - engenharia de alimentos

2018-03-17T08:53:00-04:00

O exame será aplicado na sala 202 do bloco B.

listas

Lista 01
Lista 02
Lista 03
Lista 04
Lista 05
Lista 06
Lista 07
Lista 08
Lista 09
Lista 10
Lista 11
Lista 12
Lista 13
Lista 14
Lista 15

material complementar

Gráficos de Funções Reais

provas

Avaliação P1 [Atualizado em: seg 21 mai 2018 17:29:16]
Avaliação P2
Avaliação PS [Atualizado em: seg 30 jul 2018 10:11:18]

monitoria

Monitor: Halisson Tagara
Horário:
quinta-feira das 8h às 9h
sexta-feira das 7h às 9h e das 13h às 14h
Sala: 101, bloco D

avaliação

Serão realizadas duas provas escritas (P1 e P2), cuja média de aproveitamento (MA) será obtida da seguinte maneira:
MA = (P1 + P2) / 2
Datas:
P1 - 17/05/2018
P2 - ~~10/07/2018~~ 19/07/2018

Exame:
Terá direito ao exame quem tiver MA maior ou igual a 4,0 (quatro) e será aprovado se a nota do exame for maior ou igual a 6,0 e freqüência de, no mínimo, 75%.
Data:
Exame - ~~24/07/2018~~ ~~02/08/2018~~ 01/08/2018

ementa

Números Reais, Funções Reais de uma Variável. Limite e Continuidade. Cálculo Diferencial. Cálculo Integral. Aplicações.

bibliografia:

STEWART, James. Cálculo. São Paulo: Cengage Learning, 2014. v.1.
ANTON, Howard; DAVIS, Stephen; BIVENS, Irl. Cálculo. 10. ed. Porto Alegre, RS: Bookman, 2014. v.1.
WEIR, Maurice D.; THOMAS, Joel Hass George B. Cálculo. Vol 1. 12º edição. São Paulo: Pearson Makron Boocks.
GUIDORIZZI, H. L. Um Curso de Cálculo. Vol. 1. 5ª ed. Rio de Janeiro: LTC, 2001.
ÁVILA, Geraldo. Cálculo 1: funções de uma variável, editora LTC.

plano de ensino

As informações acima constam no plano de ensino do curso.

cálculo 1 - engenharia de energia

2018-03-17T08:53:00-04:00

O exame será aplicado na sala 202 do bloco B.

listas

Lista 01
Lista 02
Lista 03
Lista 04
Lista 05
Lista 06
Lista 07
Lista 08
Lista 09
Lista 10
Lista 11
Lista 12
Lista 13
Lista 14
Lista 15

material complementar

Gráficos de Funções Reais

provas

Avaliação P1 [Atualizado em: 23 mai 2018 14:04:13]
Avaliação P2
Avaliação PS

monitoria

Monitor: Matheus Xavier
Horário:
quinta-feira das 16h às 18h, sala 16, bloco B
sexta-feira das 14h às 16h, sala 101, bloco D

avaliação

Serão realizadas duas provas escritas (P1 e P2), cuja média de aproveitamento (MA) será obtida da seguinte maneira:
MA = (P1 + P2) / 2
Datas:
P1 - 17/05/2018
P2 - ~~09/07/2018~~ 19/07/2018

Exame:
Terá direito ao exame quem tiver MA maior ou igual a 4,0 (quatro) e será aprovado se a nota do exame for maior ou igual a 6,0 e freqüência de, no mínimo, 75%.
Data:
Exame - ~~23/07/2018~~ ~~02/08/2018~~ 01/08/2018

ementa

Números Reais, Funções Reais de uma Variável. Limite e Continuidade. Cálculo Diferencial. Cálculo Integral. Aplicações.

bibliografia:

STEWART, James. Cálculo. São Paulo: Cengage Learning, 2014. v.1.
ANTON, Howard; DAVIS, Stephen; BIVENS, Irl. Cálculo. 10. ed. Porto Alegre, RS: Bookman, 2014. v.1.
WEIR, Maurice D.; THOMAS, Joel Hass George B. Cálculo. Vol 1. 12º edição. São Paulo: Pearson Makron Boocks.
GUIDORIZZI, H. L. Um Curso de Cálculo. Vol. 1. 5ª ed. Rio de Janeiro: LTC, 2001.
ÁVILA, Geraldo. Cálculo 1: funções de uma variável, editora LTC.

plano de ensino

As informações acima constam no plano de ensino do curso.

fundamentos 3 - matemática

2017-09-17T00:00:00-04:00

listas

Lista 1
Lista 2
Lista 3
Lista 4
Lista 5
Lista 6
Lista 7
Lista 8
Lista 9
Lista 10

material complementar

Gráfico da função polinomial quadrática
Gráfico da função polinomial quadrática (forma canônica)
Gráfico da função polinomial cúbica
Método da Bisseção
Jogo: adivinhe o número

provas

P1
P2

monitoria

Local: Bloco B, sala 10/2
Monitor: Marcello Almeida
Horário:
terça-feira das 13h às 15h
quinta-feira das 13h às 15h

avaliação

Serão realizadas duas provas escritas (P1 e P2), cuja média de aproveitamento (MA) será obtida da seguinte maneira:
MA = (P1 + P2) / 2
Datas:
P1 - 16/11/2017
P2 - 20/02/2018

Exame:
Terá direito ao exame quem tiver MA maior ou igual a 4,0 (quatro) e será aprovado se a nota do exame for maior ou igual a 6,0 e freqüência de, no mínimo, 75%.
Data:
Exame - 06/03/2018

ementa

Números complexos e polinômios.

bibliografia:

IEZZI, Gelson. Fundamentos de matematica elementar: complexos : polinomios : equacoes. 7. Sao Paulo: Atual, . 2005p.
CARMO, Manfredo Perdigão do. Trigonometria e números complexos. Rio de Janeiro, RJ: Sociedade Brasileira de Matemática, 1985. 101p.
HEFEZ, Abramo e VILELLA, Maria Lúcia. Polinômios e Equações Algébricas. Rio de Janeiro: SBM, 2012 (Coleção PROFMAT)
DANTE, Luiz Roberto. Matemática contexto & Aplicações Volume Único. Editora Ática.
GARBI, Gilberto Geraldo. O romance das equações algébricas. São Paulo, SP: Makron Books, 1997. 255p.
CALDEIRA, Andre Machado. Pré-calculo. 3.ed. Sao Paulo: Cengage Learning, 2013. 558p.
LIMA, Elon Lages et al. A Matemática do Ensino Médio, vol. 1. Rio de Janeiro: SBM, 2006. (Coleção do Professor de Matemática)

plano de ensino

As informações acima constam no plano de ensino do curso.

cálculo 2 - engenharia civil

2017-09-16T00:00:00-04:00

listas

Lista 0
Lista 1
Lista 2
Lista 3
Lista 4
Lista 5
Lista 6
Lista 7
Lista 8
Lista 9

provas

Avaliação P1
Avaliação P2 (Atualizado: sex dez 15 10:02:49)
Avaliação P3 (Atualizado: sex fev 23 06:33:02)

material complementar

Regra de L'Hospital
Curso de Cálculo I

monitoria

Bloco D sala 255
Monitor: Victor Freitas
Horário:
quarta-feira das 11h às 13h
sexta-feira das 9h às 11h

avaliação

Serão realizadas três provas escritas (P1, P2 e P3), cuja média de aproveitamento (MA) será obtida da seguinte maneira:
MA = (P1 + P2 + P3) / 3
Datas:
P1 - 09/11/2017
P2 - 14/12/2017
P3 - ~~20/02/2018~~ 22/02/2018

Exame:
Terá direito ao exame quem tiver MA maior ou igual a 4,0 (quatro) e será aprovado se a nota do exame for maior ou igual a 6,0 e freqüência de, no mínimo, 75%.
Data:
Exame - 06/03/2018

ementa

bibliografia:

STEWART, James. Cálculo. São Paulo: Cengage Learning, 2014. v.1.
STEWART, James. Cálculo. 7. ed. São Paulo, SP: Cengage Learning, 2013. v.2.
ANTON, Howard; DAVIS, Stephen; BIVENS, Irl. Cálculo. 10. ed. Porto Alegre, RS: Bookman, 2014. v.1.
ANTON, Howard; DAVIS, Stephen; BIVENS, Irl. Cálculo . 8. ed. Porto Alegre, RS: Bookman, 2007. v.2.
BOYCE, W.E.; DI PRIMA, R.C. Equações Diferenciais Elementares e Problemas de Valores de Contorno. 8a ed. Rio de Janeiro. LTC. 2006.
AVILA, G. Calculo. Rio de Janeiro: LTC, 2007
HOFFMANN, L. D; BRADLEY, G. L. Calculo. Rio de Janeiro: LTC, 2002.
ROCHA, L. M. Calculo 2. São Paulo: ATLAS, 1987.
ROMANO, R. Calculo diferencial e integral. São Paulo: ATLAS, 1981.

plano de ensino

As informações acima constam no plano de ensino do curso.

álgebra linear e geometria analítica - física

2017-05-10T00:00:00-04:00

listas

Lista 1
Lista 2
Lista 3
Lista 4
Lista 5
Lista 6
Lista 7
Lista 8

provas

P1: Solução

avaliação

Serão realizadas duas provas escritas (P1 e P2), cuja média de aproveitamento (MA) será obtida da seguinte maneira:
MA = (P1 + P2) / 2
Datas:
P1 - 30/06/2017
P2 - 22/08/2017

Exame:
Terá direito ao exame quem tiver MA maior ou igual a 4,0 (quatro) e será aprovado se a nota do exame for maior ou igual a 6,0 e freqüência de, no mínimo, 75%.
Data:
Exame - 05/09/2017

ementa

Matrizes e determinantes. Sistemas de equações lineares. Álgebra vetorial. Equação da reta no plano e no espaço. Equações do plano. Transformação linear e matrizes. Autovalores e autove tores. Diagonalização de matrizes e operadores. Produto interno.

Bibliografia:

HOWARD, A.; RORRES, C. Álgebra Linear com Aplicações. 10.ed. Wiley, 2012.
BOLDRINI, J.L. Álgebra linear. 3.ed. São Paulo: Harbra, 1986.
LIMA, ELON LAGES. Geometria Analítica e Álgebra Linear. 2.ed. Rio de Janeiro: IMPA, 2008. 324pp.
WINTERLE, Paulo. Vetores e Geometria. São Paulo: Editora Pearson Markron Books.
BOULOS,P.; CAMARGO, I. Geometria Analítica: um tratamento vetorial. 3.ed. São Paulo: Person Makron Books do Brasil
STEINBRUCH, ALFRAEDO; STEINBRUCH, ALFREDO: Geometria Analítica, Editora: Person Makron Books
STEINBRUCH, ALFREDO; STEINBRUCH, ALFREDO: Álgebra Linear, Editora: Person Makron Books

álgebra linear - matemática

2017-05-10T00:00:00-04:00

provas

P1: Solução

avaliação

Serão realizadas duas provas escritas (P1 e P2), cuja média de aproveitamento (MA) será obtida da seguinte maneira:
MA = (P1 + P2) / 2
Datas:
P1 - 07/07/2017
P2 - ...

Exame:
Terá direito ao exame quem tiver MA maior ou igual a 4,0 (quatro) e será aprovado se a nota do exame for maior ou igual a 6,0 e freqüência de, no mínimo, 75%.
Data:
Exame - ...

ementa

Espaços vetoriais, Transformações lineares, Auto-valores e auto-vetores, Diagonalização de operadores, Adjunta de uma transformação linear.

bibliografia

LIMA, E. L. Algebra linear. 2. Rio de Janeiro: Instituto de Matematica Pura e Aplicada, 1996. 357p.
HOFFMAN, K.; KUNZE, R. Algebra linear. . Sao Paulo: Poligono - Edusp, 1971. 354p.
BOLDRINI. Álgebra linear. 3. ed. São Paulo, SP: Harbra, 1986. 411p.
LANG, S. Algebra linear. São Paulo, SP: Blucher, 1971. 271p.
ANTON, H.; RORRES, I. Álgebra Linear com Aplicações, 10a ed. Bookman, 2012.
CALLIOLI, C. A.; DOMINGUES, H. H.; COSTA, R. C. F. Álgebra Linear e Aplicações. São Paulo: Atual, 1990.
ANTON, H.; BUSBY, N. Álgebra Linear Contemporânea. Porto Alegre: Bookman, 2006.
LIPSCHUTZ, S.; LIPSON, M.. Teoria e problemas de algebra linear. 3. Porto Alegre: Bookman, 2004. 400p.
COELHO, F.; LOURENCO, M. L. Um curso de algebra linear. 2. Sao Paulo: Edusp, 2007. 261p.

álgebra linear e geometria analítica - eng. civil

2017-05-01T00:00:00-04:00

listas

Lista 1
Lista 2
Lista 3
Lista 4
Lista 5
Lista 6
Lista 7
Lista 8
Lista 9
Lista 10
Lista 11
Lista 12
Lista 13

provas

P1: Solução
P2: Solução

monitoria

Sala 255 do bloco D
Monitor: Lucas Dias Vieira
Horário: Quintas-feiras, das 7h às 11h

avaliação

Serão realizadas duas provas escritas (P1 e P2), cuja média de aproveitamento (MA) será obtida da seguinte maneira:
MA = (P1 + P2) / 2
Datas:
P1 - ~~28/06/2017~~ 05/07/2017
P2 - ~~23/08/2017~~ 16/08/2017

Exame:
Terá direito ao exame quem tiver MA maior ou igual a 4,0 (quatro) e será aprovado se a nota do exame for maior ou igual a 6,0 e freqüência de, no mínimo, 75%.
Data:
Exame - 06/09/2017

ementa

Bibliografia:

HOWARD, A.; RORRES, C. Álgebra Linear com Aplicações. 10.ed. Wiley, 2012.
BOLDRINI, J.L. Álgebra linear. 3.ed. São Paulo: Harbra, 1986.
LIMA, ELON LAGES. Geometria Analítica e Álgebra Linear. 2.ed. Rio de Janeiro: IMPA, 2008. 324pp.
WINTERLE, Paulo. Vetores e Geometria. São Paulo: Editora Pearson Markron Books.
BOULOS,P.; CAMARGO, I. Geometria Analítica: um tratamento vetorial. 3.ed. São Paulo: Person Makron Books do Brasil
STEINBRUCH, ALFRAEDO; STEINBRUCH, ALFREDO: Geometria Analítica, Editora: Person Makron Books
STEINBRUCH, ALFREDO; STEINBRUCH, ALFREDO: Álgebra Linear, Editora: Person Makron Books

álgebra linear e geometria analítica - matemática

2017-05-01T00:00:00-04:00

listas

Lista 1
Lista 2
Lista 3
Lista 4
Lista 5
Lista 6
Lista 7
Lista 8
Lista 9
Lista 10
Lista 11
Lista 12
Lista 13

provas

P1: Solução
P2: Solução
P2 2ª chamada: Prova

avaliação

Serão realizadas duas provas escritas (P1 e P2), cuja média de aproveitamento (MA) será obtida da seguinte maneira:
MA = (P1 + P2) / 2
Datas:
P1 - 28/06/2017
P2 - 23/08/2017

Exame:
Terá direito ao exame quem tiver MA maior ou igual a 4,0 (quatro) e será aprovado se a nota do exame for maior ou igual a 6,0 e freqüência de, no mínimo, 75%.
Data:
Exame - 06/09/2017

ementa

Bibliografia:

HOWARD, A.; RORRES, C. Álgebra Linear com Aplicações. 10.ed. Wiley, 2012.
BOLDRINI, J.L. Álgebra linear. 3.ed. São Paulo: Harbra, 1986.
LIMA, ELON LAGES. Geometria Analítica e Álgebra Linear. 2.ed. Rio de Janeiro: IMPA, 2008. 324pp.
WINTERLE, Paulo. Vetores e Geometria. São Paulo: Editora Pearson Markron Books.
BOULOS,P.; CAMARGO, I. Geometria Analítica: um tratamento vetorial. 3.ed. São Paulo: Person Makron Books do Brasil
STEINBRUCH, ALFRAEDO; STEINBRUCH, ALFREDO: Geometria Analítica, Editora: Person Makron Books
STEINBRUCH, ALFREDO; STEINBRUCH, ALFREDO: Álgebra Linear, Editora: Person Makron Books

álgebra linear e geometria analítica - química

2017-02-01T00:00:00-03:00

aulas
avaliação
ementa

AVISO: responder a P2 e entregar dia 06/04! Mais detalhes no email.

aulas e material complementar

Propriedades das opreções com vetores

avaliação

Serão realizadas duas provas escritas (P1 e P2), cuja média de aproveitamento (MA) será obtida da seguinte maneira:
MA = (P1 + P2) / 2
Datas:
P1 - feita com professor substituto
P2 - 30/03/2017

Exame:
Terá direito ao exame quem tiver MA maior ou igual a 4,0 (quatro) e será aprovado se a nota do exame for maior ou igual a 6,0 e freqüência de, no mínimo, 75%.
Data:
Exame - 13/04/2017

ementa

Bibliografia:

HOWARD, A.; RORRES, C. Álgebra Linear com Aplicações. 10.ed. Wiley, 2012.
BOLDRINI, J.L. Álgebra linear. 3.ed. São Paulo: Harbra, 1986.
LIMA, ELON LAGES. Geometria Analítica e Álgebra Linear. 2.ed. Rio de Janeiro: IMPA, 2008. 324pp.
WINTERLE, Paulo. Vetores e Geometria. São Paulo: Editora Pearson Markron Books.
BOULOS,P.; CAMARGO, I. Geometria Analítica: um tratamento vetorial. 3.ed. São Paulo: Person Makron Books do Brasil
STEINBRUCH, ALFRAEDO; STEINBRUCH, ALFREDO: Geometria Analítica, Editora: Person Makron Books
STEINBRUCH, ALFREDO; STEINBRUCH, ALFREDO: Álgebra Linear, Editora: Person Makron Books

análise numérica - engenharia mecânica

2016-11-01T00:00:00-03:00

aulas
listas
avaliação
ementa

aulas

AVISO: Todas as implementações disponíveis aqui estão seguindo os algoritmos apresentados na bibliografia do curso, cujo objetivo não obter o melhor desempenho e sim facilitar o entendimento dos métodos. Além disso, podem conter bugs, use por sua conta e risco.

Aula 1 - Erro e Algoritmos: pdf codigo
Aula 2 - Método da bisseção: pdf codigo
Aula 3 - Método de Newton: pdf codigo
Aula 4 - Método de Horner: pdf codigo
Aula 5 - Interpolação de Lagrange: pdf
Aula 6 - Spline: pdf
Aula 7 - Eliminação de Gauss: pdf codigo
Aula 8 - Decomposição LU: pdf codigo
Aula 9 - Métodos de Jacobi e Gauss-Seidel: pdf codigo
Aula 10 - EDO e Método de Euler: pdf codigo
Aula 11 - Métodos de Runge-Kutta: pdf codigo

listas

Lista 1 - Erro, algoritmo e Bisseção
Lista 2 - Método de Newton
Lista 3 - Método de Horner
Lista 4 - Interpolação de Lagrange
Lista 5 - Spline

avaliação

Serão realizadas duas provas escritas (P1 e P2), cuja média de aproveitamento (MA) será obtida da seguinte maneira:
MA = (P1 + P2) / 2
Datas:
P1 - 30/01/2017
P2 - 27/03/2017

Prova Substitutiva:
Haverá uma prova substitutiva, a qual abrangerá o conteúdo da avaliação de menor nota e substituirá a mesma. Após todas as avaliações, o acadêmico que obtiver MA maior ou igual a 6,0 (seis) e frequência de, no mínimo, 75% estará aprovado.
Data:
Sub - 03/04/2017

Exame:
Terá direito ao exame quem tiver MA maior ou igual a 4,0 (quatro) e será aprovado se a nota do exame for maior ou igual a 6,0 e freqüência de, no mínimo, 75%.
Data:
Exame - 13/04/2017

ementa

Soluções de equações de uma variável. Interpolação e aproximação polinomial. Derivação e integração numérica. Problemas de valor inicial para equações diferenciais ordinárias. Métodos diretos para resolução de sistemas lineares. Técnicas iterativas na álgebra das matrizes. Teoria da aproximação. Aproximação de autovalores. Soluções numéricas de sistemas de equações não-lineares. Problemas de contorno para equações diferenciais ordinárias. Soluções numéricas de equações diferenciais parciais.

Bibliografia:

BURDEN, R.L.; FAIRES, J.D. Análise numérica. 8a ed., São Paulo: Cengage Learning, 2008. 736p.
BORCHE, A. Métodos numéricos. 1a ed., Porto Alegre: Ed. UFRGS, 2008. 206p.
AYRES, Jr., F.; MENDELSON, E. Cálculo – coleção Schaum. 5a ed., Porto Alegre: Ed. Bookman (Grupo A), 2012. 544p.

cálculo 2 - matemática

2016-11-01T00:00:00-03:00

aulas
listas
avaliação
ementa

aulas e material complementar

Volume

listas

Lista 1 - Integrais
Respostas Lista 1 - Integrais
Lista 2 - Substituição
Lista 3 - Integração por partes
Lista 4 - Substituição trigonométrica
Lista 5 - Frações Parciais

avaliação

Serão realizadas duas provas escritas (P1 e P2), cuja média de aproveitamento (MA) será obtida da seguinte maneira:
MA = (P1 + P2) / 2
Datas:
P1 - 01/02/2017
P2 - 29/03/2017

Prova Substitutiva:
Haverá uma prova substitutiva, a qual abrangerá o conteúdo da avaliação de menor nota e substituirá a mesma. Após todas as avaliações, o acadêmico que obtiver MA maior ou igual a 6,0 (seis) e frequência de, no mínimo, 75% estará aprovado.
Data:
Sub - 05/04/2017

Exame:
Terá direito ao exame quem tiver MA maior ou igual a 4,0 (quatro) e será aprovado se a nota do exame for maior ou igual a 6,0 e freqüência de, no mínimo, 75%.
Data:
Exame - 13/04/2017

ementa

Bibliografia:

SETEWART. James. Cálculo - Vol. 1 - 6 Ed. Editora: Cengage Learning.
SETEWART. James. Cálculo - Vol. 2 - 6 Ed. Editora: Cengage Learning.
GUIDORIZZI, H. L. Um Curso de Cálculo. Vols.1 e 4, 5a ed. Rio de Janeiro: LTC, 2002.
ANTON, H. Cálculo. Vol. 1,2, 8a. Edição. Editora Bookman, 2007.

cálculo 2 - engenharia mecânica

2016-11-01T00:00:00-03:00

listas
monitoria
avaliação
ementa

listas

Lista 1 - Substituição
Respostas Lista 1 - Substituição
Lista 2 - Integração por partes
Lista 3 - Substituição trigonométrica
Lista 4 - Frações parciais
Lista 5 - Sequências e séries
Respostas Lista 5 - Sequências e séries
Lista 6 - Equações diferenciais

monitoria

	Segunda	Terça	Quarta	Quinta	Sexta
7h20 - 11h20					FACALE, Sala 6
12h - 13h	Bloco C, Sala 9	Bloco C, Sala 11	Bloco C, Sala 9	Bloco C, Sala 9
13h - 15h		Bloco C, Sala 9
17h - 19h	Bloco C, Sala 9	Bloco C, Sala 9	Bloco C, Sala 9	Bloco C, Sala 9

avaliação

Serão realizadas três provas escritas (P1, P2 e P3), cuja média de aproveitamento (MA) será obtida da seguinte maneira:
MA = (P1 + P2 + P3) / 3
Datas:
P1 - 03/02/2017
P2 - ~~07/03/2017~~ 10/03/2017
P3 - 31/03/2017

Prova Substitutiva:
Haverá uma prova substitutiva, a qual abrangerá o conteúdo da avaliação de menor nota e substituirá a mesma. Após todas as avaliações, o acadêmico que obtiver MA maior ou igual a 6,0 (seis) e frequência de, no mínimo, 75% estará aprovado.
Data:
Sub - 07/04/2017

Exame:
Terá direito ao exame quem tiver MA maior ou igual a 4,0 (quatro) e será aprovado se a nota do exame for maior ou igual a 6,0 e freqüência de, no mínimo, 75%.
Data:
Exame - 13/04/2017

ementa

Técnicas de Integração. Integrais impróprias. Seqüências e séries infinitas. Fórmula de Taylor. Série de potências. Equações diferenciais de 1a ordem e aplicações. Equações diferenciais lineares. Equações diferenciais lineares de 2a ordem e aplicações.

Bibliografia:

SETEWART. James. Cálculo - Vol. 1 - 6 Ed. Editora: Cengage Learning.
SETEWART. James. Cálculo - Vol. 2 - 6 Ed. Editora: Cengage Learning.
GUIDORIZZI, H. L. Um Curso de Cálculo. Vols.1 e 4, 5a ed. Rio de Janeiro: LTC, 2002.
BOYCE, W.E.; DI PRIMA, R.C. Equações Diferenciais Elementares e Problemas de Valores de Contorno. 8a ed. Rio de Janeiro. LTC. 2006.

cálculo 2 - engenharia de computação

2016-06-01T00:00:00-04:00

avaliação
ementa

avaliação

Serão realizadas três provas escritas (P1, P2 e P3), cuja média de aproveitamento (MA) será obtida da seguinte maneira:
MA = (P1 + P2 + P3) / 3
Datas:
P1 - 03 de Agosto
P2 - 31 de Agosto
P3 - 28 de Setembro

Prova Substitutiva:
Haverá uma prova substitutiva, a qual abrangerá o conteúdo da avaliação de menor nota e substituirá a mesma. Após todas as avaliações, o acadêmico que obtiver MA maior ou igual a 6,0 (seis) e frequência de, no mínimo, 75% estará aprovado.
Data:
Sub - 05 de Outubro

Exame:
Terá direito ao exame o acadêmico que alcançar MA maior ou igual a 4,0 (quatro) e será aprovado se a nota do exame for maior ou igual a 6,0 (seis) e frequência de, no mínimo, 75%.
Data:
Exame - ~~13 de Outubro~~ 14 de Outubro

ementa

Bibliografia:

SETEWART. James. Cálculo - Vol. 1 - 6 Ed. Editora: Cengage Learning.
SETEWART. James. Cálculo - Vol. 2 - 6 Ed. Editora: Cengage Learning.
GUIDORIZZI, H. L. Um Curso de Cálculo. Vols.1 e 4, 5a ed. Rio de Janeiro: LTC, 2002.
BOYCE, W.E.; DI PRIMA, R.C. Equações Diferenciais Elementares e Problemas de Valores de Contorno. 8a ed. Rio de Janeiro. LTC. 2006.

cálculo 3 - engenharia de energia

2016-06-01T00:00:00-04:00

listas

Lista 1 - Integral dupla e tripla
Lista 2 - Mudança de variáveis
Lista 3 - Integral de linha

aulas

Integral dupla

Integral tripla:
Estudar os exemplos 1, 2, 3 e 4 da seção 15.7
Os três vídeos podem ser úteis como material complementar: video1 video2 video3
A lista com todos os vídeos do curso está disponível aqui.

avaliação

Serão realizadas duas provas escritas (P1 e P2), cuja média de aproveitamento (MA) será obtida da seguinte maneira:
MA = (P1 + P2) / 2
Datas:
P1 - ~~05 de Agosto~~ 12 de Agosto
P2 - 30 de Setembro

Prova Substitutiva:
Haverá uma prova substitutiva, a qual abrangerá o conteúdo da avaliação de menor nota e substituirá a mesma. Após todas as avaliações, o acadêmico que obtiver MA maior ou igual a 6,0 (seis) e frequência de, no mínimo, 75% estará aprovado.
Data:
Sub - 07 de Outubro

Exame:
Terá direito ao exame o acadêmico que alcançar MA maior ou igual a 4,0 (quatro) e será aprovado se a nota do exame for maior ou igual a 6,0 (seis) e frequência de, no mínimo, 75%.
Data:
Exame - 14 de Outubro

ementa

Bibliografia:

STEWART, James. Cálculo. 7. ed. São Paulo, SP: Cengage Learning, 2013. v.2.
ANTON, Howard; DAVIS, Stephen; BIVENS, Irl. Cálculo . 8. ed. Porto Alegre, RS: Bookman, 2007. v.2.
GUIDORIZZI, Hamilton Luiz. Um curso de cálculo. 5. ed. Rio de Janeiro, RJ: LTC, 2015. v.3.
GUIDORIZZI, Hamilton Luiz. Um curso de cálculo. 5. ed. Rio de Janeiro, RJ: LTC, 2014. v.2p.

cálculo 3 - engenharia mecânica

2016-06-01T00:00:00-04:00

ensino

listas
aulas
avaliação
ementa

listas

Lista 1 - Integral dupla e tripla
Lista 2 - Mudança de variáveis
Lista 3 - Integral de linha

aulas

Integral dupla

avaliação

Serão realizadas duas provas escritas (P1 e P2), cuja média de aproveitamento (MA) será obtida da seguinte maneira:
MA = (P1 + P2) / 2
Datas:
P1 - ~~04 de Agosto~~ 09 de Agosto
P2 - 29 de Setembro

Prova Substitutiva:
Haverá uma prova substitutiva, a qual abrangerá o conteúdo da avaliação de menor nota e substituirá a mesma. Após todas as avaliações, o acadêmico que obtiver MA maior ou igual a 6,0 (seis) e frequência de, no mínimo, 75% estará aprovado.
Data:
Sub - 06 de Outubro

Exame:
Terá direito ao exame o acadêmico que alcançar MA maior ou igual a 4,0 (quatro) e será aprovado se a nota do exame for maior ou igual a 6,0 (seis) e frequência de, no mínimo, 75%.
Data:
Exame - 13 de Outubro

ementa

Bibliografia:

STEWART, James. Cálculo. 7. ed. São Paulo, SP: Cengage Learning, 2013. v.2.
ANTON, Howard; DAVIS, Stephen; BIVENS, Irl. Cálculo . 8. ed. Porto Alegre, RS: Bookman, 2007. v.2.
GUIDORIZZI, Hamilton Luiz. Um curso de cálculo. 5. ed. Rio de Janeiro, RJ: LTC, 2015. v.3.
GUIDORIZZI, Hamilton Luiz. Um curso de cálculo. 5. ed. Rio de Janeiro, RJ: LTC, 2014. v.2p.

Visualizing and Interacting with Kernelized Data

2016-03-01T00:00:00-04:00

Visualizing and Interacting with Kernelized Data

A. Barbosa, F. V. Paulovich, A. Paiva, S. Goldenstein, F. Petronetto and L. G. Nonato

[pdf] [bib]

álgebra linear e geometria analítica - engenharia mecânica

2015-12-01T00:00:00-03:00

listas
avaliação
ementa

listas

Lista1 - Matrizes e sistemas lineares
Lista1 - Matrizes e sistemas lineares (respostas)
Lista2 - Vetores e eq. da reta e do plano
Lista3 - Espaços vetoriais e transformações lineares

avaliação

Serão realizadas três provas escritas (P1, P2 e P3), cuja média de aproveitamento (MA) será obtida da seguinte maneira:
MA = (P1 + P2 + P3) / 3
Datas:
P1 - 18 de Fevereiro
P2 - 04 de Abril
P3 - 05 de Maio

Prova Substitutiva:
Haverá uma prova substitutiva, a qual substituirá a prova de menor nota. A prova substitutiva abrangerá todo o conteúdo da disciplina ministrado no semestre letivo. Quem obter MA maior ou igual a 6,0 (seis) e frequência de, no mínimo, 75% estará aprovado.
Data:
Sub - 12 de Maio

Exame:
Terá direito ao exame quem tiver MA maior ou igual a 4,0 (quatro) e será aprovado se a nota do exame for maior ou igual a 6,0 e freqüência de, no mínimo, 75%.
Data:
Exame - 19 de Maio

ementa

Bibliografia:

BOLDRINI, J.L. Álgebra linear. 3.ed. São Paulo: Harbra, 1986.
LIMA, ELON LAGES. Geometria Analítica e Álgebra Linear. 2.ed. Rio de Janeiro: IMPA, 2008. 324pp.
WINTERLE, Paulo. Vetores e Geometria. São Paulo: Editora Pearson Markron Books.
BOULOS,P.; CAMARGO, I. Geometria Analítica: um tratamento vetorial. 3.ed. São Paulo: Person Makron Books do Brasil
STEINBRUCH, ALFRAEDO; STEINBRUCH, ALFREDO: Geometria Analítica, Editora: Person Makron Books
STEINBRUCH, ALFREDO; STEINBRUCH, ALFREDO: Álgebra Linear, Editora: Person Makron Books

cálculo 2 - engenharia de alimentos

2015-12-01T00:00:00-03:00

listas
avaliação
ementa

listas

Lista 1 - Integrais
Lista 1 - Integrais (respostas)
Lista 2 - Sequências e séries
Lista 2 - Sequências e séries (respostas)
Lista 3 - Equações diferenciais

avaliação

Serão realizadas três provas escritas (P1, P2 e P3), cuja média de aproveitamento (MA) será obtida da seguinte maneira:
MA = (P1 + P2 + P3) / 3
Datas:
P1 - 01 de Março
P2 - 05 de Abril
P3 - 05 de Maio

Prova Substitutiva:
Haverá uma prova substitutiva, a qual substituirá a prova de menor nota. A prova substitutiva abrangerá todo o conteúdo da disciplina ministrado no semestre letivo. Quem obter MA maior ou igual a 6,0 (seis) e frequência de, no mínimo, 75% estará aprovado.
Data:
Sub - 12 de Maio

Exame:
Terá direito ao exame quem tiver MA maior ou igual a 4,0 (quatro) e será aprovado se a nota do exame for maior ou igual a 6,0 e freqüência de, no mínimo, 75%.
Data:
Exame - 19 de Maio

ementa

Bibliografia:

SETEWART. James. Cálculo - Vol. 1 - 6 Ed. Editora: Cengage Learning.
SETEWART. James. Cálculo - Vol. 2 - 6 Ed. Editora: Cengage Learning.
GUIDORIZZI, H. L. Um Curso de Cálculo. Vols.1 e 4, 5a ed. Rio de Janeiro: LTC, 2002.
BOYCE, W.E.; DI PRIMA, R.C. Equações Diferenciais Elementares e Problemas de Valores de Contorno. 8a ed. Rio de Janeiro. LTC. 2006.

cálculo 2 - engenharia mecânica

2015-12-01T00:00:00-03:00

listas
avaliação
ementa

listas

Lista 1 - Integrais
Lista 1 - Integrais (respostas)
Lista 2 - Sequências e séries
Lista 2 - Sequências e séries (respostas)
Lista 3 - Equações diferenciais

avaliação

Serão realizadas três provas escritas (P1, P2 e P3), cuja média de aproveitamento (MA) será obtida da seguinte maneira:
MA = (P1 + P2 + P3) / 3
Datas:
P1 - 01 de Março
P2 - 05 de Abril
P3 - 06 de Maio

Prova Substitutiva:
Haverá uma prova substitutiva, a qual substituirá a prova de menor nota. A prova substitutiva abrangerá todo o conteúdo da disciplina ministrado no semestre letivo. Quem obter MA maior ou igual a 6,0 (seis) e frequência de, no mínimo, 75% estará aprovado.
Data:
Sub - 13 de Maio

Exame:
Terá direito ao exame quem tiver MA maior ou igual a 4,0 (quatro) e será aprovado se a nota do exame for maior ou igual a 6,0 e freqüência de, no mínimo, 75%.
Data:
Exame - 20 de Maio

ementa

Bibliografia:

SETEWART. James. Cálculo - Vol. 1 - 6 Ed. Editora: Cengage Learning.
SETEWART. James. Cálculo - Vol. 2 - 6 Ed. Editora: Cengage Learning.
GUIDORIZZI, H. L. Um Curso de Cálculo. Vols.1 e 4, 5a ed. Rio de Janeiro: LTC, 2002.
BOYCE, W.E.; DI PRIMA, R.C. Equações Diferenciais Elementares e Problemas de Valores de Contorno. 8a ed. Rio de Janeiro. LTC. 2006.

An initial study on high-dimensional data visualization through subspace clustering

2015-08-29T00:00:00-04:00

An initial study on high-dimensional data visualization through subspace clustering

A. Barbosa, F. Sadlo and L. G. Nonato

Honorable Mention Award

[pdf] [bib]