Ostravská univerzita používá na svých webových stránkách soubory cookies i další analytické nástroje. Rozumím

OU > O univerzitě > Struktura univerzity > Fakulty a ústavy > Přírodovědecká fakulta

Hashim Habiballa

Hashim Habiballa

titul, jméno, příjmení:doc. RNDr. PaedDr. Hashim Habiballa, PhD, Ph.D.
místnost, podlaží, budova: A 306, budova A
A 332, budova A
funkce:vedoucí katedry
obor činnosti:
katedra / středisko (fakulta): Katedra informatiky a počítačů (Přírodovědecká fakulta)
telefon, mobil: 553 46 2170
553 46 2174
e-mail:
osobní WWW stránka:http://habiballa.8u.cz/

Vzdělání

1997 – 1999Ostravská univerzita, Přírodovědecká fakulta (Mgr.- "Informační systémy")
1994 – 1997Ostravská univerzita, Přírodovědecká fakulta (Bc. -"Informatika")

Kvalifikace

2013Univerzita Hradec Králové, Fakulta informatiky a managementu, (Doc. – Systémové inženýrství a informatika)(habilitační řízení úspěšně ukončeno 12/2012)
2007Ostravská univerzita, Přírodovědecká fakulta (Ph.D.- "Informační systémy")
2006Ostravská univerzita, Přírodovědecká fakulta (RNDr. - "Informační systémy")
2004Univerzita Konštantína Filozofa, Slovenská rep., (PhD. - "Teória vyučovania informatiky")
2003Univerzita Konštantína Filozofa, Slovenská rep.(PaedDr. - "Učitelství informatiky")

Další vzdělávání, kurzy

2001 - 2003Doplňující pedagogické studium (DPS), Ostravská univerzita, Pedagogická fakulta
2002Univerzita Palackého, Kurz realizátorů distančního vzdělávání, UPOL

Zaměstnání, praxe

1999 – dosudDocent, Katedra informatiky a počítačů, Přírodovědecká fakulta, Ostravská univerzita
2000 – 2004,
2012 – 2015
vědecký pracovník (částečný úvazek), Ústav pro výzkum a aplikace fuzzy modelování, Ostravská univerzita

Odborné zaměření

Umělá inteligence
Teoretická informatika
Didaktika informatiky

Akademické funkce a členství v orgánech

2015 – dosudvedoucí katedry, Katedra informatiky a počítačů, Přírodovědecká fakulta, Ostravská univerzita

Členství v profesních organizacích, redakčních radách a poradních orgánech

Vědecká rada, Přírodovědecká fakulta, Ostravská univerzita
Oborová rada, Aplikovaná informatika, Přírodovědecká fakulta, Ostravská univerzita
Oborová rada, ICT ve vzdělávání, Pedagogická fakulta, Ostravská univerzita

Působení v zahraničí

10/1998 – 1/1999University of Liverpool/UK/Studijní pobyt
2006 – 2008Univerzita Konštantína Filozofa/SK/Výuka Umělé inteligence v LS

Jazykové znalosti

Angličtina


Automated design and optimization of specific algebras by genetic algorithms
Hashim Habiballa, Jiří SCHENK, Matěj Hireš, Radek Jendryščík
Rok: 2016
stať ve sborníku

Parallelization of fuzzy logic analysis for pattern recognition
Matěj Hireš, Hashim Habiballa, Vilém Novák
Rok: 2016
stať ve sborníku

Specific optimization of genetic algorithm on special algebras
Hashim Habiballa, Vilém Novák, Martin Dyba, Jiří SCHENK
Rok: 2016
stať ve sborníku

ECG Prediction Based on Classification via Neural Networks and Linguistic Fuzzy Logic Forecaster
Eva Volná, Martin Kotyrba, Hashim Habiballa
Rok: 2015, THESCIENTIFICWORLDJO
článek v odborném periodiku

Recognition of Damaged Letters Based on Mathematical Fuzzy Logic Analysis
Vilém Novák, Hashim Habiballa, Petr Hurtík, Martin Štěpnička
Rok: 2015, Journal of Applied Logic
článek v odborném periodiku

EQ-ALGEBRAS AUTOMATED GENERATION BASED ON GENETIC ALGORITHMS
Hashim Habiballa, Vilém Novák, Martin Dyba, Jiří SCHENK
Rok: 2014
stať ve sborníku

Damaged Letter Recognition Methodology
Eva Volná, Václav Kocian, Michal Janošek, Hashim Habiballa, Vilém Novák
Rok: 2013
stať ve sborníku

Modelling And Reasoning With Fuzzy Logic Redundant Knowledge Bases
Hashim Habiballa, Eva Volná, Michal Janošek, Martin Kotyrba
Rok: 2013
stať ve sborníku

Recognition of heavily distorted characters on metal
Vilém Novák, Petr Hurtík, Hashim Habiballa
Rok: 2013
stať ve sborníku

Error analysis in teaching mathematical informatics
Hashim Habiballa, Radek Jendryščík
Rok: 2019
stať ve sborníku

Adaptive control of EV3 robot using mobile devices and fuzzy logic
Jan Konvička, Martin Kotyrba, Eva Volná, Hashim Habiballa, Vladimír Bradáč
Rok: 2018
stať ve sborníku

Comparison of Compilers Efficiency in C++
Hashim Habiballa, Tomáš Botor
Rok: 2018
stať ve sborníku

Comparison of time measurement methods in C++
Tomáš Botor, Hashim Habiballa
Rok: 2018
stať ve sborníku

Compiler Optimization for Scientific Computation in C/C++
Hashim Habiballa, Tomáš Botor
Rok: 2018
stať ve sborníku

Constructivistic Mathematical Logic Education
Hashim Habiballa, Radek Jendryščík
Rok: 2018
stať ve sborníku

Convolutional generalization of fuzzy logic analysis
Hashim Habiballa, Matěj Hireš
Rok: 2018
stať ve sborníku

Fuzzy convolutional approach for pattern recognition
Hashim Habiballa, Matěj Hireš
Rok: 2018
stať ve sborníku

Matematická olympiáda kategorie programování
Hashim Habiballa
Rok: 2018
uspořádání konference, workshopu

STUDENTS' AUTOEVALUATION IN THE FIRST YEAR OF SCIENCE STUDY FIELDS ESPECIALLY IN MATHEMATICS (COMPLEX ANALYSIS)
Petra Konečná, Hashim Habiballa
Rok: 2018
stať ve sborníku

Comparison of Parallel Data Processing and its Performance
Hashim Habiballa, Tomáš Botor
Rok: 2017
stať ve sborníku

Formal logic rewrite system bachelor in teaching mathematical informatics
Hashim Habiballa, Radek Jendryščík
Rok: 2017
stať ve sborníku

