adolfont

in=20;fim=92;while [ $in -ne $fim ];do eval "next=\$((in + 1))"; echo "== Minutos $in e $next =="; eval "in=\$((in + 2))"; done

adolfont

T (A|B)
T (C|D)
T (G|H)
F (A&C)|(A&G)|(C&G)|(B&D)|(B&H)|(D&H)

adolfont

#!/bin/bash 
#
# mandamazon.sh: Shell script para mandar arquivos para o seu Amazon Kindle direto da linha de comando do Linux
# Autor: Adolfo Neto (http://twitter.com/adolfont)
#
## Necessário ter o programa "mutt" instalado e configurado. 
## Veja como em http://www.linuxuser.co.uk/tutorials/get-started-with-mutt/
[email protected]

MENSAGEM_USO="

adolfont

#!/bin/bash

filename="$1" 
filename=${filename%\.*}

echo "ebook-convert $filename.epub $filename.mobi"
ebook-convert $filename.epub $filename.mobi

mandamazon $filename.mobi

adolfont

# .bashrc

# Source global definitions
if [ -f /etc/bashrc ]; then
	. /etc/bashrc
fi

# User specific aliases and functions

source /etc/bash_completion.d/git

adolfont

class TapaBuraco

  def calcula(nomeRua, quantBuracos, grauPref, comprimento)
     resposta = Hash.new 

    raise "nomeRua deve ser uma String" unless nomeRua.kind_of? String
    raise "quantBuracos deve ser um Fixnum" unless quantBuracos.kind_of? Fixnum
    raise "grauPref deve ser um Fixnum ou um Float" unless grauPref.kind_of? Fixnum or grauPref.kind_of? Float
    raise "comprimento deve ser um Fixnum" unless comprimento.kind_of? Fixnum 

adolfont

(defn factorial [n] 
  (apply * (take n (iterate inc 1))))

adolfont

;; Adolfo Neto, 2011
;; A signed formula will be represented as
	;; (SIGN (CONECTIVE formula))
;; I am not representing atomic formulas yet...


(defn getsign [formula]
  "gets the sign of a signed formula"
  (first formula)
  )

adolfont

% Truth Assignments for Classical Propositional Logica
% Adolfo Neto @adolfont https://github.com/adolfont
% August 24th, 2011

:- dynamic v/1.

% Definitions:
%  P is the set of propositional atoms
%  Example: P = {p1, p2, p3, ... }

adolfont

//Exemplo: Calcular o fatorial de um número n(sem função):
// Autor: João Fabro
// Modificações: Adolfo Neto
#include <stdio.h>
#include <stdlib.h>
long i,n,fatorial; 
int main()
{
  	printf("Digite o número N:");
	scanf("%d", &n);