In the software industry, engineers do formal logic day in and day out, whether they realize that or not. As a rule, they did not study logic. Instead, they studied calculus which they use rarely, if ever.
I will try to illustrate why logic is so relevant to software engineering and why it is hard for software engineers to pick it up. I will speak also about logic applications in computer science, computer engineering and, time permitting, mathematics. Speaker(s): Yuri Gurevich (Microsoft Research)
I will try to illustrate why logic is so relevant to software engineering and why it is hard for software engineers to pick it up. I will speak also about logic applications in computer science, computer engineering and, time permitting, mathematics. Speaker(s): Yuri Gurevich (Microsoft Research)
Co-Sponsored By
Explore Similar Events
-
Loading Similar Events...