Fuzzy logic analysis optimizations for pattern recognition - Implementation and experimental results
Hashim Habiballa, Matěj Hireš
Rok: 2017
stať ve sborníku

Genetic algorithms in teaching artificial intelligence (automated generation of specific algebras)
Hashim Habiballa, Radek Jendryščík
Rok: 2017
stať ve sborníku

Matematická olympiáda kategorie programování
Hashim Habiballa
Rok: 2017
uspořádání konference, workshopu

Optimization of fuzzy logic analysis by diagonals for pattern recognition
Hashim Habiballa, Matěj Hireš
Rok: 2017
stať ve sborníku

Properties of Genetic Algorithms for Automated Algebras Generation
Hashim Habiballa, Matěj Hireš, Radek Jendryščík
Rok: 2017
stať ve sborníku

Automated design and optimization of specific algebras by genetic algorithms
Hashim Habiballa, Jiří SCHENK, Matěj Hireš, Radek Jendryščík
Rok: 2016
stať ve sborníku

Concept of an expert system for EQCreator
Zdeňka Telnarová, Jiri Schenk, Hashim Habiballa
Rok: 2016
stať ve sborníku

Matematická olympiáda kategorie programování
Hashim Habiballa
Rok: 2016
uspořádání konference, workshopu

Parallelization of fuzzy logic analysis for pattern recognition
Matěj Hireš, Hashim Habiballa, Vilém Novák
Rok: 2016
stať ve sborníku

Pattern recognition using linguistic fuzzy logic predictors
Hashim Habiballa
Rok: 2016
stať ve sborníku

Specific optimization of genetic algorithm on special algebras
Hashim Habiballa, Vilém Novák, Martin Dyba, Jiří SCHENK
Rok: 2016
stať ve sborníku

ECG Prediction Based on Classification via Neural Networks and Linguistic Fuzzy Logic Forecaster
Eva Volná, Martin Kotyrba, Hashim Habiballa
Rok: 2015, THESCIENTIFICWORLDJO
článek v odborném periodiku

Evolutionary search for automated generation of EQ-algebras
Hashim Habiballa, Vilém Novák, Martin Dyba, Jiří SCHENK
Rok: 2015
stať ve sborníku

Recognition of Damaged Letters Based on Mathematical Fuzzy Logic Analysis
Vilém Novák, Hashim Habiballa, Petr Hurtík, Martin Štěpnička
Rok: 2015, Journal of Applied Logic
článek v odborném periodiku

Refutational Provability and Fuzzy Description Logic
Hashim Habiballa, Zuzana Rombová
Rok: 2015
stať ve sborníku

STOCHASTIC SELF-ADAPTIVE ALGORITHMS FOR GLOBAL OPTIMIZATION
Josef Tvrdík, Viktor Pavliska, Radek Valášek, Radka Poláková, Hashim Habiballa
Rok: 2015
software

APLIKACE ANALÝZY ROZPTYLU V PEDAGOGICKÉM VÝZKUMU
Hashim Habiballa
Rok: 2014
učební texty, skripta, výukové programy, příručky

EQ-ALGEBRAS AUTOMATED GENERATION BASED ON GENETIC ALGORITHMS
Hashim Habiballa, Vilém Novák, Martin Dyba, Jiří SCHENK
Rok: 2014
stať ve sborníku

Vyčíslitelnost a složitost
Hashim Habiballa
Rok: 2014
učební texty, skripta, výukové programy, příručky

Algebra v informatice
Hashim Habiballa
Rok: 2013
učební texty, skripta, výukové programy, příručky

Damaged Letter Recognition Methodology
Eva Volná, Václav Kocian, Michal Janošek, Hashim Habiballa, Vilém Novák
Rok: 2013
stať ve sborníku

EQ Algebras Generation through Genetic Algorithms
Hashim Habiballa
Rok: 2013
prezentace (kongresy, sympózia, konference, workshopy)

EQCreator
Hashim Habiballa, Vilém Novák, Martin Dyba
Rok: 2013
software

Gramatiky a jazyky
Hashim Habiballa
Rok: 2013
učební texty, skripta, výukové programy, příručky

Character recognition through fuzzy logic analysis - Algorithms and Implementation
Hashim Habiballa, Vilém Novák
Rok: 2013
stať ve sborníku

Matematická olympiáda - krajské kolo kategorie P
Hashim Habiballa
Rok: 2013
uspořádání konference, workshopu

Methodology for Elliott waves pattern recognition
Martin Kotyrba, Eva Volná, Michal Janošek, Hashim Habiballa, David Bražina
Rok: 2013
stať ve sborníku

Modelling And Reasoning With Fuzzy Logic Redundant Knowledge Bases
Hashim Habiballa, Eva Volná, Michal Janošek, Martin Kotyrba
Rok: 2013
stať ve sborníku

Posudek PhD. disertační práce - Formální reprezentace znalostních vzorů v ontologických jazycích
Hashim Habiballa, Rostislav Miarka
Rok: 2013
zveřejněné odborné posudky, recenze

Posudek PhD. disertační práce - Optimalizace systémů pro rozpoznávání ručně psaného textu pomocí metod umělé inteligence
Hashim Habiballa
Rok: 2013
zveřejněné odborné posudky, recenze

Predator-Prey Simulation's Parameters and Leverage Points
Michal Janošek, Václav Kocian, Eva Volná, Martin Kotyrba, Hashim Habiballa
Rok: 2013
stať ve sborníku

Recognition of heavily distorted characters on metal
Vilém Novák, Petr Hurtík, Hashim Habiballa
Rok: 2013
stať ve sborníku

Vyčíslitelnost a složitost
Hashim Habiballa
Rok: 2013
učební texty, skripta, výukové programy, příručky

Automatizace dedukce ve znalostních systémech
Hashim Habiballa
Rok: 2012
graduační práce (rigorózní, graduační, habilitační)

Constructivist Approaches of Innovation in one School-University Partnership
Eva Volná, Hashim Habiballa, Rostislav Fojtík
Rok: 2012, WAXMANN
kapitola v odborné knize

How to automatically find and recognize letters printed on a steel block
Petr Hurtík, Irina Perfiljeva, Vilém Novák, Marek Vajgl, Petra Hoďáková, Hashim Habiballa ... další autoři
Rok: 2012
prezentace (kongresy, sympózia, konference, workshopy)

Matematická olympiáda - krajské kolo kategorie P
Hashim Habiballa
Rok: 2012
uspořádání konference, workshopu

Prepic - Prerecognition of pictures
Hashim Habiballa, Vilém Novák
Rok: 2012
software

Recognition of Damaged Letters Based on Mathematical Fuzzy Logic Analysis
Vilém Novák, Hashim Habiballa
Rok: 2012
stať ve sborníku

Resolution principle and fuzzy logic
Hashim Habiballa
Rok: 2012, InTech
kapitola v odborné knize

