<?xml version='1.0' encoding='ISO-8859-2'?><!DOCTYPE doc PUBLIC '' 'Text.dtd'><?xml-stylesheet href='trans.xslt' type='text/xsl'?>


<doc language='hu'>
<path>


</path>
<title>Bizonyítások és heurisztikák </title>
 <body>
  <p><b>Az alábbi információk tájékoztató jellegűek. A hatályos követelmények az <a href="http://www.u-szeged.hu/tanrend">egyetemi tanrendi keresőben </a>találhatók.</b></p>
 
<h1><title>Bizonyítások és heurisztikák </title></h1>

<h2><title>kódjai: I000PTMe40</title>


<h2><title>Felelős előadó: Dombi József</title>


    <p>Milyen szakos, hanyad eves hallgatok reszere ajanlott: valamennyi, a TSzCs
által gondozott szak hallgatóinak.</p>

   <p>Maximalt hallgatoi letszam: 20 </p>
	 
	 <p>A spec. koll. felvételének feltétele, az algoritmus és Mest. Int. I. tárgyak
teljesítése</p>

        </h2>
<h2><title>Tematika:</title>

<p>Elméletépítés
</p><p>Sejtések generálása
</p><p>Bizonyítástervezés
</p><p>Heurisztika szerepe tervezésben
</p><p>Vargabetűk
</p><p>Példa a nem lineáris optimalizálás területéről
</p><p>Példa a fuzzy elmélet területéről.
</p>

</h2>


</h2>
<p></p>
</body></doc>


