YoVDO

Branch Cuts and Formal Methods in Mathematics

Offered By: Hausdorff Center for Mathematics via YouTube

Tags

Mathematical logic Courses Formal Methods Courses Complex Analysis Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
Explore the intersection of branch cuts and formal methods in mathematics with James Davenport in this 49-minute lecture from the Hausdorff Center for Mathematics. Delve into the complexities of mathematical analysis and computational techniques as Davenport examines how formal methods can be applied to the study of branch cuts. Gain insights into advanced mathematical concepts and their practical applications in computational mathematics. Access updated slides for a comprehensive visual aid to complement the lecture content.

Syllabus

James Davenport: Branch Cuts and Formal Methods?


Taught by

Hausdorff Center for Mathematics

Related Courses

Introduction to Logic
Stanford University via Coursera Logic: Language and Information 1
University of Melbourne via Coursera Logic: Language and Information 2
University of Melbourne via Coursera Information Service Engineering
openHPI Language, Proof and Logic
Stanford University via edX