STUDENTS' AUTOEVALUATION IN THE FIRST YEAR OF SCIENCE STUDY FIELDS ESPECIALLY IN MATHEMATICS PHASE 2
Petra Konečná, Hashim Habiballa
Rok: 2012, Journal of Applied Mathematics
článek v odborném periodiku

STUDENTS' AUTOEVALUATION IN THE FIRST YEAR OF SCIENCE STUDY FIELDS ESPECIALLY IN MATHEMATICS PHASE 2
Petra Konečná, Hashim Habiballa
Rok: 2012
stať ve sborníku

Úvod do informatiky
Hashim Habiballa
Rok: 2012
učební texty, skripta, výukové programy, příručky

Vybrané aplikace fuzzy logické dedukce
Hashim Habiballa
Rok: 2012
prezentace (kongresy, sympózia, konference, workshopy)

Fuzzy techniques for time series prediction
Martin Kotyrba, Eva Volná, Michal Janošek, Václav Kocian, Hashim Habiballa
Rok: 2011
stať ve sborníku

Fuzzy techniques for time series prediction
Martin Kotyrba, Eva Volná, Michal Janošek, Václav Kocian, Hashim Habiballa
Rok: 2011, Aplimat - Journal of Applied Mathematics
článek v odborném periodiku

IF-THEN RULES FOR TIME SERIES PREDICTION
Hashim Habiballa, Viktor Pavliska
Rok: 2011, Journal of Applied Mathematics
článek v odborném periodiku

LFLF Forecaster as new tool for time series prediction
Hashim Habiballa, Viktor Pavliska, Antonín Dvořák
Rok: 2011
stať ve sborníku

LFLF Forecaster for time series prediction
Hashim Habiballa, Viktor Pavliska, Antonín Dvořák
Rok: 2011, Journal of Applied Mathematics
článek v odborném periodiku

LINGUISTIC IF-THEN RULES FOR TIME SERIES PREDICTION
Hashim Habiballa, Viktor Pavliska
Rok: 2011
stať ve sborníku

Matematická olympiáda - krajské kolo kategorie P
Hashim Habiballa
Rok: 2011
uspořádání konference, workshopu

Non-clausal resolution and fuzzy logic
Hashim Habiballa
Rok: 2011, Journal of Applied Mathematics
článek v odborném periodiku

Non-clausal resolution and fuzzy logic
Hashim Habiballa
Rok: 2011
stať ve sborníku

RESOLUTION REASONING IN FUZZY PREDICATE LOGIC
Hashim Habiballa
Rok: 2011, KYBERNETIKA
článek v odborném periodiku

Student's autoevaluation in the first year of study, especially concerning mathematical abilities
Petra Konečná, Hashim Habiballa
Rok: 2011, Scientific Issues, Jan Dlugosz University of Czenstochowa. Mathematics XVI
článek v odborném periodiku

Automatizace dedukce ve znalostních systémech
Hashim Habiballa
Rok: 2010
učební texty, skripta, výukové programy, příručky

Formální reprezentace znalostí
Alena Lukasová, Zdeňka Telnarová, Hashim Habiballa, Marek Vajgl
Rok: 2010, Universum
odborná kniha

Linguistic Fuzzy Logic Forecaster
Vilém Novák, Viktor Pavliska, Antonín Dvořák, Martin Štěpnička, Hashim Habiballa, Irina Perfiljeva, Lenka Vavříčková ... další autoři
Rok: 2010
software

BACHELOR - Propositonal Logic Formal Rewrite System
Hashim Habiballa
Rok: 2009
software

Fuzzy Predicate Logic Deductive System
Hashim Habiballa, Vilém Novák
Rok: 2009
software

GEneralized Resolution Deductive System
Hashim Habiballa
Rok: 2009
software

LAM - Linguistic Associations Mining
Antonín Dvořák, Hashim Habiballa, Vilém Novák, Irina Perfiljeva, Viktor Pavliska
Rok: 2009
software

Linguistic Fuzzy Logic Controller 2000
Vilém Novák, Viktor Pavliska, Antonín Dvořák, Hashim Habiballa
Rok: 2009
software

Matematická olympiáda - krajské kolo kategorie P
Hashim Habiballa
Rok: 2009
uspořádání konference, workshopu

Software system for time series prediction based on F-transform and linguistic rules
Hashim Habiballa, Viktor Pavliska, Antonín Dvořák
Rok: 2009
stať ve sborníku

Stochastic Self-adaptive Algorithms for Global Optimization - MATLAB and C++ library
Josef Tvrdík, Viktor Pavliska, Hashim Habiballa
Rok: 2009
software

System for time series prediction
Hashim Habiballa, Viktor Pavliska
Rok: 2009, Aplimat - Journal of applied mathematics
článek v odborném periodiku

System for time series prediction
Hashim Habiballa, Viktor Pavliska
Rok: 2009, Aplimat - Journal of applied mathematics
článek v odborném periodiku

Time Series Tool
Vilém Novák, Viktor Pavliska, Antonín Dvořák, Irina Perfiljeva, Martin Štěpnička, Hashim Habiballa ... další autoři
Rok: 2009
software

INFERENCE STRATEGIES FOR FUZZY DESCRIPTION LOGIC
Hashim Habiballa
Rok: 2008, APLIMAT - Journal of Applied Mathematics
článek v odborném periodiku

INFERENCE STRATEGIES FOR FUZZY DESCRIPTION LOGIC
Hashim Habiballa
Rok: 2008, APLIMAT - Journal of Applied Mathematics
článek v odborném periodiku

Izraelský koncept výuky informatiky
Hashim Habiballa
Rok: 2008, Metodický portál RVP - Výzkumný ústav pedagogický
článek v odborném periodiku

Matematická olympiáda - krajské kolo kategorie P
Hashim Habiballa
Rok: 2008
uspořádání konference, workshopu

Mathematical Logic and Deduction in Computer Science
Hashim Habiballa
Rok: 2008, Informatics in ed.
článek v odborném periodiku

Mathematical Logic and Deduction in Computer Science
Hashim Habiballa
Rok: 2008, Informatics in ed.
článek v odborném periodiku

RESOLUTION REASONING IN FUZZY PREDICATE LOGIC
Hashim Habiballa
Rok: 2008, KYBERNETIKA
článek v odborném periodiku

RESOLUTION REASONING IN FUZZY PREDICATE LOGIC
Hashim Habiballa
Rok: 2008, KYBERNETIKA
článek v odborném periodiku

Resolution strategies in fuzzy description logic
Hashim Habiballa
Rok: 2008
stať ve sborníku

Resolution strategies in fuzzy description logic
Hashim Habiballa
Rok: 2008
stať ve sborníku

Univerzita Konštantína Filozofa v Nitre
Hashim Habiballa
Rok: 2008
působení v zahraničí

