Learn with Dr. Hasany
Learn with Dr. Hasany
  • 191
  • 23 460
Turing Machine - Examples
ToC-34. Two languages are chosen for the construction of Turing machines. Examples of languages for Turing machine examples.
Переглядів: 123

Відео

Turing Machine - Components and an example
Переглядів 94День тому
ToC-33. Turing machine: input symbol, stack symbol and Direction.
Deterministic Pushdown Automata - DPDA
Переглядів 11314 днів тому
ToC-31. Example language of DPDA and its conditions.
Pushdown Automata- examples hi examples
Переглядів 11014 днів тому
ToC-32. PDA example langyages. Also video contains languages whose PDA cannot be made.
SPARQL Queries- Protege
Переглядів 7114 днів тому
ES-45. SPARQL queries. COUNT and SUM functions. SPARQL query syntax and Semantics. Queries executed on PROTEGE. ONTOLOGY ENGINEERING.
Protege - Disjoint and OWL restrictions
Переглядів 5414 днів тому
ES-44. ONTOLOGY ENGINEERING. quantifier Restrictions. What are axioms? in logic. What is its difference with inference by Reasoner?
OWL Object Property Characteristics - Protege
Переглядів 8021 день тому
ES-43. Functional, inverse functional, transitive, symmetric, asymmetric, reflexive, irreflexive property characteristics Protege.
Ontology, OWL and OWL Components
Переглядів 6421 день тому
ES-42. What is an ontology? What is OWL representation for Ontologies? OWL Components. Classes. Individuals (objects and instances). data properties, datatype properties, and annotation properties. Domain and range of OWL properties. Protege software.
Nondeterministic PDA
Переглядів 10721 день тому
ToC-30. Nondeterminism in Pushdown automata. Example NPDA that accepts language whose members are mirror of the strings. String reverse. LwwR.
Formal Definition of PDA -2
Переглядів 4721 день тому
ToC-29. Seven parameters tuple to define a Pushdown automaton.
Pushdown Automata (PDA) - 1
Переглядів 9021 день тому
ToC-28. Introduction of Pushdown automata from the book of Ullman. Why stack is used in PDA (pushdown automata)? Example PDA of the language a^n*b^b. Actions of the PDA working. How PDA works?
From Regular Expression to Context-Free grammar -- A Turning Point
Переглядів 4421 день тому
ToC-27. Regular expressions, Regular Languages, Context-free grammars
Duality - Valid formula of Modal Logic
Переглядів 5728 днів тому
ES-41. Duality in Modal logic formula. Duality of Box and Diamond. Saul Kripke. Kripke Model.
The Axiom K of Modal Logic
Переглядів 8328 днів тому
ES-40. valid formulae of modal logic. Kripke frames. Kripke model. semantics of Modal logic. Axiom K of modal logic.
KRIPKE Model Checking - Further Queries (Negated props etc)
Переглядів 5728 днів тому
ES-39. Negated Propositional queries on KRIPKE Model. Expert Systems. Modal Logic. Modal logic semantics.
Introducing Context free Grammar and Languages
Переглядів 52Місяць тому
Introducing Context free Grammar and Languages
DFA to RE Example -- by Eliminating States
Переглядів 124Місяць тому
DFA to RE Example by Eliminating States
DFA to RE by Eliminating States
Переглядів 156Місяць тому
DFA to RE by Eliminating States
KRIPKE Model Graph Queries examples (box and diamonds)
Переглядів 98Місяць тому
KRIPKE Model Graph Queries examples (box and diamonds)
KRIPKE Model Checking Algorithm
Переглядів 78Місяць тому
KRIPKE Model Checking Algorithm
KRIPKE Model and Graph queries
Переглядів 66Місяць тому
KRIPKE Model and Graph queries
Modal Logic Semantics - Kripke
Переглядів 52Місяць тому
Modal Logic Semantics - Kripke
Modal Logic Syntax
Переглядів 44Місяць тому
Modal Logic Syntax
Modal Logic Introduction
Переглядів 47Місяць тому
Modal Logic Introduction
Is simplicity a quality attribute?
Переглядів 10Місяць тому
Is simplicity a quality attribute?
What is Software?
Переглядів 59Місяць тому
What is Software?
Software Engineering -- Text Books
Переглядів 41Місяць тому
Software Engineering Text Books
Protege Ontology Introduction. Protege Environment.
Переглядів 73Місяць тому
Protege Ontology Introduction. Protege Environment.
DFA to RE Part 2 - Example Solution with two accepting states
Переглядів 115Місяць тому
DFA to RE Part 2 - Example Solution with two accepting states
DFA to RE Construction --- using Formal Method
Переглядів 962 місяці тому
DFA to RE Construction using Formal Method

