Index of /~msalvim/courses/ilc

	Name	Last modified	Size	Description
	Parent Directory		-
	ILC-2024-2 - Cronograma.pdf	2024-11-28 15:50	59K
	Lista0_Desafios-ResolucaoProblemas[questoes].pdf	2024-09-29 09:08	90K
	Lista1.1-B_EquivalenciasProposicionais[questoes].pdf	2024-10-07 10:08	107K
	Lista1.1-A_LogicaProposicional[questoes].pdf	2024-09-29 09:08	110K
	Lista1.3_RegrasInferencia[questoes].pdf	2024-09-29 09:08	115K
	Lista1.4_MetodosDemonstracao[questoes].pdf	2024-09-29 09:08	120K
	Lista1.2_PredicadosQuantificadores[questoes].pdf	2024-10-09 13:15	121K
	Lista3.1_InducaoFracaForte-BoaOrdenacao[questoes].pdf	2024-09-29 09:08	133K
	Lista2.1_Conjuntos[questoes].pdf	2024-09-29 09:08	139K
	Lista2.2_FuncoesSequenciasCardinalidade[questoes].pdf	2024-09-29 09:08	147K
	Lista3.2_DefRecursivasIndEstruturalAlgRecursivos[questoes].pdf	2024-09-29 09:08	151K
	Aula0.1_Introducao[still].pdf	2024-09-25 15:12	184K
	Lista4_AlgebraBooleana[questoes].pdf	2025-01-08 14:48	189K
	Aula1.2_LogicaDePredicados[still].pdf	2024-10-14 13:15	244K
	Aula1.3_RegrasInferencia[still].pdf	2024-10-21 14:48	252K
	Aula2.2_CardinalidadeEnumerabilidade[still].pdf	2024-12-02 09:54	280K
	Aula1.1_LogicaProposicional[still].pdf	2024-10-09 13:15	335K
	Aula3.1_InducaoFracaForte[still].pdf	2024-12-16 13:45	389K
	Aula1.4_MetodosDemonstracao[still].pdf	2024-11-13 11:32	419K
	Aula3.2_DefinicoesRecursivasInducaoEstruturalAlgoritmosRecursivos[still].pdf	2025-01-13 11:23	834K
	Aula0.0_InformacoesGerais[still].pdf	2024-09-25 15:12	1.6M
	Aula4_AlgebraBooleana[still].pdf	2025-01-15 13:16	2.3M
	Aula2.1_ConjuntosFuncoesSequenciasSomatorios[still].pdf	2024-11-25 15:31	3.3M