14. ročník konference středoškolských profesorů matematiky a informatiky
Jaroslav Hančl, Eva Volná, Hashim Habiballa
Rok: 2008
uspořádání konference, workshopu

14. ročník konference středoškolských profesorů matematiky a informatiky
Jaroslav Hančl, Eva Volná, Hashim Habiballa
Rok: 2008
uspořádání konference, workshopu

Algoritmy ve výuce matematiky na SŠ
Hashim Habiballa, Antonín Jančařík
Rok: 2007
stať ve sborníku

Algoritmy ve výuce matematiky na ZŠ
Antonín Jančařík, Hashim Habiballa
Rok: 2007
stať ve sborníku

Constantine the Philosopher University, Nitra
Hashim Habiballa
Rok: 2007
působení v zahraničí

Constantine the Philosopher University, Nitra
Hashim Habiballa
Rok: 2007
působení v zahraničí

INFERENCE METHODS FOR FUZZY PREDICATE LOGIC BASED ON RESOLUTION PRINCIPLE
Hashim Habiballa
Rok: 2007
stať ve sborníku

INFERENCE METHODS FOR FUZZY PREDICATE LOGIC BASED ON RESOLUTION PRINCIPLE
Hashim Habiballa
Rok: 2007
prezentace (kongresy, sympózia, konference, workshopy)

INFERENCE METHODS FOR FUZZY PREDICATE LOGIC BASED ON RESOLUTION PRINCIPLE
Hashim Habiballa
Rok: 2007
stať ve sborníku

INFERENCE METHODS FOR FUZZY PREDICATE LOGIC BASED ON RESOLUTION PRINCIPLE
Hashim Habiballa
Rok: 2007
prezentace (kongresy, sympózia, konference, workshopy)

Logika (část I.)
Hashim Habiballa
Rok: 2007, Matematika - fyzika - informatika
článek v odborném periodiku

Logika (část II.)
Hashim Habiballa
Rok: 2007, Matematika - fyzika - informatika
článek v odborném periodiku

Logika (část III.)
Hashim Habiballa
Rok: 2007, Matematika - fyzika - informatika
článek v odborném periodiku

Matematická informatika - na pomezí matematiky a informatiky
Hashim Habiballa
Rok: 2007
stať ve sborníku

Matematická olympiáda - krajské kolo kategorie P
Hashim Habiballa
Rok: 2007
uspořádání konference, workshopu

Matlab Program Library for Box-Costrained Global Optimization
Josef Tvrdík, Viktor Pavliska, Hashim Habiballa
Rok: 2007
prezentace (kongresy, sympózia, konference, workshopy)

Matlab Program Library for Box-Costrained Global Optimization
Josef Tvrdík, Viktor Pavliska, Hashim Habiballa
Rok: 2007
stať ve sborníku

Matlab Program Library for Box-Costrained Global Optimization
Josef Tvrdík, Viktor Pavliska, Hashim Habiballa
Rok: 2007
prezentace (kongresy, sympózia, konference, workshopy)

Modern approaches teaching programming
Rostislav Fojtík, Hashim Habiballa
Rok: 2007
stať ve sborníku

New trends in education of informatics at secondary school
Rostislav Fojtík, Hashim Habiballa
Rok: 2007
stať ve sborníku

Non-clausal Resolution Based Formal Logical Systems (PhD. dissertation)
Hashim Habiballa
Rok: 2007
graduační práce (rigorózní, graduační, habilitační)

Od teorie formálních jazyků k jednoduchému překladači
Hashim Habiballa, Eva Volná, Rostislav Fojtík
Rok: 2007, Matematika - fyzika - informatika I
článek v odborném periodiku

Od teorie formálních jazyků k jednoduchému překladači II.
Hashim Habiballa, Eva Volná, Rostislav Fojtík
Rok: 2007, Matematika - fyzika - informatika I
článek v odborném periodiku

Příprava sluchově postižených studentů ke studiu aplikované informatiky
Hashim Habiballa, Zdeňka Telnarová, Lucie Habiballa
Rok: 2007
stať ve sborníku

Příprava sluchově postižených studentů ke studiu na VŠ
Hashim Habiballa, Zdeňka Telnarová, Lucie Habiballa
Rok: 2007, Technológia vzdelávania
článek v odborném periodiku

PŘÍPRAVA SLUCHOVĚ POSTIŽENÝCH STUDENTŮ KE STUDIU VŠ - KURZ MATEMATIKA
Hashim Habiballa, Zdeňka Telnarová, Lucie Habiballa
Rok: 2007
stať ve sborníku

Resolution Strategies for Fuzzy Description Logic
Hashim Habiballa
Rok: 2007
stať ve sborníku

Resolution strategies for fuzzy predicate logic with evaluated syntax
Hashim Habiballa
Rok: 2007
stať ve sborníku

Resolution strategies for fuzzy predicate logic with evaluated syntax
Hashim Habiballa
Rok: 2007
stať ve sborníku

Unikátní učební osnovy pro SŠ v Izraeli
Hashim Habiballa
Rok: 2007, Matematika-fyzika-informatika
článek v odborném periodiku

VÝUKA INFORMATIKY NA STŘEDNÍCH ŠKOLÁCH
Hashim Habiballa, Rostislav Fojtík, Eva Volná, Zdeňka Telnarová
Rok: 2007
stať ve sborníku

Výuka programování na střední škole
Rostislav Fojtík, Hashim Habiballa
Rok: 2007
stať ve sborníku

Výuka předmětu Umělá Inteligence v LS, FPV UKF Nitra
Hashim Habiballa
Rok: 2007
působení v zahraničí

13. rocnik konference stredoskolskych profesoru matematiky a informatiky
Jaroslav Hančl, Eva Volná, Hashim Habiballa, Rostislav Fojtík
Rok: 2007
uspořádání konference, workshopu

13. rocnik konference stredoskolskych profesoru matematiky a informatiky
Jaroslav Hančl, Eva Volná, Hashim Habiballa, Rostislav Fojtík
Rok: 2007
uspořádání konference, workshopu

Constantine the Philosopher University, Nitra
Hashim Habiballa
Rok: 2006
působení v zahraničí

DIDAKTICKÉ ASPEKTY KONSTRUKTIVISTICKÉ VÝUKY DISCIPLÍN NA POMEZÍ MATEMATIKY A INFORMATIKY
Hashim Habiballa, Jozef Fulier, Miroslav Liška
Rok: 2006, FPV UKF
kapitola v odborné knize

DIDAKTICKÉ ROZPRACOVANIE DIALÓGOV V APLIKÁCIÁCH VYVINUTÝCH V C++ (práce k PhD. dizertační zkoušce)
Hashim Habiballa, Igor Koštál
Rok: 2006
zveřejněné odborné posudky, recenze

Flexible computer science university studies
Cyril Klimeš, Hashim Habiballa
Rok: 2006
prezentace (kongresy, sympózia, konference, workshopy)

