Myvideo

Guest

Login

09 теорема о корректности штопора

Uploaded By: Myvideo
1 view
0
0 votes
0

понятия: - выполнимость - непротиворечивость - общезначимость - логическое (семантическое) следование - независимость формулы теорема: - о корректности ИП (“штопор не врет“) - непротиворечивость выполнимой теории - модели для незвисимой формулы

Share with your friends

Link:

Embed:

Video Size:

Custom size:

x

Add to Playlist:

Favorites
My Playlist
Watch Later