AskDev.ru — спроси разработчика

  • Языки
    • java
    • javascript
    • python
    • php
    • c
    • objective-c
    • ruby
    • perl
  • Фреймворки
    • jquery
    • twitter-bootstrap
    • ruby-on-rails
    • django
    • angular
    • reactjs
  • Операционные системы
    • android
    • ios
    • windows
    • macos
    • ubuntu
    • linux
    • unix
  • Базы данных
    • mysql
    • sql-server
    • database
    • postgresql
    • mongodb
    • oracle
    • sqlite
  • Программы
    • google-chrome
    • firefox
    • internet-explorer
    • apache
    • nginx
    • excel
  • Репозитории
    • git
    • svn
    • github
  • Askdev.ru
    • French
  • over.wiki
2
ответов

6

SMT-решатели для арифметики битовых векторов

smt theorem-proving verification
1
ответов

7

Как реализовать алгоритм зайца и черепахи Флойда в Agda?

agda floyd-cycle-finding functional-programming haskell theorem-proving
6
ответов

18

Система Гильберта-Автоматическое Доказательство

computer-science logic math theorem-proving verification
© AskDev.ru — спроси разработчика, Licensed under over.wiki with attribution.