Flexible computer science university studies
Cyril Klimeš, Hashim Habiballa
Rok: 2006
stať ve sborníku

Flexible computer science university studies
Cyril Klimeš, Hashim Habiballa
Rok: 2006, ACM SIGCSE Bulletin
článek v odborném periodiku

FUZZY DEDUCTIVE DATABASES
Hashim Habiballa, Alena Lukasová, Zdeňka Telnarová
Rok: 2006, Acta Fac. Paed. Univ. Tyrnaviensis
článek v odborném periodiku

FUZZY DEDUCTIVE DATABASES BASED ON RESOLUTION PRINCIPLE
Hashim Habiballa, Alena Lukasová, Zdeňka Telnarová
Rok: 2006
stať ve sborníku

FUZZY DEDUCTIVE DATABASES BASED ON RESOLUTION PRINCIPLE
Hashim Habiballa, Alena Lukasová, Zdeňka Telnarová
Rok: 2006
stať ve sborníku

FUZZY PREDICATE LOGIC AND RESOLUTION THEOREM PROVING
Hashim Habiballa
Rok: 2006
stať ve sborníku

FUZZY PREDICATE LOGIC AND RESOLUTION THEOREM PROVING
Hashim Habiballa
Rok: 2006
stať ve sborníku

INTERDISCIPLINARITY IN TEACHING NUMERICAL ANALYSIS
Hashim Habiballa, Eva Volná, Rostislav Fojtík
Rok: 2006
stať ve sborníku

Matematická olympiáda - krajské kolo kategorie P
Hashim Habiballa
Rok: 2006
uspořádání konference, workshopu

Neklauzulární rezoluce v deskripční logice (rigorózní práce).
Hashim Habiballa
Rok: 2006
graduační práce (rigorózní, graduační, habilitační)

Non-clausal Resolution Theorem Proving for Fuzzy Description Logic
Hashim Habiballa
Rok: 2006
stať ve sborníku

Non-clausal Resolution Theorem Proving for Fuzzy Description Logic
Hashim Habiballa
Rok: 2006
stať ve sborníku

Numerical Methods in Computer Science Education
Hashim Habiballa, Rostislav Fojtík
Rok: 2006
stať ve sborníku

Praktická cvičení algoritmů (distanční studijní opora)
Hashim Habiballa
Rok: 2006
učební texty, skripta, výukové programy, příručky

Problematika výuky objektově orientovaného programování
Rostislav Fojtík, Hashim Habiballa
Rok: 2006
stať ve sborníku

Resolution Based Reasoning in Description Logic
Hashim Habiballa
Rok: 2006
stať ve sborníku

Resolution Based Reasoning in Description Logic
Hashim Habiballa
Rok: 2006
stať ve sborníku

Resolution Principle in Fuzzy Predicate Logic
Hashim Habiballa
Rok: 2006
prezentace (kongresy, sympózia, konference, workshopy)

Resolution Principle in Fuzzy Predicate Logic
Hashim Habiballa
Rok: 2006
stať ve sborníku

Resolution Principle in Fuzzy Predicate Logic
Hashim Habiballa
Rok: 2006
prezentace (kongresy, sympózia, konference, workshopy)

Resolution Principle in Fuzzy Predicate Logic
Hashim Habiballa
Rok: 2006
prezentace (kongresy, sympózia, konference, workshopy)

Resolution Principle in Fuzzy Predicate Logic
Hashim Habiballa
Rok: 2006
stať ve sborníku

Resolution Principle in Fuzzy Predicate Logic
Hashim Habiballa
Rok: 2006
prezentace (kongresy, sympózia, konference, workshopy)

Výuka předmětu Umělá Inteligence v LS, FPV UKF Nitra
Hashim Habiballa
Rok: 2006
působení v zahraničí

12. rocnik konference stredoskolskych profesoru matematiky a informatiky
Jaroslav Hančl, Eva Volná, Hashim Habiballa
Rok: 2006
uspořádání konference, workshopu

12. rocnik konference stredoskolskych profesoru matematiky a informatiky
Jaroslav Hančl, Eva Volná, Hashim Habiballa
Rok: 2006
uspořádání konference, workshopu

Matematická olympiáda - krajské kolo kategorie P
Hashim Habiballa
Rok: 2005
uspořádání konference, workshopu

Mathematical Logic and Deduction in Computer Science Education
Hashim Habiballa
Rok: 2005
stať ve sborníku

Mathematical Logic and Deduction in Computer Science Education
Hashim Habiballa
Rok: 2005
prezentace (kongresy, sympózia, konference, workshopy)

Mobile technologies and distance education
Rostislav Fojtík, Hashim Habiballa
Rok: 2005
stať ve sborníku

Non-clausal Resolution in Fuzzy Predicate Logic with Evaluated Syntax (background and implementation)
Hashim Habiballa
Rok: 2005
stať ve sborníku

Non-clausal Resolution in Fuzzy Predicate Logic with Evaluated Syntax (background and implementation)
Hashim Habiballa
Rok: 2005
stať ve sborníku

Non-clausal resolution in teaching mathematics and computer science
Hashim Habiballa
Rok: 2005
prezentace (kongresy, sympózia, konference, workshopy)

Non-clausal resolution in teaching mathematics and computer science
Hashim Habiballa, Jozef Fulier
Rok: 2005, FPV UKF
kapitola v odborné knize

Objektová knihovna evolučních algoritmů
Hashim Habiballa, Viktor Pavliska, David Bražina
Rok: 2005
stať ve sborníku

Objektová knihovna evolučních algoritmů
Hashim Habiballa, Viktor Pavliska, David Bražina
Rok: 2005
stať ve sborníku

Překladače
Hashim Habiballa
Rok: 2005
učební texty, skripta, výukové programy, příručky

Regulární a bezkontextové jazyky II.
Hashim Habiballa
Rok: 2005
učební texty, skripta, výukové programy, příručky

Resolution Principle in Fuzzy Predicate Logic
Hashim Habiballa
Rok: 2005
stať ve sborníku

Resolution Principle in Fuzzy Predicate Logic
Hashim Habiballa
Rok: 2005
stať ve sborníku

Vybrané heuristiky pro globální optimalizaci a jejich implementace v MATLABu
Jiří Blažek, Hashim Habiballa, Viktor Pavliska
Rok: 2005
prezentace (kongresy, sympózia, konference, workshopy)

Vybrané heuristiky pro globální optimalizaci a jejich implementace v MATLABu
Jiří Blažek, Hashim Habiballa, Viktor Pavliska
Rok: 2005
prezentace (kongresy, sympózia, konference, workshopy)

Vybrané heuristiky pro globální optimalizaci a jejich implementace v MATLABu
Jiří Blažek, Hashim Habiballa, Viktor Pavliska
Rok: 2005
stať ve sborníku

