Lec37 Bounded And Unbounded Minimalization

We have discussed minimalization of a function in this video. Minimalization is assumed to be having an (n+1) predicate P. Such minimalization can be bounded with values of a variable, or can not be bounded to anything, it can be partial or total function. We have also talked about a topic called bounded quantifier (Existential and Universal Quantifier both) in this video from definition point of view.

#boundedminimalizatoin
#unboundedminimalizatoin
#boundedquantification
#boundedquantifier
#theoryofcomputation
#toc
#gtu
#3160704

[LeelaPhaniSai]

thankyou bhai it is very useful video thanku