Rather than me explaining what a Bar Camp is Pls. take a look at the wiki link
http://en.wikipedia.org/wiki/BarCamp.
The Venu of BarCamp Kerala 5 is @ Technopark, Trivandrum. if u are interested in participating
pls. go to http://www.barcampkerala.org/blog/
I participated in BarCamp Kerala 3 and was the resource person for a session titled "Programming Paradigms". The theme of the session was centred around the failed attempt of Bertrand Russel and David Hilbert to axiomatize the entire mathematics discipline. This led to some Paradoxes and Austrian Logician Kurt Godel proved that this paradox is inherrent in any formal systems. Alonzo Church (with his lambda calculus ) and Turing (with Turing machine ) stumbled upon the same idea . The suprising side affect is these two formalisms and predicate
calculus form the basis of modern programming languages. Functional Programming is based
on Lambda Calculus. Most conventional languages are based on the idea of turing machine. The Logic Programming model is based on Predicate calculus.
To my surprise , the session was well recieved and there were questions too on what was abstract topic for most professional programmers.
Even though i was scheduled to present a session titled "The Paradox of the open source software" , i could not pariticipate for the BarCamp 4
For the forthcoming event , i am planning to teach how to construct "toy" compilers , in an hour.
http://www.barcampkerala.org/blog/sessions/
The Compiler has got support for all the structured programming constructs u encounter in any programming language. Moreover, it supports recursive invocation.
The Compiler generates .NET executables.
Subscribe to:
Post Comments (Atom)
0 comments:
Post a Comment