Vybrané heuristiky pro globální optimalizaci a jejich implementace v MATLABu
Jiří Blažek, Hashim Habiballa, Viktor Pavliska
Rok: 2005
stať ve sborníku

Vyčíslitelnost a složitost (část I.)
Hashim Habiballa
Rok: 2005, Matematika - fyzika - informatika
článek v odborném periodiku

Vyčíslitelnost a složitost (část II.)
Hashim Habiballa
Rok: 2005, Matematika - fyzika - informatika
článek v odborném periodiku

11. rocnik konference stredoskolskych profesoru matematiky a informatiky
Jaroslav Hančl, Eva Volná, Hashim Habiballa
Rok: 2005
uspořádání konference, workshopu

11. rocnik konference stredoskolskych profesoru matematiky a informatiky
Jaroslav Hančl, Eva Volná, Hashim Habiballa
Rok: 2005
uspořádání konference, workshopu

EFEKTIVITA VYUČOVÁNÍ TEORETICKÉ INFORMATIKY
Hashim Habiballa
Rok: 2004
stať ve sborníku

E-Learning in Computer Science Education
Rostislav Fojtík, Hashim Habiballa
Rok: 2004
stať ve sborníku

Formální jazyky a automaty (část I.)
Hashim Habiballa
Rok: 2004, Matematika - fyzika - informatika : časopis pro výuku na základních a středních školách
článek v odborném periodiku

Formální jazyky a automaty (část II.)
Hashim Habiballa
Rok: 2004, Matematika-fyzika-informatika
článek v odborném periodiku

Matematická olympiáda - krajské kolo kategorie P
Hashim Habiballa
Rok: 2004
uspořádání konference, workshopu

SPECIFICKÁ ODBORNÁ TÉMATA VE VÝUCE INFORMATIKY
Hashim Habiballa
Rok: 2004
stať ve sborníku

Theoretical branches in teaching computer science
Hashim Habiballa
Rok: 2004, International Journal of Mathematical Education in Science and Technology
článek v odborném periodiku

Umělá inteligence
Hashim Habiballa
Rok: 2004
učební texty, skripta, výukové programy, příručky

Využití programovacích metod při výuce teoretické informatiky (disertační práce)
Hashim Habiballa
Rok: 2004
graduační práce (rigorózní, graduační, habilitační)

APLIKAČNÍ VÝUKA TEORIE FORMÁLNÍCH JAZYKŮ
Hashim Habiballa
Rok: 2003
stať ve sborníku

Didaktický experiment ve výuce teoretické informatiky
Hashim Habiballa
Rok: 2003, Technológia vzdelávania
článek v odborném periodiku

Efficiency of application concept in education of theoretical computer science
Hashim Habiballa
Rok: 2003
stať ve sborníku

Experimentální výuka teoretické informatiky s využitím aplikačního pojetí
Hashim Habiballa
Rok: 2003
stať ve sborníku

LFLC 2000 + MATLAB/SIMULINK - SYSTÉM PRO UNIVERSÁLNÍ APLIKACE FUZZY LOGIKY
Antonín Dvořák, Hashim Habiballa, Viktor Pavliska, Vilém Novák
Rok: 2003
stať ve sborníku

Motivy studentů pro výběr distanční e-learningové formy studia aplikované informatiky
Rostislav Fojtík, Hashim Habiballa
Rok: 2003
stať ve sborníku

PROGRAMÁTORSKÉ DIDAKTICKÉ POMŮCKY VE VÝUCE TEORETICKÉ INFORMATIKY (rigorózní práce)
Hashim Habiballa
Rok: 2003
graduační práce (rigorózní, graduační, habilitační)

PROLOG (distanční studijní opora)
Hashim Habiballa
Rok: 2003
učební texty, skripta, výukové programy, příručky

Regulární a bezkontextové jazyky I.
Hashim Habiballa
Rok: 2003
učební texty, skripta, výukové programy, příručky

Specific issues of computer science in secondary education
Hashim Habiballa, Rostislav Fojtík
Rok: 2003
stať ve sborníku

Teoretické základy informatiky I.
Hashim Habiballa
Rok: 2003
učební texty, skripta, výukové programy, příručky

Teoretické základy informatiky II.
Hashim Habiballa
Rok: 2003
učební texty, skripta, výukové programy, příručky

The concept of LFLC 2000 - its specificity, realization and power of applications
Antonín Dvořák, Hashim Habiballa, Vilém Novák, Viktor Pavliska
Rok: 2003, COMPUT IND
článek v odborném periodiku

Využití softwarového balíku LFLC 2000
Hashim Habiballa, Vilém Novák, Antonín Dvořák, Viktor Pavliska
Rok: 2003
stať ve sborníku

Application concept in education of theoretical computer science
Hashim Habiballa
Rok: 2002
stať ve sborníku

Formální jazyky v myšlení informatika
Hashim Habiballa
Rok: 2002
stať ve sborníku

Fuzzy General Resolution
Hashim Habiballa, Vilém Novák
Rok: 2002
stať ve sborníku

Fuzzy General Resolution
Hashim Habiballa, Vilém Novák
Rok: 2002
stať ve sborníku

Implementation of the non-clausal resolution theorem prover in education of theoretical computer science
Hashim Habiballa
Rok: 2002
stať ve sborníku

LFLC 2000 + MATLAB/SIMULINK - SYSTÉM PRO UNIVERSÁLNÍ APLIKACE FUZZY LOGIKY
Antonín Dvořák, Vilém Novák, Viktor Pavliska, Hashim Habiballa
Rok: 2002
stať ve sborníku

Metodika aplikačního pojetí při výuce teoretické informatiky
Hashim Habiballa
Rok: 2002
stať ve sborníku

TEORETICKÁ INFORMATIKA NA POMEZÍ SEKUNDÁRNÍHO A TERCIÁRNÍHO VZDĚLÁVÁNÍ
Hashim Habiballa
Rok: 2002
stať ve sborníku

Teoretická informatika ve vztahu k programátorským technikám
Hashim Habiballa
Rok: 2002
stať ve sborníku

Vztah studentů informatiky k teoretickým disciplínám
Hashim Habiballa
Rok: 2002
stať ve sborníku

PROBLEM SOLVING THROUGH FIRST-ORDER LOGIC (theory and practice of non-clausal resolution)
Hashim Habiballa, Josef Pech
Rok: 1999
graduační práce (rigorózní, graduační, habilitační)

University of Liverpool
Hashim Habiballa
Rok: 1999
působení v zahraničí

Formální úpravy ve výrokové logice (aplikace Bachelor)
Hashim Habiballa
Rok: 1997
graduační práce (rigorózní, graduační, habilitační)

Nenalezen žádný záznam.

» Zobrazit více záznamů

» Zobrazit více záznamů

