Využijte web naplnoDíky cookies pro vás bude prohlížení stránek příjemnější a jednodušší. Ke zpracování některých z nich potřebujeme váš souhlas, který dáte kliknutím na „Přijmout vše“. Odmítnutím se načtou jen nezbytně nutné cookies. Více informací o cookies a jejich nastavení.
Přijmout vše Odmítnout
Výběr cookies

OU > O univerzitě > Struktura univerzity > Fakulty a ústavy > Přírodovědecká fakulta > Součásti fakulty > Katedra informatiky a počítačů

Hashim Habiballa

Hashim Habiballa

titul, jméno, příjmení:
doc. RNDr. PaedDr. Hashim Habiballa, Ph.D., PhD.
místnost, podlaží, budova:
C 102, budova C
funkce:
zástupce vedoucího katedry, garant SP AI Bc., člen vědecké rady PřF OU
obor činnosti:
logika, umělá inteligence, didaktika informatiky
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:
https://web.osu.cz/~Habiballa/

Vzdělání

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

Kvalifikace

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

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

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

Zaměstnání, praxe

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

Odborné zaměření

Umělá inteligence
Teoretická informatika
Didaktika informatiky
 

Akademické funkce a členství v orgánech

2015 – 2023
vedoucí 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
Vědecká rada, Filozoficko-přírodovědecká fakulta, SLU
Oborová rada, Aplikovaná informatika, Přírodovědecká fakulta, Ostravská univerzita
Oborová rada, ICT ve vzdělávání, Pedagogická fakulta, Ostravská univerzita
Oborová rada, Autonomní systémy, FPF SLU Opava
Hodnotitel NAÚVŠ, 14 Informatika
 

Působení v zahraničí

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

Jazykové znalosti

Angličtina
 


Expert System for Neurocognitive Rehabilitation Based on the Transfer of the ACE-R to CHC Model Factors
Martin Kotyrba, Hashim Habiballa, Eva Volná, Robert Jarušek, Pavel Smolka, Martin Prášek, Marek Malina, Vladěna Jaremová, Jan Vantuch, Michal Bar, Petr Kulišťák ... další autoři
Rok: 2023, Mathematics
článek v odborném periodiku
 
Proposal of neural network model for neurocognitive rehabilitation and its comparison with fuzzy expert system model
Martin Kotyrba, Hashim Habiballa, Eva Volná, Robert Jarušek, Pavel Smolka, Martin Prášek, Marek Malina, Vladěna Jaremová ... další autoři
Rok: 2023, BMC MEDICAL INFORMATICS AND DECISION MAKING
článek v odborném periodiku
 
Concept of Cloud Computing in Education
Lukáš HAPL, Hashim Habiballa
Rok: 2022
stať ve sborníku
 
The Influence of Genetic Algorithms on Learning Possibilities of Artificial Neural Networks
Martin Kotyrba, Eva Volná, Hashim Habiballa, Josef Czyž
Rok: 2022, COMPUTERS
článek v odborném periodiku
 
Automated Generation of EQ-Algebras through Genetic Algorithms
Hashim Habiballa, Eva Volná, Martin Kotyrba
Rok: 2021, MATHEMATICS
článek v odborném periodiku
 
Pupils’ Opinions on Digital Systems Education Enriched by DCBLP Discourse
Lukáš Hapl, Kateřina Kostolányová, Hashim Habiballa
Rok: 2021, New Educational Review
článek v odborném periodiku
 
The Influence of the Developed Specific Multi-Paradigm Programming in Digital Logic Education
Lukáš Hapl, Hashim Habiballa
Rok: 2021, Mathematics
článek v odborném periodiku
 
Simulation of Digital Logic Principles Using DCBLPy with IoT in Packet Tracer
Lukáš HAPL, Hashim Habiballa
Rok: 2020
stať ve sborníku
 
Constructivistic Mathematical Logic Education
Hashim Habiballa, Radek Jendryščík
Rok: 2018
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
 

Expert System for Neurocognitive Rehabilitation Based on the Transfer of the ACE-R to CHC Model Factors
Martin Kotyrba, Hashim Habiballa, Eva Volná, Robert Jarušek, Pavel Smolka, Martin Prášek, Marek Malina, Vladěna Jaremová, Jan Vantuch, Michal Bar, Petr Kulišťák ... další autoři
Rok: 2023, Mathematics
článek v odborném periodiku
 