КОМЕНТАРІ

  • @ahsanjawed9543
    @ahsanjawed9543 6 днів тому

    sir jb C aata he to usko A milta he to aapne next banayi he aur wahn bhej diya. Kya hum usi state pr rehte hue c ko add nh kr skte?

  • @ahsanjawed9543
    @ahsanjawed9543 11 днів тому

    is it mandatory to create an automata or just make the table in exam?

    • @DrNomanHasany
      @DrNomanHasany 10 днів тому

      Transition table represents the transition diagram

  • @DeenKiBahar
    @DeenKiBahar 20 днів тому

    Watching At 9 Jan 2025 , Thanks Sir

  • @jasirhassans
    @jasirhassans 21 день тому

    Good explanation about #Ontology #Expert #System

  • @foolxsamyt2614
    @foolxsamyt2614 24 дні тому

    🥰🥰🥰

  • @foolxsamyt2614
    @foolxsamyt2614 26 днів тому

    Waiting for Part 2 of PDA☺

  • @muhammadazeemsadiq
    @muhammadazeemsadiq Місяць тому

    AssalamuAlaikum Dr. Sahib, how to contact you?

  • @shaikhyaqoob6981
    @shaikhyaqoob6981 Місяць тому

    Why you started from t,x

    • @DrNomanHasany
      @DrNomanHasany 9 днів тому

      In Bellman ford, Sequence to traverse the edges is either given or you have to keep it same for all passes when once defined

  • @huzaifarana1343
    @huzaifarana1343 2 місяці тому

    Nice Explanation

  • @yahyarashdi8765
    @yahyarashdi8765 2 місяці тому

    Can U send these lectures

  • @ebrahimraza1560
    @ebrahimraza1560 2 місяці тому

    Why are you are teaching Prolog ?

  • @ahsanjawed9543
    @ahsanjawed9543 2 місяці тому

    which function we will solve first in exam? Heap Insert Heap extract key heap maximum Heap increase key

    • @DrNomanHasany
      @DrNomanHasany 25 днів тому

      Depends on the specific exam question

  • @BrianKm-q6p
    @BrianKm-q6p 2 місяці тому

    Close your channel it's really meaning less and a worse channel I ever see on entire internet or a UA-cam platform... Your way of speaking and knowledge transferring is absolutely zero. You think the people understand and waste time to listen you but truth is you are dumb

  • @BrianKm-q6p
    @BrianKm-q6p 2 місяці тому

    Close your channel it's really meaning less and a worse channel I ever see on entire internet or a UA-cam platform... Your way of speaking and knowledge transferring is absolutely zero. You think the people understand and waste time to listen you but truth is you are dumb

  • @deepatalreja759
    @deepatalreja759 3 місяці тому

    Very informative

  • @NoorHashmi-g8d
    @NoorHashmi-g8d 3 місяці тому

    Very nice elaborated

  • @ahsanjawed9543
    @ahsanjawed9543 3 місяці тому

    Is z adjacent of s?

    • @DrNomanHasany
      @DrNomanHasany 3 місяці тому

      No. s is adjacent to z, because (z,s) is an edge not (s,z)

  • @drsamoizslectures
    @drsamoizslectures 3 місяці тому

    Excellent, Thank you professor

  • @ahsanjawed9543
    @ahsanjawed9543 3 місяці тому

    NFA mein jub hum staring point i mean q0 likhenge to phir kya hum usko curly bracket mein likhenge ya nh? kyun k hum DFA mein starting poing q0 ko curly bracket mein nh likhte hein

    • @DrNomanHasany
      @DrNomanHasany 3 місяці тому

      NFA ke transition table mein list lerte hue nahi likheinge. but NFA to DFA conversion mein DFA mein likheinge. NFA and related conversion videos are about to come in the next week

  • @AdilUsmani
    @AdilUsmani 3 місяці тому

    MashaAllah Great Work Sir ❤

  • @JaveedJokhio-48
    @JaveedJokhio-48 3 місяці тому

    Wah sir Ahmed Faraz yad dila diya shru me sir 🥰

  • @Faisalinnayat
    @Faisalinnayat 4 місяці тому

    Thank you Sir! you made it so easy.

  • @odysseylente9337
    @odysseylente9337 4 місяці тому

    Superb

  • @monarizvi5661
    @monarizvi5661 4 місяці тому

    Behtareen , bauhat hi alaa idea hai apka . I truly appreciate your concern. Jazakallhu Khairan katheeran.

  • @1973tmpk
    @1973tmpk 5 місяців тому

    LDST ka zamana yaad agaya 😊

  • @khanzadakz2531
    @khanzadakz2531 7 місяців тому

    Sir AI ka course banayen aik proper play list k sath

  • @qasimmus7623
    @qasimmus7623 7 місяців тому

    Very information channel as Sir Noman is one of the best teacher & mentor

  • @qasimmus7623
    @qasimmus7623 7 місяців тому

    Masha allah very informative

  • @juniordevmedia
    @juniordevmedia 7 місяців тому

    Highly recommended channel, i have personally attended Sir hasany's classes during my MS in Szabist, one of the best ones.

  • @FarmanKhan-yv2jh
    @FarmanKhan-yv2jh 7 місяців тому

    Best teacher 🎉❤

    • @DrNomanHasany
      @DrNomanHasany 7 місяців тому

      Thanks Dear Farman... May Allah swt bless you always...