Perfil de @tito_

@tito_

Bio: Estudiante en la UC3M. Grado en Ingeniería Informática / Computer Science

Grado en Ingeniería Informática (UC3M) - Escuela Politécnica Superior. Campus de Leganés

31 Publicaciones

198 Interacciones

0 Seguidores

1 Siguiendo

chevron_left
chevron_right

Archivos subidos

#Lógica·1º Grado en Ingeniería Informática (UC3M)

apuntes

-

Ch 6: Semantic Theory

He publicado nuevos apuntes de 1º Lógica: Ch 6: Semantic Theory

Semantic-Theory.pdf
Semantic-theory-in-Predicates.pdf
Semantic-theory-in-Propositions.pdf
#Lógica·1º Grado en Ingeniería Informática (UC3M)

apuntes

-

u7:// Normal forms and resolution method

He publicado nuevos apuntes de 1º Lógica: U7: Normal forms and resolution method

Normal-forms-and-resolution.pdf
PRENEX-Normal-form.pdf
SKOLEM-Normal-Form.pdf
#Lógica·1º Grado en Ingeniería Informática (UC3M)

ejercicios

-

Submissions (7)

He publicado nuevos ejercicios de 1º Lógica: Submissions (7)

LogicSubmission-7-PRENEXandSKOLEM.pdf
#Desarrollo de Software·2º Grado en Ingeniería Informática (UC3M)

apuntes

-

Lesson 3-4: Test driven development/ Functional and structural testing

Lessons 3 and 4 of the software development class. As lesson 4 just keeps on with unittesting and white/black box testing I've decided to join them both.

Unit-testing.pdf
Black-box-testing/Functional-testing.pdf
White-box-testing/Structural-testing.pdf
Test-Driven-Development/TDD.pdf
#Lógica·1º Grado en Ingeniería Informática (UC3M)

apuntes

-

Predicate Logic

He publicado nuevos apuntes de 1º Lógica: Predicate Logic

20240409-121336-Proof-Theory-in-Predicate-Calculus.pdf
20240409-122243-Proof-theory.pdf
20240409-132720-Theorem-DeductionTheorem.pdf
#Sistemas Operativos·2º Grado en Ingeniería Informática (UC3M)

apuntes

-

T4 Concurrency and Synchronisation

He publicado nuevos apuntes de 2º Sistemas Operativos: T4 Concurrency and Synchronisation

L8-Concurrency.pdf
L8-Mutual-exclusion.pdf
L8-Algorithm-Readers-Writers-problem.pdf
L8-Algorithm-Producer-Consumer-problem.pdf
L8-Race-condition.pdf
#Cálculo diferencial aplicado·2º Grado en Ingeniería Informática (UC3M)

apuntes

-

Session 3: Laplace transform, Convolution product

He publicado nuevos apuntes de 2º Cálculo diferencial aplicado: Session 3: Laplace transform, Convolution product

Convolution-product.pdf
Theorem-Convolution.pdf
Using-the-convolution-product-to-solve-ODEs.pdf
The-Laplace-transform.pdf
Using-the-Laplace-transform-to-solve-IVP.pdf
#Cálculo·1º Grado en Ingeniería Informática (UC3M)

apuntes

-

Ch 2: Sequences and Series of Real num

He publicado nuevos apuntes de 1º Cálculo: Ch 2: Sequences and Series of Real num

Boundedness-of-sequences.pdf
Convergence-of-sequences.pdf
Monotonicity-of-sequences.pdf
Sequences-and-series-of-real-numbers.pdf
Sequences-of-real-numbers.pdf
#Cálculo·1º Grado en Ingeniería Informática (UC3M)

apuntes

-

Ch 1: Sets of Numbers

He publicado nuevos apuntes de 1º Cálculo: Ch 1: Sets of Numbers

Sets-of-numbers.pdf
#Matemática Discreta·1º Grado en Ingeniería Informática (UC3M)

apuntes

-

Ch 8: Advance methods in combinatorics

He publicado nuevos apuntes de 1º Matemática Discreta: Ch 8: Advance methods in combinatorics

Recurrence-relations.pdf