| | | Řešení podmínek |
Vyvíjeme software, teorii a algoritmy pro řešení matematických podmínek skládajíci se z rovnic, nerovnic, konjunkcí, disjunkcí a logických kvantifikátorů (forall , exist ).
Např. počítáme následující řešení podmínky x2+x2-1 <= 0 /\ 2y <= x2:
Aplikujeme řešiče v různých oblastech (např. ve verifikaci složitých systémů
Nabízíme různá témata pro práce v tomto oboru pro studenty informatiky, techniky řízení anebo matematiky. Podle zájmu a pozadí studenta práce může být anebo spíš zaměřená na různé aplikace, na teoretické či matematické základy, anebo na vývoj softwareu.
Rád poskytuji víc informací. Jen kontaktujťe mě!
Dole najdete příklady možných temat. Mnohem víc temat můžu poskytovat po individuální dohodě
| | | Řešení podmínek |