All Courses
“” see all results for →
TR · Türkçe EN · English

Semantics of First-Order Logic

★ 4.6(9 ratings)
First-order logic is a restricted, formalized language which is particularly suited to the precise expression of ideas. The language has uses in many disciplines including computer science, mathematics, linguistics and artificial intelligence.
We will describe how to write sentences in the language, how to determine when a sentence is true in a particular situation, how to recognize important relationships between sentences, and describe some limitations of the language.
CERTIFICATEKatılım Sertifikası
FORMAT100% Online
DURATION4 hafta

What you'll learn

  • Basic Math
  • Semantics
  • Computer Science
  • Artificial Intelligence
  • Linguistics

Details

  • ProviderStanford University
  • TypeCourse
  • CategorySoftware & Programming
  • LevelBeginner
  • Duration4 hafta
  • LanguageEnglish

Öğrenenlerimiz ne diyor?

Türkiye'nin yüz akı üniversitelerince hazırlanan; akademik doyuruculuğa sahip eğitim içeriklerinin, etkileşimli videolarla bir araya getirildiği bir üniversiteden eğitim almak istiyorsanız doğru yerdesiniz.
Ramazan Bölükbaşı
Çok yoğun programı olan öğrenciler için büyük bir fırsat. Bir şeylerin gelişmesi değişmesi için çabalamalıyız.
Melis Gülsar
Hızlı desteği ve üst düzey hizmeti ile Campus Online ve Sosyal Medya Sertifika Programı hizmeti sağlayan Adnan Menderes Üniversitesine sonsuz teşekkürlerimi sunuyorum.
Nazif Bayram

Courses you might like

Python for Everybody
University of Michigan

Python for Everybody

TR Subtitles 1.987.962 kayıt
View →
Bitcoin and Cryptocurrency Technologies
Princeton University

Bitcoin and Cryptocurrency Technologies

TR Subtitles 863.758 kayıt
View →
Using Python to Access Web Data
University of Michigan

Using Python to Access Web Data

TR Subtitles 748.119 kayıt
View →
Play It Safe: Manage Security Risks
Google

Play It Safe: Manage Security Risks

TR Subtitles 722.477 kayıt
View →
Programming Foundations with JavaScript, HTML and CSS
Duke University

Programming Foundations with JavaScript, HTML and CSS

TR Subtitles 614.343 kayıt
View →
Cryptography I
Stanford University

Cryptography I

TR Subtitles 541.538 kayıt
View →
Learn to Program: The Fundamentals
University of Toronto

Learn to Program: The Fundamentals

TR Subtitles 525.605 kayıt
View →
Introduction to Programming with MATLAB
Vanderbilt University

Introduction to Programming with MATLAB

TR Subtitles 524.375 kayıt
View →
Computer Science: Programming with a Purpose
Princeton University

Computer Science: Programming with a Purpose

★4.7(1.4B) TR Subtitles 505.625 kayıt
View →
Data Structures and Algorithms
University of California San Diego

Data Structures and Algorithms

TR Subtitles 379.871 kayıt
View →
Introduction to the Internet of Things and Embedded Systems
University of California, Irvine

Introduction to the Internet of Things and Embedded Systems

TR Subtitles 364.846 kayıt
View →
Automate Cybersecurity Tasks with Python
Google

Automate Cybersecurity Tasks with Python

TR Subtitles 350.830 kayıt
View →
$69
CampusOnline Assistant
courses saved

Course Comparison
Institution
Rating
Turkish Subtitles
Level
Duration
Price
Certificate