Apunts, exercicis i referències del tutorial sobre el llenguatge de programació Prolog
Novetats
In this lab session we are going to implement the circuit we simulated on our last session. We will be able to generate a DC voltage several times higher than the voltage given by our power supply.
L'objectiu d'aquesta assignatura consisteix en oferir a l'estudiant eines matemàtiques aptes per a la descripció de situacions reals que es puguin modelitzar mitjançant un nombre finit o infinit d'objectes aïllats, es a dir, s'introduiran conceptes i tècniques de l'anomenada Matemàtica Discreta, com ara conjunts, relacions, mètodes combinatoris, fonaments sobre Àlgebres de Boole, primeres nocions sobre grafs i dígrafs i una introducció a l'Aritmètica. A la vegada, l'objectiu de fons de l'assignatura consistiria en l'aprofundiment en el raonament lògic, el foment de l'esperit crític i la consolidació del mètode científic com a rutina de treball.
Nombres congruents, classes d'equivalència, operacions entre classes, resolució de congruències, funció d'Euler i Teorema d'Euler, criteris de divisibilitat.
Pràctica amb nombres combinatoris, binomi de Newton, operacions i descomposició de permutacions
L'equació lineal. Una equació en diferència de quadrats. L'equació pitagòrica: ternes pitagòriques primitives.
Nombres primers: Teorema fonamental de l'Aritmètica. Mínim comú múltiple. Obtenció de divisors enters.
Propietats generals. Àlgebra de Boole binària: funcions, formes canòniques, mapes de Karnaugh, simplificació per Quine-McCluskey.
Pràctiques relatives a tècniques de comptar: variacions, permutacions, combinacions, principi de distribució de Dirichlet ...
Activitats relacionades amb operacions entre conjunts, relacions d'equivalència i d'ordre
Divisibilitat entera. Algorisme de la divisió entera. Màxim comú divisor: algorisme d'Euclides.
En aquesta pràctica aprendrem a fer servir una eina de simulació de circuits electrònics: QUCS (Quite Universal Circuit Simulator)
Bibliografia de referència de l'assignatura de Dispositius Programables.
Com puc treballar de manera senzilla amb Linux i emacs des de casa?
Generant i detectant senyals Morse. En aquesta pràctica generarem un senyal en codi Morse i estudiarem alguns dels passos necessaris per rebre i descodificar aquest tipus de senyals.
Com identificar-se com a usuari dels serveis informàtics UPC, com saber la contrassenya, com canviar la contrassenya.
Document d'introducció a Octave i la seva aplicació a l'anàlisi de circuits.
Condicionament del senyal d'un sensor de temperatura
El mesclador d'àudio
Shift registers and resistors deliver multiphase sine waves