Search results

Не хватает html файла

Status: Open.

#43 In ostis-apps/set-theory;

· SHtress opened on Dec 13, 2019

Областти определений

Status: Open.

#26 In ostis-apps/set-theory;

· NikaKovalchuk opened on Oct 29, 2017

Агенты по комбинаторике

Status: Open.

#25 In ostis-apps/set-theory;

· NikaKovalchuk opened on Oct 29, 2017

Отделить языковые пакеты от ядра БЗ

Status: Open.

#20 In ostis-apps/set-theory;

· MaxGavr opened on Oct 21, 2017

Формализация ответов на зачет по МОИС

Status: Open.

#19 In ostis-apps/set-theory;

· MaxGavr opened on Oct 21, 2017

Формализация аксиом

Status: Open.

#9 In ostis-apps/set-theory;

· MaxGavr opened on Mar 5, 2017

Интерфейс

Status: Open.

#8 In ostis-apps/set-theory;

· Gobestvini opened on Mar 4, 2017

Проверить работоспособность агентов

Status: Open.

#6 In ostis-apps/set-theory;

· Gobestvini opened on Mar 4, 2017

Интегрировать в систему scp-решатель

Status: Open.

#5 In ostis-apps/set-theory;

· Gobestvini opened on Mar 4, 2017

Описать тождества и свойства множеств

Status: Open.

#4 In ostis-apps/set-theory;

· Gobestvini opened on Mar 4, 2017

Сделать документацию

Status: Open.

#3 In ostis-apps/set-theory;

· Gobestvini opened on Mar 4, 2017

Формально описать понятия

Status: Open.

#2 In ostis-apps/set-theory;

· Gobestvini opened on Mar 4, 2017