2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки





Начать новую тему Ответить на тему На страницу Пред.  1, 2, 3
 
 Re: искуственный интелект
Сообщение18.03.2017, 23:39 
Заслуженный участник
Аватара пользователя


27/04/09
21068
Уфа

(Оффтоп)

А это я уже честно не помню. :-) Меня раздражало, что надо объявлять «промежуточные» типы для объявления типов-указателей, потому что нельзя написать ^(выражение типа).

 Профиль  
                  
 
 Re: искуственный интелект
Сообщение21.10.2017, 10:54 


16/04/09
25
Здравствуйте kotenok gav.
Скажите, пожалуйста, можно посмотреть код вашего калькулятора? Интересуют только процедуры, которые что нибудь доказывают (желательно не сложные в математике примеры) и описание самого языка запросов (то есть как юзер пишет в программу условие задачи). Заранее спасибо.

 Профиль  
                  
 
 Re: искуственный интелект
Сообщение21.10.2017, 11:54 


21/05/16
844
Аделаида
А у меня его нет :-)
Если бы внимательно читали тему, то заметили бы что я его не сделал, так как не знал как делать :-)
Вот небольшой список программ с автоматическим доказательством: https://ru.wikipedia.org/wiki/%D0%90%D0 ... 1.80.D1.8B

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 33 ]  На страницу Пред.  1, 2, 3

Модераторы: maxal, Karan, Toucan, PAV, Супермодераторы



Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group