» Zobrazit více záznamů

» Zobrazit více záznamů

» Zobrazit více záznamů

» Zobrazit více záznamů

» Zobrazit více záznamů

» Zobrazit více záznamů



ZkratkaNázev předmětu
ALDS1Základy algoritmizace
ALDS2Algoritmy a datové struktury
BKPOSPočítačové sítě
DSYSDDistribuované systémy
DTESYTechnické a systémové prostředky
DTINFTeoretická informatika
DUINTUmělá inteligence
FUZRIZáklady řízení a fuzzy řízení
GRAJATeorie jazyků a automatů
I2PS1Úvod do počítačových sítí
LZUI1Logika pro informatiky
LZUI2Logika pro umělou inteligenci
MOCG5Počítačová grafika 5
MOCG6Počítačová grafika 6
OBPAIObhajoba bakal. práce-aplikovaná inform.
OBPDOObhajoba bakal.práce-dvouobor.studium IN
OBPINObhajoba bakalářské práce - informatika
ODPISObhajoba diplomové práce - Inform. syst.
ODPS1Obhajoba diplomové práce - Uč. inf. 1ob
ODPS2Obhajoba diplomové práce - Uč. inf. 2 ob
PREKLPřekladače
PVVPVPedagog. výzkum ve vzdělávání přír. věd
QDEXSExpertní systémy
QDRZNReprezentace znalostí
QDTEITeoretická informatika
QEXPSExpertní systémy
QGEMOMat. principy geometrického modelování
QKOKRKódování a kryptografie
QPREKFormální jazyky a gramatiky
QQEXSExpertní systémy
QQRZNReprezentace znalostí
QQTEITeoretická informatika
QVYSLVyčíslitelnost a složitost
RABJ1Regulární a bezkontextové jazyky 1
RABJ2Regulární a bezkontextové jazyky 2
RAPUMAplikace umělé inteligence
SZIN1Část SZZ:Teoret.informatika a matematika
SZZK9Část SZZ: Informatika
SZZ11Část SZZ: Informatika s didaktikou
SZZ13Část SZZ: Informatika s didaktikou
UVDINZáklady informatiky
UVDOIÚvod do informatiky
VYSL1Vyčíslitelnost a složitost 1
VYSL2Vyčíslitelnost a složitost 2
XALD1Základy algoritmizace
XALD2Algoritmy a datové struktury
XALG2Algoritmy a datové struktury
XAPZOArchitektura počítačů a základy OS
XFLPRFunkcionální a logické programování
XFUZRZáklady řízení a fuzzy řízení
XGRAJGramatiky a jazyky
XGRJATeorie jazyků a automatů
XLIN1Logika pro informatiky
XLZU1Logika pro informatiky
XLZU2Logika pro umělou inteligenci
XPREKPřekladače
XRAB1Regulární a bezkontextové jazyky 1
XRAB2Regulární a bezkontextové jazyky 2
XUVDIÚvod do informatiky
XUVDNZáklady informatiky
XVYS1Vyčíslitelnost a složitost 1
XVYS2Vyčíslitelnost a složitost 2
XZAINZáklady teoretické informatiky
XZNAIZnalostní inženýrství
Y2ZINZáklady informatiky
1OPS1Operační systémy 1
1OPS2Operační systémy 2
1POLPPrvky elektronických počítačů
1POS2Počítačové sítě 2
1RAB1Regulární a bezkontextové jazyky 1
1UVDIÚvod do informatiky
2ALD1Základy algoritmizace
2ALD2Algoritmy a datové struktury
2ALG2Algoritmy a datové struktury
2APZOArchitektura počítačů a základy OS
2GRAJGramatiky a jazyky
2GRJATeorie jazyků a automatů
2LIN1Logika pro informatiky
2LZU1Logika pro informatiky
2POS2Počítačové sítě 2
2RAB1Regulární a bezkontextové jazyky 1
2RAB2Regulární a bezkontextové jazyky 2
2UVDIÚvod do informatiky
2UVDNZáklady informatiky
2ZAINZáklady teoretické informatiky
3APZOArchitektura počítačů a základy OS
3UVDIÚvod do informatiky
6AIN2Applied Informatics 2
6OPS1Operační systémy 1
6PUDIZáklady teoretické informatiky
6UVDIÚvod do informatiky
66UDIZáklady teoretické informatiky
7AIN2Aplikovaná informatika 2
7ALG2Algoritmy a datové struktury
7GRAJGramatiky a jazyky
7LIN1Logika pro informatiky
7SMUIStatist. metody pro učitele informatiky
7VYS1Vyčíslitelnost a složitost 1
7ZAINZáklady teoretické informatiky