Expert System for Neurocognitive Rehabilitation Based on the Transfer of the ACE-R to CHC Model Factors
Martin Kotyrba, Hashim Habiballa, Eva Volná, Robert Jarušek, Pavel Smolka, Martin Prášek, Marek Malina, Vladěna Jaremová, Jan Vantuch, Michal Bar, Petr Kulišťák ... další autoři
Rok: 2023, Mathematics
článek v odborném periodiku
 
Neurorehabilitační systém pro pacienty se získaným poškozením mozku v časných stádiích léčby (akronym: IS Eddie)
Martin Kotyrba, Pavel Smolka, Hashim Habiballa, Martin Prášek, Marek Malina, Robert Jarušek, Eva Volná, Vladěna Jaremová, Jan Vantuch, Martin Augustynek, Petr Nilius ... další autoři
Rok: 2023
software
 
Proposal of neural network model for neurocognitive rehabilitation and its comparison with fuzzy expert system model
Martin Kotyrba, Hashim Habiballa, Eva Volná, Robert Jarušek, Pavel Smolka, Martin Prášek, Marek Malina, Vladěna Jaremová ... další autoři
Rok: 2023, BMC MEDICAL INFORMATICS AND DECISION MAKING
článek v odborném periodiku
 
Applications of Cloud Computing in Education
Lukáš HAPL, Hashim Habiballa
Rok: 2022
stať ve sborníku
 
Concept of Cloud Computing in Education
Lukáš HAPL, Hashim Habiballa
Rok: 2022
stať ve sborníku
 
The Influence of Genetic Algorithms on Learning Possibilities of Artificial Neural Networks
Martin Kotyrba, Eva Volná, Hashim Habiballa, Josef Czyž
Rok: 2022, COMPUTERS
článek v odborném periodiku
 
Automated Generation of EQ-Algebras through Genetic Algorithms
Hashim Habiballa, Eva Volná, Martin Kotyrba
Rok: 2021, MATHEMATICS
článek v odborném periodiku
 
Pupils’ Opinions on Digital Systems Education Enriched by DCBLP Discourse
Lukáš Hapl, Kateřina Kostolányová, Hashim Habiballa
Rok: 2021, New Educational Review
článek v odborném periodiku
 
The Influence of the Developed Specific Multi-Paradigm Programming in Digital Logic Education
Lukáš Hapl, Hashim Habiballa
Rok: 2021, Mathematics
článek v odborném periodiku
 
E-LEARNINGOVÁ DISTANČNÍ VÝUKA ČÍSLICOVÝCH SYSTÉMŮ NA STŘEDNÍ ŠKOLE PODPOŘENÁ PROGRAMOVACÍM DISKURZEM DCBLP
Lukáš HAPL, Hashim Habiballa, Kateřina Kostolányová
Rok: 2020
stať ve sborníku
 
Simulation of Digital Logic Principles Using DCBLPy with IoT in Packet Tracer
Lukáš HAPL, Hashim Habiballa
Rok: 2020
stať ve sborníku
 
DCBLP - Applications and education
Lukáš HAPL, Hashim Habiballa
Rok: 2019
stať ve sborníku
 
Error analysis in teaching mathematical informatics
Hashim Habiballa, Radek Jendryščík
Rok: 2019
stať ve sborníku
 
Introduction to digital circuits based logical programming (DCBLP) - The multiparadigmatic way of logical based on programming
Lukáš HAPL, Hashim Habiballa
Rok: 2019
stať ve sborníku
 
Optimization techniques for scientific computation in C/C++
Hashim Habiballa, Tomáš Botor
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
Rostislav Miarka, Hashim Habiballa
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
stať ve sborníku
 
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
 
Ú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
prezentace (kongresy, sympózia, konference, workshopy)
 
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
stať ve sborníku
 
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)
Igor Koštál, Hashim Habiballa
Rok: 2006
zveřejněné odborné posudky, recenze
 
Flexible computer science university studies
Cyril Klimeš, Hashim Habiballa
Rok: 2006, ACM SIGCSE Bulletin
článek v odborném periodiku
 
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
 
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
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
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
 
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
prezentace (kongresy, sympózia, konference, workshopy)
 
Mathematical Logic and Deduction in Computer Science Education
Hashim Habiballa
Rok: 2005
stať ve sborníku
 
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
Jozef Fulier, Hashim Habiballa
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
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
 
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)
 
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)
Josef Pech, Hashim Habiballa
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ů



