Если вы, как и я, прошли через такие термины, как «формальные методы» / «верификация программы» / «формальная верификация» во времена бакалавриата информатики, но не знали об интересных исследованиях, проводимых в этой области, то вы можете хотите следовать этому письму, чтобы начать работу с этой конкретной областью информатики и логики.
Это вводная статья по этой теме (которая будет состоять из других частей), а также моя первая работа на Medium!
Я предполагаю, что вы знакомы с такими терминами, как «логика высказываний» или «предикаты и кванторы». Можно пока не вспоминать об этих идеях, иначе вы, возможно, еще не ознакомились с этими темами ! . В таком случае вам, возможно, стоит взглянуть на главу "Основы" книги Кеннета Х. Розена "Дискретная математика и ее приложения" (у меня есть 5-е издание).
Параллельно (параллелизм в компьютерных науках), вы можете заглянуть на научную конференцию CAV, чтобы иметь представление об исследовательских работах (на данный момент это нормально, если вы сначала не понимаете идеи).
После изучения вышеупомянутого ресурса вы, возможно, захотите начать работу с книгой Майкла Хута Logic in Computer Science. Это замечательная книга для начала изучения темы "логика".
Кроме того, если вы хотите пройти курс, я настоятельно рекомендую курс Массачусетского технологического института под названием «Основы анализа программ»профессора Армандо Солар-Лезама. Этот курс также предоставит вам обзор теории языка программирования, которая является важной частью области исследования, которую мы сейчас обсуждаем.
Я мог бы записаться на какие-нибудь другие курсы или книги для начала. Но для простоты я бы рекомендовал вам пройтись по упомянутым ресурсам. В конце концов, когда вы начнете изучать и работать над этими темами, вы найдете другие хорошие ресурсы, и я надеюсь написать об этом на этой платформе.
В следующем разделе этого письма я хотел бы предоставить вам введение в некоторые другие теоретические вопросы с некоторыми выдающимися инструментами, которые играют жизненно важную роль в этой области исследований. Как обсуждалось ранее, я впервые пишу на этой платформе, и я высоко ценю ваши ценные предложения.
