IUNA

Instituto Universitario Nacional del Arte

rea Transdepartamental de Artes Multimediales

Curso Preuniversitario de Introduccin a la Informtica
Ctedra: Drelichman, Paleo, Nadel, Morales

CLASE 4


Definiciones

Nmeros Naturales

! = 1, 2, 3,... { }

Nmeros Enteros

! = 0, 1, 2, 3,... { }

Nmeros Reales (todos los nmeros)

!

ej :!; 2; "
1
5
; 4, 3; 8; 0,
!
1

Divisibilidad
Sean

a, b !! con a ! 0 . Decimos que a divide a b ( b es mltiplo de a ) si existe otro
nmero

c !! tal que b = a! c

Ejemplos de divisibilidad

5 divide a 10 ? s 4 divide a 4 ? s
1 divide a -3 ? s 3 divide a 5 ? no

Divisores de
12 = 1, 2, 3, 4, 6, 12 { }
!15 = 1, 3, 5, 15 { }
7 = 1, 7 { }

Nmeros Primos
Un nmero

a !! se llama primo si tiene exactamente 4 divisores.

Ejemplos de nmeros primos

7 es primo ? si 9 es primo ? no
1 es primo ? no 2 es primo ? si





IUNA - Curso Preuniversitario de Introduccin a la Informtica - Clase 4 - Pg. 2
Introduccin a la programacin


ALGORITMO

Un algoritmo es un mtodo para resolver un problema mediante una serie de pasos
precisos, definidos y finitos:
- preciso, tiene que indicar el orden de realizacin en cada paso
- definido, si el algoritmo se prueba dos veces, se debe obtener el mismo resultado
- finito, el algoritmo tiene que tener un nmero determinado de pasos

La palabra algoritmo deriva del nombre de un matemtico rabe del siglo IX llamado
Muhammad ibn Musa al-Jwarizmi.


ALGORITMOS Y PROGRAMAS

Un programa normalmente implementa (traduce a un lenguaje de programacin concreto)
un algoritmo. Un lenguaje de programacin es un conjunto de smbolos y reglas que
dispone de instrucciones, datos y operadores para la codificacin de un algoritmo.


TIPOS DE DATOS

Dato: Es una pequea parte de informacin que por si sola no dice nada, pero que en
conjunto forma informacin.
Informacin: Es un conjunto de datos estructurados o procesados.

Los datos por sencillos que parezcan, siempre estn relacionados a un tipo.

Enteros
Numricos
Reales
Lgicos
Simples
Alfanumricos
Unidimensionales
Arreglos
Multidimensionales Complejos
Estructuras


OPERADORES

Cualquier lenguaje de programacin tiene la capacidad de realizar a los datos los clculos
ms complejos mediante un conjunto de operadores y un grupo de reglas bsicas.
- Operadores Aritmticos
- Operadores Relacionales
- Operadores Lgicos

Operadores Aritmticos

Suma +
Resta -
Multiplicacin *
Divisin /
Mdulo %
Asignacin =


IUNA - Curso Preuniversitario de Introduccin a la Informtica - Clase 4 - Pg. 3
Operadores Relacionales

Igual ==
Diferente !=
Mayor que >
Menor que <
Mayor o igual que >=
Menor o igual que <=

Operadores Lgicos

Y AND &&
O OR ||
No NOT !


LGICA y LGICA PROPOSICIONAL

La lgica trabaja con razonamientos y argumentos y su objetivo es distinguir lo verdadero
de lo falso y lo correcto de lo equivocado.

La lgica proposicional utiliza un lenguaje formal (compuesto por smbolos y conectivas)
para eliminar las ambigedades del lenguaje natural.



IUNA - Curso Preuniversitario de Introduccin a la Informtica - Clase 4 - Pg. 4
EJERCICIOS
para todos los ejercicios referidos a das de la semana considerar que se est respondiendo
un da lunes

1. Negacin: Determinar si los siguientes ejemplos son verdaderos o falsos

i. 15 no es mltiplo de 5
ii. 15 no es mltiplo de 4
iii. 3 >= 5
iv. no todo nmero primo es impar
v. existe un nmero primo que no es impar

2. Conjuncin: Determinar si los siguientes ejemplos son verdaderos o falsos

