Computer Science, IT:

Logik und Verifikation

Provider: TU Clausthal

Go to online course

Transparency note: Some course providers support the operation of our search portal with referral commissions.

Content

Diese Videovorlesung erläutert Logik und Verifikation.

Add to my Course Planner

Study
Together!

TU Clausthal

Instructor:	Prof. Dr. rer. nat. Jürgen Dix
Provided by:	TU Clausthal
Course language:	German
Fees:	free course
Level:	advanced
Certificate available?
Format:	video lecture

Go to online course

Transparency note: Some course providers support the operation of our search portal with referral commissions.

You need to accept cookies for external services to see this content.

Go to online course

Transparency note: Some course providers support the operation of our search portal with referral commissions.

How do you like the course 'Logik und Verifikation'?

Other online courses in Computer Science, IT

Udacity Ad

School of AI

Artificial Intelligence (AI)

Udacity

Udacity's School of AI offers high-quality Artificial Intelligence online courses.The courses cover machine learning and AI programming and also include more advanced topics...

Udemy Ad

Web Developer Bootcamp

Web Development, Web Design

Udemy

This online course gives an introduction to web development and web design.The course covers key technologies to create web sites and web applications. It includes HTML, CSS,...

Coursera Ad

Data Science Specialization

Introduction to Data Science

IBM

This online course program explores the fundamentals of Data Science for beginners.The video courses Explain the basics of Data ScienceIntroduce the key toolsLook at the...

Udemy Ad

Coding for Beginners

Introduction to Programming

Udemy

This online course gives an easy introduction to programming for complete beginners. No prior experience required!The course explains the basic concepts of coding. It then...

... more courses from this subject

Computer Science, IT:

Logik und Verifikation

Content

TU Clausthal

Other online courses in Computer Science, IT

School of AI

Web Developer Bootcamp

Data Science Specialization

Coding for Beginners

Cookies

Individual Settings

Technical

These are technical cookies required for the operation of the website.

Statistics

We use various services to better understand the user interest on our website and to further optimize our website for you. The data is anonymized.

External services

External services help us to improve the website performance.