$(function(){
            $("#headerSearchForm").on("submit", function(event)
            {
             event.preventDefault();
             var query = $.trim($("#headerSearchQ").val());if (query.length == 0) {return false;}
             location.href = "https://buscador.rincondelvago.com/" + query.replace(/[^ a-záâàäéêèëíîìïóôòöúûùüçñA-ZÁÂÀÄÉÊÈËÍÎÌÏÓÔÒÖÚÛÙÜÇÑ0-9'"]/g,"").replace(/ /g,"+");
                                    });
            $("#bodySearchForm").on("submit", function(event)
            {
             event.preventDefault();
             var query = $.trim($("#bodySearchQ").val());if (query.length == 0) {return false;}
             location.href = "https://buscador.rincondelvago.com/" + query.replace(/[^ a-záâàäéêèëíîìïóôòöúûùüçñA-ZÁÂÀÄÉÊÈËÍÎÌÏÓÔÒÖÚÛÙÜÇÑ0-9'"]/g,"").replace(/ /g,"+");
                                    });
            });
 			
		var div_1_sizes = [
				[320, 100],
				[320, 50],
				[300, 250],
				[300, 600]
		];
		var div_2_sizes = [[970, 90], [728, 90],[970, 250]];
	  	var PREBID_TIMEOUT = 2000;
	    var adUnits = [{
	        code: 'div-gpt-ad-1498674722723-0',
	        mediaTypes: {
	            banner: {
	                sizes: div_2_sizes
	            }
	        },
	        bids: [{
	            bidder: 'appnexus',
	            params: {
	               placementId: '12485609'
	            }
	        }]
	    },{
	        code: 'div-gpt-ad-1515779430602-1',
	        mediaTypes: {
	            banner: {
	                sizes: div_2_sizes
	            }
	        },
	        bids: [{
	            bidder: 'appnexus',
	            params: {
	               placementId: '12485931'
	            }
	        }]
	    },{
	        code: 'div-gpt-ad-1515779430602-2',
	        mediaTypes: {
	            banner: {
	                sizes: div_2_sizes
	            }
	        },
	        bids: [{
	            bidder: 'appnexus',
	            params: {
	               placementId: '12485934'
	            }
	        }]
	    },{
	        code: 'div-gpt-ad-1515779430602--3',
	        mediaTypes: {
	            banner: {
	                sizes: div_2_sizes
	            }
	        },
	        bids: [{
	            bidder: 'appnexus',
	            params: {
	               placementId: '12485937'
	            }
	        }]
	    },{
	        code: 'div-gpt-ad-1515779430602--4',
	        mediaTypes: {
	            banner: {
	                sizes: div_2_sizes
	            }
	        },
	        bids: [{
	            bidder: 'appnexus',
	            params: {
	               placementId: '12485941'
	            }
	        }]
	    },{
	        code: 'div-gpt-ad-1515779430602--5',
	        mediaTypes: {
	            banner: {
	                sizes: div_2_sizes
	            }
	        },
	        bids: [{
	            bidder: 'appnexus',
	            params: {
	               placementId: '12485945'
	            }
	        }]
	    },{
	        code: 'div-gpt-ad-1515779430602--6',
	        mediaTypes: {
	            banner: {
	                sizes: div_2_sizes
	            }
	        },
	        bids: [{
	            bidder: 'appnexus',
	            params: {
	               placementId: '12485949'
	            }
	        }]
	    },{
	        code: 'div-gpt-ad-1515779430602--7',
	        mediaTypes: {
	            banner: {
	                sizes: div_1_sizes
	            }
	        },
	        bids: [{
	            bidder: 'appnexus',
	            params: {
	               placementId: '12485953'
	            }
	        }]
	    },{
	        code: 'div-gpt-ad-1515779430602--8',
	        mediaTypes: {
	            banner: {
	                sizes: div_1_sizes
	            }
	        },
	        bids: [{
	            bidder: 'appnexus',
	            params: {
	               placementId: '12485956'
	            }
	        }]
	    },{
	        code: 'div-gpt-ad-1515779430602--9',
	        mediaTypes: {
	            banner: {
	                sizes: div_1_sizes
	            }
	        },
	        bids: [{
	            bidder: 'appnexus',
	            params: {
	               placementId: '12485957'
	            }
	        }]
	    },{
	        code: 'div-gpt-ad-1515779430602--10',
	        mediaTypes: {
	            banner: {
	                sizes: div_1_sizes
	            }
	        },
	        bids: [{
	            bidder: 'appnexus',
	            params: {
	               placementId: '12485958'
	            }
	        }]
	    },{
	        code: 'div-gpt-ad-1515779430602--11',
	        mediaTypes: {
	            banner: {
	                sizes: div_1_sizes
	            }
	        },
	        bids: [{
	            bidder: 'appnexus',
	            params: {
	               placementId: '12485959'
	            }
	        }]
	    },{
	        code: 'div-gpt-ad-1515779430602--12',
	        mediaTypes: {
	            banner: {
	                sizes: div_1_sizes
	            }
	        },
	        bids: [{
	            bidder: 'appnexus',
	            params: {
	               placementId: '12485960'
	            }
	        }]
	    },{
	        code: 'div-gpt-ad-1515779430602--13',
	        mediaTypes: {
	            banner: {
	                sizes: div_1_sizes
	            }
	        },
	        bids: [{
	            bidder: 'appnexus',
	            params: {
	               placementId: '12485961'
	            }
	        }]
	    },{
	        code: 'div-gpt-ad-1515779430602--14',
	        mediaTypes: {
	            banner: {
	                sizes: div_1_sizes
	            }
	        },
	        bids: [{
	            bidder: 'appnexus',
	            params: {
	               placementId: '12485962'
	            }
	        }]
	    },{
	        code: 'div-gpt-ad-1515779430602--15',
	        mediaTypes: {
	            banner: {
	                sizes: div_1_sizes
	            }
	        },
	        bids: [{
	            bidder: 'appnexus',
	            params: {
	               placementId: '12485962'
	            }
	        }]
	    },{
	        code: 'div-gpt-ad-1515779430602--16',
	        mediaTypes: {
	            banner: {
	                sizes: div_1_sizes
	            }
	        },
	        bids: [{
	            bidder: 'appnexus',
	            params: {
	               placementId: '12485962'
	            }
	        }]
	    },{
	        code: 'div-gpt-ad-1515779430602--17',
	        mediaTypes: {
	            banner: {
	                sizes: div_1_sizes
	            }
	        },
	        bids: [{
	            bidder: 'appnexus',
	            params: {
	               placementId: '12485962'
	            }
	        }]
	    },{
	        code: 'div-gpt-ad-1515779430602--18',
	        mediaTypes: {
	            banner: {
	                sizes: div_1_sizes
	            }
	        },
	        bids: [{
	            bidder: 'appnexus',
	            params: {
	               placementId: '12485962'
	            }
	        }]
	    },{
	        code: 'div-gpt-ad-1515779430602--19',
	        mediaTypes: {
	            banner: {
	                sizes: div_1_sizes
	            }
	        },
	        bids: [{
	            bidder: 'appnexus',
	            params: {
	               placementId: '12485962'
	            }
	        }]
	    },{
	        code: 'div-gpt-ad-1515779430602--20',
	        mediaTypes: {
	            banner: {
	                sizes: div_1_sizes
	            }
	        },
	        bids: [{
	            bidder: 'appnexus',
	            params: {
	               placementId: '12485962'
	            }
	        }]
	    },{
	        code: 'div-gpt-ad-1515779430602--21',
	        mediaTypes: {
	            banner: {
	                sizes: div_1_sizes
	            }
	        },
	        bids: [{
	            bidder: 'appnexus',
	            params: {
	               placementId: '12485962'
	            }
	        }]
	    },{
	        code: 'div-gpt-ad-1515779430602--22',
	        mediaTypes: {
	            banner: {
	                sizes: div_1_sizes
	            }
	        },
	        bids: [{
	            bidder: 'appnexus',
	            params: {
	               placementId: '12485962'
	            }
	        }]
	    },{
	        code: 'div-gpt-ad-1515779430602--23',
	        mediaTypes: {
	            banner: {
	                sizes: div_1_sizes
	            }
	        },
	        bids: [{
	            bidder: 'appnexus',
	            params: {
	               placementId: '12485962'
	            }
	        }]
	    },{
	        code: 'div-gpt-ad-1515779430602--24',
	        mediaTypes: {
	            banner: {
	                sizes: div_1_sizes
	            }
	        },
	        bids: [{
	            bidder: 'appnexus',
	            params: {
	               placementId: '12485962'
	            }
	        }]
	    }];
		var googletag = googletag || {};
      googletag.cmd = googletag.cmd || [];
      googletag.cmd.push(function() {
          googletag.pubads().disableInitialLoad();
      });
	    var pbjs = pbjs || {};
	    pbjs.que = pbjs.que || [];
			pbjs.que.push(function() {
					 pbjs.addAdUnits(adUnits);
					 pbjs.requestBids({
							 bidsBackHandler: initAdserver
					 });
			 });
			 function initAdserver() {
					 if (pbjs.initAdserverSet) return;
					 pbjs.initAdserverSet = true;
					 googletag.cmd.push(function() {
							 pbjs.que.push(function() {
									 pbjs.setTargetingForGPTAsync();
									 googletag.pubads().refresh();
							 });
					 });
			 }
			 setTimeout(function() {
					 initAdserver();
			 }, PREBID_TIMEOUT);
			googletag.cmd.push(function() {
	              googletag.defineSlot('/49859683/RDV_web', div_2_sizes, 'div-gpt-ad-1498674722723-0').addService(googletag.pubads());
          googletag.pubads().enableSingleRequest();
          googletag.enableServices();
      });
		
//
// Begin comScore Tag
var _comscore = _comscore || [];
_comscore.push({ c1: "2", c2: "5641052" });
(function() {
var s = document.createElement("script"), el = document.getElementsByTagName("script")[0]; s.async = true;
s.src = (document.location.protocol == "https:" ? "https://sb" : "https://b") + ".scorecardresearch.com/beacon.js";
el.parentNode.insertBefore(s, el);
})();
// End comScore Tag
//
var domain= "rincondelvago.com";
//-->
 
 
 
 
				
				
 
 
 
   
     
  
    
      
				      
			
			     
			
			
    
    
    
    
    
    
    
    
    
      	
	 Compartir      
	
      	 
      	0  Me sirvió 
      	
      	    
	    
      	 
      	0  No me sirvió 
       
    En todas las hojas :
  DNI, NOMBRE DEL ALUMNO, y CONVOCATORIA (si es 5ª o 6ª) 
  Tiempo  para la prueba:
  
2 horas 
  Puntuación  máxima del examen:
  6 puntos 
  No presentado :
  Se dispone de 30 minutos  desde el comienzo del examen para decidir si se entrega el examen o no (en este último caso no se agotaría convocatoria ni se corrige el test).
  Soluciones :
    Publicación de calificaciones :
  el viernes 19 de diciembre, a las 16 horas, salvo 5ª y 6ª (a discreción del tribunal)
  Revisión :
  el miércoles 25 de septiembre de 10 a 13 y de 16 a 17:30, laboratorio de 3er ciclo DLSI.
  Tribunal 5ª y 6ª 
   
 Utiliza las hojas por delante y por detrás, con las respuestas para cada pregunta una a continuación de las otras.
  El único color que no se permite utilizar al escribir es el rojo, y se puede contestar a lápiz.
  El sistema de evaluación global de la asignatura se halla publicado en Internet.
   Esquema Lógico 1 
 Provincia (nombre : domNom, extensión : domReal)
 CP(nombre)
 Ciudad (provincia : domNom, nombre : domNom, habitantes : domEnt)
 CP: (provincia, nombre)
 CAj: provincia ! PROVINCIA
  Carretera (p1 : domNom, c1 : domNom, p2 : domNom, c2 : domNom, distancia : domReal)
 CP: (p1,c1,p2,c2)
 CAj: (p1,c1) ! Ciudad
 CAj: (p2,c2) ! Ciudad
 VNN: distancia
 
  (0.5 + 0.5)=1 punto
  Dado el esquema lógico 1 y el siguiente conjunto de fórmulas:
 r1:Carretera, r2:Carretera
 f1)  "r1(Carretera(r1) ! ¬"r2(Carretera(r2) " r1.p1 = r2.p2 " r1.c1 = r2.c2 " r2.p1 = r1.p2 " r2.c1 = r1.c2))
 p : Provincia, c : Ciudad
 f2)  "c(Ciudad(c) ! "p(Provincia(p) " c.provincia = p.nombre)))
 
  Definir una interpretación que sea modelo para esas fórmulas, y demostrar que efectivamente es modelo. 
  ¿Hay alguna fórmula, de f1 y f2, que sea innecesaria? ¿Cuál y porqué?
  0.75 puntos
  Responder BREVEMENTE  a las siguientes cuestiones referentes al mismo esquema lógico:
 De toda ciudad parte una carretera, ¿cierto o falso? ¿Por qué?
  Siempre existe una carretera con la que llegar a cualquier ciudad, ¿cierto o falso? ¿Por qué?
  Toda provincia tiene al menos una ciudad ¿cierto o falso? ¿Por qué?
  Toda carretera que parte de una provincia llega, obligatoriamente a otra provincia distinta, ¿cierto o falso? ¿Por qué?
  Una carretera puede tener como origen y destino la misma ciudad con una distancia de 1000 Km, ¿cierto o falso? ¿Por qué?
  (0.5+0.25) = 0.75 puntos
  A partir del mismo esquema lógico, obtener
 en Algebra Relacional: “dar el nombre y la extensión de aquellas provincias con al menos 2 carreteras unidas por la misma ciudad (Alicante es destino de Elche-Alicante y origen de Alicante-San Vicente).
  en Cálculo Relacional de tuplas: “no existen carreteras que partan de una ciudad X y lleguen a la misma ciudad X”.
  0.5 puntos
  Dado el esquema lógico 1, dar los valores correctos de las siguientes expresiones:
 Card(Ciudad, Provincia) = 		Card(Ciudad, Carretera) = 
 1 punto
  
 
      
			
			    
			
				      
			
			    
			
				      
				      
              
            
                
              
            
      
      
				
             Descargar 
     
        Enviado por: Rogelio Moreno Idioma:   castellanoPaís:  España