Zkratka
Název předmětu
6PPRP
Programovací paradigmata a programování
66PRP
Programovací paradigmata a programování
ALDS1
Základy algoritmizace
ALDS2
Algoritmy a datové struktury
DSYSD
Distribuované systémy
DTINF
Teoretická informatika
DUINT
Umělá inteligence
FUZRI
Základy řízení a fuzzy řízení
GRAJA
Teorie jazyků a automatů
I2PS1
Úvod do počítačových sítí
LZUI1
Logika pro informatiky
LZUI2
Logika pro umělou inteligenci
OBPAI
Obhajoba bakal. práce-aplikovaná inform.
OBPDO
Obhajoba bakal.práce-dvouobor.studium IN
OBPIN
Obhajoba bakalářské práce - informatika
ODPIS
Obhajoba diplomové práce - Inform. syst.
PREKL
Překladače
PVVPV
Pedagog. výzkum ve vzdělávání přír. věd
QDEXS
Expertní systémy
QDRZN
Reprezentace znalostí
QDTEI
Teoretická informatika
QEXPS
Expertní systémy
QGEMO
Mat. principy geometrického modelování
QKOKR
Kódování a kryptografie
QPREK
Formální jazyky a gramatiky
QQEXS
Expertní systémy
QQRZN
Reprezentace znalostí
QQTEI
Teoretická informatika
QVYSL
Vyčíslitelnost a složitost
SZIN1
Část SZZ:Teoret.informatika a matematika
SZZK9
Část SZZ: Informatika
UVDIN
Základy informatiky
UVDOI
Úvod do informatiky
VYSL1
Vyčíslitelnost a složitost 1
VYSL2
Vyčíslitelnost a složitost 2
XALD1
Základy algoritmizace
XALD2
Algoritmy a datové struktury
XALG2
Algoritmy a datové struktury
XAPZO
Architektura počítačů a základy OS
XFLPR
Funkcionální a logické programování
XFUZR
Základy řízení a fuzzy řízení
XGRAJ
Gramatiky a jazyky
XGRJA
Teorie jazyků a automatů
XLIN1
Logika pro informatiky
XLZU1
Logika pro informatiky
XLZU2
Logika pro umělou inteligenci
XPREK
Překladače
XTILO
Teoretická informatika a logika
XUVDI
Úvod do informatiky
XUVDN
Základy informatiky
XVYS1
Vyčíslitelnost a složitost 1
XVYS2
Vyčíslitelnost a složitost 2
XZAIN
Základy teoretické informatiky
Y2ZIN
Základy informatiky
Y3UIL
Úvod do informatiky a logiky
2ALD1
Základy algoritmizace
2ALD2
Algoritmy a datové struktury
2ALG2
Algoritmy a datové struktury
2APZO
Architektura počítačů a základy OS
2GRAJ
Gramatiky a jazyky
2GRJA
Teorie jazyků a automatů
2LIN1
Logika pro informatiky
2LZU1
Logika pro informatiky
2UVDI
Úvod do informatiky
2UVDN
Základy informatiky
2ZAIN
Základy teoretické informatiky
3UVDI
Úvod do informatiky
6AIN2
Applied Informatics 2
6PUDI
Základy teoretické informatiky
66UDI
Základy teoretické informatiky
7AIN2
Aplikovaná informatika 2
7ALG2
Algoritmy a datové struktury
7GRAJ
Gramatiky a jazyky
7INFZ
Základy informatiky
7SMUI
Statist. metody pro učitele informatiky
7TILO
Teoretická informatika a logika
7UVDI
Úvod do informatiky
7VYS1
Vyčíslitelnost a složitost 1
7ZAIN
Základy teoretické informatiky
8EXSY
Expertní systémy
8GRAJ
Formální jazyky a gramatiky
8VPTI
Vybrané partie teor. informatiky
8VYSL
Vyčíslitelnost a složitost
9GRAJ
Formal Languages and Grammars
9VYSL
Computability and Complexity



