Продолжая серию случайная книга в случайный день...
Я вроде ещё не писал про Software Foundations, книга/задания ( https://softwarefoundations.cis.upenn.edu/current/index.html ) сейчас она разделилась на три книги Logical Foundations, Software Foundations и Verified Functional Algorithms. В книги даются основы и много упражнений для доказательства на Coq.
Сейчас читаю Logical Foundations и книга, просто прекрасна. Очень помогает в формализации доказательств, когда хочется проверить правильно ли доказываешь то или иное утверждение, так же оно дает хорошее знакомство с теорем пруверами. Заодно помогает взглянуть на хорошо известные вещи с чистого листа.
Скорее всего для каждодневной практики это не поможет, но может помочь развивать мозг и на случай если действительно нужно что-то доказывать.
Я вроде ещё не писал про Software Foundations, книга/задания ( https://softwarefoundations.cis.upenn.edu/current/index.html ) сейчас она разделилась на три книги Logical Foundations, Software Foundations и Verified Functional Algorithms. В книги даются основы и много упражнений для доказательства на Coq.
Сейчас читаю Logical Foundations и книга, просто прекрасна. Очень помогает в формализации доказательств, когда хочется проверить правильно ли доказываешь то или иное утверждение, так же оно дает хорошее знакомство с теорем пруверами. Заодно помогает взглянуть на хорошо известные вещи с чистого листа.
Скорее всего для каждодневной практики это не поможет, но может помочь развивать мозг и на случай если действительно нужно что-то доказывать.
Continuing the random book series on a random day ...
I didn’t seem to write about Software Foundations yet, the book / tasks (https://softwarefoundations.cis.upenn.edu/current/index.html) now it is divided into three books Logical Foundations, Software Foundations and Verified Functional Algorithms. The books provide the basics and many exercises for proofing on Coq.
Now I read Logical Foundations and the book is just beautiful. It helps a lot in formalizing evidence when you want to check whether you are proving a statement correctly, it also gives you a good introduction to theorems by provers. At the same time, it helps to look at well-known things from scratch.
Most likely, this will not help for everyday practice, but it can help develop the brain in case you really need to prove something.
I didn’t seem to write about Software Foundations yet, the book / tasks (https://softwarefoundations.cis.upenn.edu/current/index.html) now it is divided into three books Logical Foundations, Software Foundations and Verified Functional Algorithms. The books provide the basics and many exercises for proofing on Coq.
Now I read Logical Foundations and the book is just beautiful. It helps a lot in formalizing evidence when you want to check whether you are proving a statement correctly, it also gives you a good introduction to theorems by provers. At the same time, it helps to look at well-known things from scratch.
Most likely, this will not help for everyday practice, but it can help develop the brain in case you really need to prove something.
У записи 1 лайков,
0 репостов,
142 просмотров.
0 репостов,
142 просмотров.
Эту запись оставил(а) на своей стене Alexander Vershilov