i. hoy es lunes y maana es jueves
ii. 3 es divisor de 9 y todo nmero entero >1 admite como mnimo 4 divisores
iii. -3 es mayor que -1 y para todo x entero, -x < x

3. Disyuncin: Determinar si los siguientes ejemplos son verdaderos o falsos

i. hoy es lunes o maana es jueves
ii. 3 es divisor de 9 o todo nmero entero >1 admite como mnimo 4 divisores
iii. -3 es mayor que -1 o para todo x entero, -x < x

4. Implicacin: Determinar si los siguientes ejemplos son verdaderos o falsos

i. si hoy es lunes entonces maana es martes
ii. si hoy es lunes entonces maana es jueves
iii. si hoy es jueves entonces maana es domingo
iv. si hoy es jueves entonces maana es martes
v. si 3 es par entonces 5 es mltiplo de 4
vi. si 3 es par entonces 4 es par

5. Doble implicacin: Determinar si los siguientes ejemplos son verdaderos o falsos

i. 221 es primo si y slo si 9 es primo
ii. 5 <= 5 si y slo si 3 es mltiplo de 9

6. Determinar si las siguientes reglas son vlidas.
Para demostrar validez encontrar una demostracin.
Para demostrar invalidez encontrar un ejemplo.

i. Si un nmero es divisible por 6 entonces es divisible por 3
ii. Si un nmero no es divisible por 6 entonces no es divisible por 9
iii. x
2
=y
2
si y slo si x=y
iv. Un nmero es divisible por 15 si y slo si es divisible por 3 o por 5
v. Si un nmero es divisible por 4 y por 6, entonces es divisible por 24
vi. Un nmero es par si y slo si es divisible por 2 o por 7
vii. Si x < y entonces x
2
< y
2

viii. Un nmero es par si y slo si es divisible por 4.
ix. Si un nmero es divisible por 3 entonces es divisible por 6.
x. Si un nmero es divisible por 6 entonces no es divisible por 9.
xi. Un nmero es divisible por 6 si y slo si es divisible por 2 o por 3.
xii. Si un nmero no es divisible por 6 entonces no es divisible por 3.


IUNA - Curso Preuniversitario de Introduccin a la Informtica - Clase 4 - Pg. 5
RESPUESTAS
para todas las respuestas referidas a das de la semana se tiene en cuenta que se est
respondiendo un da lunes

1. Negacin

i. F ii. V
iii. F iv. V
v. V

2. Conjuncin

i. F ii. V
iii. F

3. Disyuncin

i. V ii. V
iii. F

4. Implicacin

i. V ii. F
iii. V iv. V
v. V vi. V

5. Doble implicacin

i. V ii. F

6. Determinar si las siguientes reglas son vlidas.

i. Es vlida.
Un nmero divisible por 6 puede representarse como a=6*x y tambin como a=3*2*x
Por lo tanto si el antecendente es verdadero, el consecuente tambin ser verdadero
ii. No es vlida. El siguiente ejemplo es falso:
Si 9 no es divisible por 6 entonces 9 no es divisible por 9
iii. No es vlida. El siguiente ejemplo es falso:
(2)
2
=(-2)
2
si y slo si 2=-2
iv. No es vlida. El siguiente ejemplo es falso:
3 es divisible por 15 si y slo si 3 es divisible por 3 o 3 es divisible por 5
v. No es vlida. El siguiente ejemplo es falso:
Si 12 es divisible por 4 y 12 es divisible por 6, entonces 12 es divisible por 24
vi. No es vlida. El siguiente ejemplo es falso:
7 es par si y slo si 7 es divisible por 2 o 7 es divisible por 7
vii. No es vlida. El siguiente ejemplo es falso:
Si -2 < 1 entonces (-2)
2
< 1
2

viii. No es vlida. El siguiente ejemplo es falso:
6 es par si y slo si 6 es divisible por 4
ix. No es vlida. El siguiente ejemplo es falso:
Si 9 es divisible por 3 entonces 9 es divisible por 9
x. No es vlida. El siguiente ejemplo es falso:
Si 18 es divisible por 6 entonces 18 no es divisible por 9
xi. No es vlida. El siguiente ejemplo es falso:
8 es divisible por 6 si y slo si 8 es divisible por 2 u 8 es divisible por 3
xii. No es vlida. El siguiente ejemplo es falso:
Si 9 no es divisible por 6 entonces 9 no es divisible por 3.