Autor
Název práce
Typ
Rok
Pektor Ondřej
Systém pro hodnocení kompetencí
disertační
2022
Hapl Lukáš
Vliv multiparadigmatického programování na výuku číslicových systémů
disertační
2021
Jendryščík Radek
Konstruktivismus ve výuce teoretické informatiky
disertační
2021
Suchánek Otto
Užití umělé inteligence ve výuce
rigorózní
2024
Muchová Gabriela
Fuzzy logika v rozpoznávání webových struktur
diplomová
2022
Botor Tomáš
Mutliplatformní optimalizace zdrojového kódu
diplomová
2017
Ertel Tomáš
Fuzzy logická analýza ve zpracování zvuku
diplomová
2017
Hložanka Ondřej
Aplikace NP-úplných problémů v reálných úlohách
diplomová
2016
Hireš Matěj
Paralelizace fuzzy logické analýzy
diplomová
2015
Mejzlíková Martina
Rozpozná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ách
diplomová
2014
Bobřík Michal
E-learning jako podpora studia na waldorfské škole
diplomová
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 paradigmatu
diplomová
2013
Schenk Jiří
Automatizace syntaktické analýzy
diplomová
2013
Stupka Tomáš
Systémy automatizovaného dokazování vět
diplomová
2013
Mráz Pavel
Analýza metod vyučování informatiky na středních školách
diplomová
2012
Fojtíková Veronika
Softwarová podpora komunikačních schopností osob se specifickými poruchami
diplomová
2011
Kaloč Jakub
Algoritmy pro inferenční systémy založené na fuzzy teorii typů
diplomová
2011
Kalusková Zuzana
Problémové úlohy z oblasti teorie vyčíslitelnosti
diplomová
2011
Slovák Zdeněk
Informační systém pro generování textu
diplomová
2011
Šlachta Radek
Vývoj nástrojů pro adresářové služby
diplomová
2011
Macoszková Silvie
Efektivita rezolučních strategií ve dvouhodnotové logice
diplomová
2010
Mokrý Vojtěch
Aplikace fuzzy logiky
diplomová
2010
Novosád Tomáš
Užití teoretické informatiky v praxi
diplomová
2010
Búran Peter
Inferenční systém pro fuzzy deskripční logiku
diplomová
2009
Janošec Lukáš
Ekvivalence výpočetních modelů
diplomová
2009
Jendryščík Radek
Efektivita inference ve fuzzy deskripční logice
diplomová
2009
Klapper Martin
Experimentální výuka logiky na střední škole
diplomová
2009
Ohlídal Jaroslav
Analýza chyb při učení teorie formálních jazyků a automatů
diplomová
2009
Sulír Miroslav
Experimentální výuka teorie formálních jazyků a automatů na středních školách
diplomová
2009
Turček Tomáš
Efektivita inference ve fuzzy predikátové logice
diplomová
2009
Günther Pavel
Aplikace automatizovaného dokazování vět ve fuzzy predikátové logice
diplomová
2008
Holubová Zuzana
Experimentální výuka informatiky na základní škole
diplomová
2008
Juřica Tomáš
Fuzzy deduktivní databáze - Implementace pomocí rezolučního principu
diplomová
2008
Kubala Jan
Využití animace při výuce vyčíslitelnosti a složitosti
diplomová
2008
Koběrský Aleš
Implementace efektivních metod tvorby překladačů
diplomová
2005
Noháček Jiří
Automatizace tvorby překladačů
diplomová
2005
Karp Ondřej
Integrace umělé inteligence v CMS systémech
bakalářská
2024
Muchová Gabriela
Implementace fuzzy logické analýzy pro mobilní platformu
bakalářská
2020
Ertel Tomáš
Aplikace logické dedukce pro predikci časových řad
bakalářská
2015
Menšík Jan
Algoritmy pro vyhledávání řetězců
bakalářská
2015
Peterková Ivana
Automatizace rozpoznávání vzorů
bakalářská
2015
Žůrek Filip
Fuzzy konečné automaty
bakalářská
2015
Hložanka Ondřej
Varianty a modifikace Turingova stroje
bakalářská
2014
Vančura Jan
Praktické aplikace predikce časových řad pomocí fuzzy logiky
bakalářská
2014
Stárek Petr
Problémové úlohy z oblasti teorie vyčíslitelnosti
bakalářská
2013
Sturmová Kateřina
Metoda Pattern Prerecognition (PREPIC) v praktických aplikacích
bakalářská
2013
Vincík Michal
Modelování znalostních bázích prostředky fuzzy logiky
bakalářská
2013
Bobřík Michal
Navigační systémy
bakalářská
2011
Schenk Jiří
Automatické nástroje pro generování syntaktických analyzátorů
bakalářská
2011
Kostera Luděk
Plánovací systémy
bakalářská
2010
Lubojacký Jiří
Metody prohledávání stavového prostoru
bakalářská
2010
Malý Pavel
Informační systém pro videopůjčovny
bakalářská
2010
Mráz Pavel
Vizualizace Wi-Fi sítí prostřednictvím GPS
bakalářská
2010
Adamcová Michaela
Vybrané modelovací formalismy pro biologické systémy
bakalářská
2009
Bolomová Michaela
Symbolický funkcionalismus vs. konekcionismus v umělé inteligenci
bakalářská
2009
Cieslar Martin
Charakteristiky UMPC a netbooků
bakalářská
2009
Figura Michal
Problémové úlohy z oblasti algoritmizace v Javě
bakalářská
2009
Fojtíková Veronika
Tvorba aplikací pro osoby se zdravotním a mentálním postižením
bakalářská
2009
Kaplan Jiří
WxWidgets jako nástroj pro alternativní vývoj aplikací
bakalářská
2009
Kvasnička Martin
Porovnání freewarových prostředků pro vývoj aplikací v C++
bakalářská
2009
Slovák Zdeněk
Automatické generování textu
bakalářská
2009
Šlachta Radek
Adresářové služby a jejich implementace pro intranetové systémy
bakalářská
2009
Chromý Petr
Historie a perspektivy automatizovaného usuzování v umělé inteligenci
bakalářská
2008
Grulich Roman
Pojem determinismu a nedeterminismu v informatice
bakalářská
2008
Hrabal Roman
Problémové úlohy z oblasti teorie složitosti algoritmů
bakalářská
2008
Janošcová Ivana
Návrh a tvorba ukázkových znalostních bází pro fuzzy dedukci a jejich testování systémem FPLGERDS
bakalářská
2008
Kalusková Zuzana
Problémové úlohy z oblasti bezkontextových jazyků a zásobníkových automatů
bakalářská
2008
Macoszková Silvie
Rezoluční princip v umělé inteligenci a logice
bakalářská
2008
Peterková Milena
Problémové úlohy z oblasti regulárních jazyků a konečných automatů
bakalářská
2008
Mojdl Marek
Názorné řešení úloh z oblasti informatiky - strukturované vs. objektově orientované programování
bakalářská
2007
Pavlorková Kateřina
Efektivita rezolučních strategií systému FPLGERDS na znalostních bázích
bakalářská
2007
Bouzek David
Názorné řešení úloh z oblasti matematiky - diferenciální počet
bakalářská
2006
Čopjak Jakub
Metody a výsledky teoretické informatiky v aplikované informatice
bakalářská
2006
Duroň Pavel
Názorné řešení úloh z oblasti informatiky - principy počítačem podporované sazby textu
bakalářská
2006
Dvořáková Petra
Názorné řešení úloh z oblasti informatiky - tabulkové procesory
bakalářská
2006
Ficenc Tomáš
Názorné řešení úloh z oblasti matematiky - logika
bakalářská
2006
Heinc Dalibor
Názorné řešení úloh z oblasti informatiky - algoritmizace úloh
bakalářská
2006
Juřica Tomáš
Automatizace konverze formulí deskripční logiky do predikátové logiky
bakalářská
2006
Liška Petr
Názorné řešení úloh z oblasti matematiky - derivace funkce jedné proměnné
bakalářská
2006
Lišková Eva
Názorné řešení úloh z oblasti matematiky - integrál funkce jedné proměnné
bakalářská
2006
Marciniszynová Eva
Principy vyhledávacích algoritmů
bakalářská
2006
Michnik Tomasz
Převod obecných bezkontextových gramatik na q-gramatiky a jejich syntaktická analýza
bakalářská
2006
Neumannová Markéta
Názorné řešení úloh z oblasti matematiky: Algebra reálných čísel
bakalářská
2006
Novotný Jiří
Názorné řešení úloh z oblasti matematiky - lineární algebra
bakalářská
2006
Voitle Marek
Názorné řešení úloh z oblasti matematiky - Teorie množin
bakalářská
2006
Janošec Lukáš
Principy třídících algoritmů
bakalářská
2005
Kovařčík Martin
Principy kombinatorických algoritmů
bakalářská
2005
Pěčka Radomír
Metody a výsledky teoretické informatiky v algoritmizaci a programování
bakalářská
2005



Logické metody dedukce a extrakce znalostí
Hlavní řešitel
doc. RNDr. PaedDr. Hashim Habiballa, Ph.D., PhD.
Období
1/2015 - 12/2015
Poskytovatel
Specifický VŠ výzkum
Stav
ukončený
 
Metody extrakce znalostí a jejich využití pro automatizovanou dedukci
Hlavní řešitel
doc. RNDr. PaedDr. Hashim Habiballa, Ph.D., PhD.
Období
1/2014 - 12/2014
Poskytovatel
Specifický VŠ výzkum
Stav
ukončený
 

Facebook
Instagram
X
Soundcloud
RSS
social hub