Oriol López Sánchez Mithrandir0x

-- Computer Science funny thingies

-- Miscellaneous thingies

Examen final de teoría 2012-2013

Definir los conceptos de tautología, fórmula satisfactible y contradicción.

Sea f una fórmula la representación en lenguaje de proposiciones de una frase declarativa, y una (sigma)-interpretación la asignación de los valores verdad o falso a los átomos de f, una fórmula es satisfactible si una asignación de valores de los átomos de f hace cierta la interpretación.

	def fibonacci(n):
	"""A Fibonacci generator"""
	x_1, x = 1, 1
	while ( x < n ):
	yield x
	x_1, x = x, x + x_1

	def erastothenes_sieve(n):
	"""Get all the prime numbers below 'n'"""
	sqrtN = math.sqrt(n)

	package clientsocket;

	import java.io.*;
	import java.net.Socket;
	import java.util.Scanner;

	/**
	*
	* @author manel
	*/

	# ~/.bashrc: executed by bash(1) for non-login shells.
	# see /usr/share/doc/bash/examples/startup-files (in the package bash-doc)
	# for examples

	# If not running interactively, don't do anything
	[ -z "$PS1" ] && return

	# don't put duplicate lines or lines starting with space in the history.
	# See bash(1) for more options
	HISTCONTROL=ignoreboth

	{
	"keys": ["ctrl+f7"],
	"command": "repl_open",
	"args":
	{
	"type": "subprocess",
	"encoding":
	{
	"windows": "utf-8",
	"linux": "utf-8",

	CFLAGS=-g -O2 -Wall -Wextra -Isrc -rdynamic -DNDEBUG $(OPTFLAGS)
	# These are the usual CFLAGS that you set in all of your projects, but with a few others
	# that may be needed to build libraries. You may need to adjust these for different
	# platforms. Notice the OPTFLAGS variable at the end which lets people augment the build
	# options as needed.

	LIBS=-ldl $(OPTLIBS)
	# Options used when linking a library, and allows someone else to augment the linking
	# options using the OPTLIBS variable.

	netsh wlan stop hostednetwork
	pause