AutorNázev práceTypRok
Botor TomášMutliplatformní optimalizace zdrojového kódudiplomová 2017 
Ertel TomášFuzzy logická analýza ve zpracování zvukudiplomová 2017 
Hložanka OndřejAplikace NP-úplných problémů v reálných úloháchdiplomová 2016 
Hireš MatějParalelizace fuzzy logické analýzydiplomová 2015 
Mejzlíková MartinaRozpoznávání struktur v kategorizaci webových dokumentůdiplomová 2015 
Buroň TomášInternetová kriminalita a bezpečnost ve výuce informatiky na středních školáchdiplomová 2014 
Bobřík MichalE-learning jako podpora studia na waldorfské školediplomová 2013 
Hromada JiříVyužití výukové aplikace z oblasti teoretické informatiky na SŠdiplomová 2013 
Potyšová ZuzanaŘešení úloh umělé inteligence pomocí deklarativního paradigmatudiplomová 2013 
Schenk JiříAutomatizace syntaktické analýzydiplomová 2013 
Stupka TomášSystémy automatizovaného dokazování větdiplomová 2013 
Mráz PavelAnalýza metod vyučování informatiky na středních školáchdiplomová 2012 
Fojtíková VeronikaSoftwarová podpora komunikačních schopností osob se specifickými poruchamidiplomová 2011 
Kaloč JakubAlgoritmy pro inferenční systémy založené na fuzzy teorii typůdiplomová 2011 
Kalusková ZuzanaProblémové úlohy z oblasti teorie vyčíslitelnostidiplomová 2011 
Slovák ZdeněkInformační systém pro generování textudiplomová 2011 
Šlachta RadekVývoj nástrojů pro adresářové službydiplomová 2011 
Macoszková SilvieEfektivita rezolučních strategií ve dvouhodnotové logicediplomová 2010 
Mokrý VojtěchAplikace fuzzy logikydiplomová 2010 
Novosád TomášUžití teoretické informatiky v praxidiplomová 2010 
Búran PeterInferenční systém pro fuzzy deskripční logikudiplomová 2009 
Janošec LukášEkvivalence výpočetních modelůdiplomová 2009 
Jendryščík RadekEfektivita inference ve fuzzy deskripční logicediplomová 2009 
Klapper MartinExperimentální výuka logiky na střední školediplomová 2009 
Ohlídal JaroslavAnalýza chyb při učení teorie formálních jazyků a automatůdiplomová 2009 
Sulír MiroslavExperimentální výuka teorie formálních jazyků a automatů na středních školáchdiplomová 2009 
Turček TomášEfektivita inference ve fuzzy predikátové logicediplomová 2009 
Günther PavelAplikace automatizovaného dokazování vět ve fuzzy predikátové logicediplomová 2008 
Juřica TomášFuzzy deduktivní databáze - Implementace pomocí rezolučního principudiplomová 2008 
Kubala JanVyužití animace při výuce vyčíslitelnosti a složitostidiplomová 2008 
Školeková ZuzanaExperimentální výuka informatiky na základní školediplomová 2008 
Koběrský AlešImplementace efektivních metod tvorby překladačůdiplomová 2005 
Noháček JiříAutomatizace tvorby překladačůdiplomová 2005 
Ertel TomášAplikace logické dedukce pro predikci časových řadbakalářská 2015 
Menšík JanAlgoritmy pro vyhledávání řetězcůbakalářská 2015 
Peterková IvanaAutomatizace rozpoznávání vzorůbakalářská 2015 
Žůrek FilipFuzzy konečné automatybakalářská 2015 
Hložanka OndřejVarianty a modifikace Turingova strojebakalářská 2014 
Vančura JanPraktické aplikace predikce časových řad pomocí fuzzy logikybakalářská 2014 
Stárek PetrProblémové úlohy z oblasti teorie vyčíslitelnostibakalářská 2013 
Sturmová KateřinaMetoda Pattern Prerecognition (PREPIC) v praktických aplikacíchbakalářská 2013 
Vincík MichalModelování znalostních bázích prostředky fuzzy logikybakalářská 2013 
Bobřík MichalNavigační systémybakalářská 2011 
Schenk JiříAutomatické nástroje pro generování syntaktických analyzátorůbakalářská 2011 
Kostera LuděkPlánovací systémybakalářská 2010 
Lubojacký JiříMetody prohledávání stavového prostorubakalářská 2010 
Malý PavelInformační systém pro videopůjčovnybakalářská 2010 
Mráz PavelVizualizace Wi-Fi sítí prostřednictvím GPSbakalářská 2010 
Adamcová MichaelaVybrané modelovací formalismy pro biologické systémybakalářská 2009 
Bolomová MichaelaSymbolický funkcionalismus vs. konekcionismus v umělé inteligencibakalářská 2009 
Cieslar MartinCharakteristiky UMPC a netbookůbakalářská 2009 
Figura MichalProblémové úlohy z oblasti algoritmizace v Javěbakalářská 2009 
Fojtíková VeronikaTvorba aplikací pro osoby se zdravotním a mentálním postiženímbakalářská 2009 
Kaplan JiříWxWidgets jako nástroj pro alternativní vývoj aplikacíbakalářská 2009 
Kvasnička MartinPorovnání freewarových prostředků pro vývoj aplikací v C++bakalářská 2009 
Slovák ZdeněkAutomatické generování textubakalářská 2009 
Šlachta RadekAdresářové služby a jejich implementace pro intranetové systémybakalářská 2009 
Chromý PetrHistorie a perspektivy automatizovaného usuzování v umělé inteligencibakalářská 2008 
Grulich RomanPojem determinismu a nedeterminismu v informaticebakalářská 2008 
Hrabal RomanProblémové úlohy z oblasti teorie složitosti algoritmůbakalářská 2008 
Janošcová IvanaNávrh a tvorba ukázkových znalostních bází pro fuzzy dedukci a jejich testování systémem FPLGERDSbakalářská 2008 
Kalusková ZuzanaProblémové úlohy z oblasti bezkontextových jazyků a zásobníkových automatůbakalářská 2008 
Macoszková SilvieRezoluční princip v umělé inteligenci a logicebakalářská 2008 
Peterková MilenaProblémové úlohy z oblasti regulárních jazyků a konečných automatůbakalářská 2008 
Mojdl MarekNázorné řešení úloh z oblasti informatiky - strukturované vs. objektově orientované programováníbakalářská 2007 
Pavlorková KateřinaEfektivita rezolučních strategií systému FPLGERDS na znalostních bázíchbakalářská 2007 
Bouzek DavidNázorné řešení úloh z oblasti matematiky - diferenciální početbakalářská 2006 
Čopjak JakubMetody a výsledky teoretické informatiky v aplikované informaticebakalářská 2006 
Duroň PavelNázorné řešení úloh z oblasti informatiky - principy počítačem podporované sazby textubakalářská 2006 
Dvořáková PetraNázorné řešení úloh z oblasti informatiky - tabulkové procesorybakalářská 2006 
Ficenc TomášNázorné řešení úloh z oblasti matematiky - logikabakalářská 2006 
Heinc DaliborNázorné řešení úloh z oblasti informatiky - algoritmizace úlohbakalářská 2006 
Juřica TomášAutomatizace konverze formulí deskripční logiky do predikátové logikybakalářská 2006 
Liška PetrNázorné řešení úloh z oblasti matematiky - derivace funkce jedné proměnnébakalářská 2006 
Lišková EvaNázorné řešení úloh z oblasti matematiky - integrál funkce jedné proměnnébakalářská 2006 
Marciniszynová EvaPrincipy vyhledávacích algoritmůbakalářská 2006 
Michnik TomaszPřevod obecných bezkontextových gramatik na q-gramatiky a jejich syntaktická analýzabakalářská 2006 
Neumannová MarkétaNázorné řešení úloh z oblasti matematiky: Algebra reálných číselbakalářská 2006 
Novotný JiříNázorné řešení úloh z oblasti matematiky - lineární algebrabakalářská 2006 
Voitle MarekNázorné řešení úloh z oblasti matematiky - Teorie množinbakalářská 2006 
Janošec LukášPrincipy třídících algoritmůbakalářská 2005 
Kovařčík MartinPrincipy kombinatorických algoritmůbakalářská 2005 
Pěčka RadomírMetody a výsledky teoretické informatiky v algoritmizaci a programováníbakalářská 2005 


Logické metody dedukce a extrakce znalostí
Hlavní řešiteldoc. RNDr. PaedDr. Hashim Habiballa, PhD, Ph.D.
Období1/2015 - 12/2015
PoskytovatelSpecifický VŠ výzkum
Stavukončený
Metody extrakce znalostí a jejich využití pro automatizovanou dedukci
Hlavní řešiteldoc. RNDr. PaedDr. Hashim Habiballa, PhD, Ph.D.
Období1/2014 - 12/2014
PoskytovatelSpecifický VŠ výzkum
Stavukončený
facebook
instagram
twitter
rss
social hub