/sanya

Да, это я

Девчонки, записывайте телефнчик

📢 Репост из группы Кафедра математической логики МГУ:

#матлог #наука #спецсеминар

Очередное заседание семинара "Нестандартные логики" под рук. Л.Л.Максимовой состоится в следующий четверг, 10 декабря в 16.20 (время новосибирское, мск +4), для получения ссылки на зум-конференцию пишите на почту odintsov.sergey2013@yandex.ru.

Докладчик: Станислав Кикоть, London Metropolitan University.

О выводимости конъюнкции атомов из данных и аксиомы покрытия.

В докладе рассматривается простейшая нехорновская логическая теория "для всех х, A(x) влечет B(x) или C(x)", известная как «аксиома покрытия», и сложность проверки, следует ли из набора фактов и аксиомы покрытия заданная фиксированная конъюнкция атомов.

Получена полная алгоритмическая классификация для подкласса таких конъюнкций, в которых бинарные атомы организованы в форме «направленной линии».

Это частный случай общей задачи о сложности вычисления ответов на запросы к данным относительно онтологий (Ontology-Based Data Access), которая в свою очередь является частным случаем проблемы сложности различных семейств обобщенных задач удовлетворения ограничений (constraint satisfaction problems).

Доклад основан на совместной работе с Ольгой Герасимовой, Аги Куруш, Михаилом Захарьящевым и Владимиром Подольским, недавно представленной на конференции "Knowledge Representation and Reasoning"

Кроме того, в докладе будет дано введение в тематику OBDA, описаны ключевые результаты и современные направления исследований, подчеркнута связь с классическими разделами логики и дискретной математики.

....бб

мишико давай подружимся на нинтендах с вич

А ты платишь за премиум?

неа, презираю мультиплеер

э, чепушила, а ну метнулся до ашана и обратно, а то жопу разворочу бадлой

ваш заказ принят всем мехматом

Выполнять, конечно, никто не будет?

дистанционка👍

​📢 Репост из группы Профком мехмата МГУ:

#билеты

Профком мехмата начинает запись на мюзикл "День влюбленных"!

Для получения билетов необходимо быть подписанным на нашу группу.

Время: 12 декабря, 21:30.

Место: МДМ на м. Фрунзенская.

Запись: https://forms.gle/vE2ZDhjAoPFCCFkC6

P.S. Можно указать свою пару, тогда мы постараемся выдать вам соседние места, но зарегистрироваться должны оба человека отдельно.

Необходим разработчик для написания проекта с дальнейшей поддержкой за дополнительную плату

WEB часть

Требуется написать сайт, в котором будет :
* пользователь
* документ
* избранное ( папки с отдельными документами )
Документы лежат в elasticsearch и надо хранить именно ссылку на нужный документ ( схема документа заранее неизвестна ).
Пользователь имеет поля :
* email
* password
* phone number
* country ( страна )
* tags - интересущюие теги документов
Редактирование и отображение этих полей в профиле пользователя.
Избранное - это список списка документов - пример как плейлисты в yandex музыке.
В нем будет доступны действия :
* создать папку
* удалить папку
Для документа в избранном :
* удалить из избранного
* переместить в другую папку
* скопировать в другую папку
Так же должна быть функция поиска документа - поиском занимается elasticsearch - надо только сделать к нему запрос и отобразить результаты.
В выведенном списке можно сразу будет добавить в избранное.

Настройка архитектуры базы данных

Требуется проработка структуры базы данных для организации хранения данных каталога лотов.
Клиентом будет выступать веб-приложение (веб-сайт)

Ориентировочное число записей на старте: 250-500 млн. записей

Список примерных полей базы данных приведен в отдельном файле.

Запрос к базе будут осуществляться по ряду критериев:

* Свободный поиск по названию и описанию лота
* Поиск по полю "Категория"
* Поиск по полю "Дата аукциона"
* Поиск по полю "Аукционный дом"
* Поиск по полю "Аукцион"

Предусмотреть множественне параметры для поиска / уточнения результатов поиска,
например после поиска по названию выбрать только результаты с определенным годом торгов.

Сортировка результатов запроса по relevance, и ряду дополнительных полей.

Предусмотреть ограничение на вывод данных при привышении заданного лимита, например при нахождении более 1000 результатов выводить реальное число результатов, но при этом
отдавать только первые 1000 записей.

Бюджет на разработку :
WEB часть - 50.000р+
БД - 400.000р+

Оплата осуществляется поэтапно, каждый этап обговаривается до начала работы

Вызывайте косямбу

вызвал тебе за щеку, проверяй

Требуется написать сайт, в котором будет :
* пользователь
* документ
* избранное ( папки с отдельными документами )
Документы лежат в elasticsearch и надо хранить именно ссылку на нужный документ ( схема документа заранее неизвестна ).
Пользователь имеет поля :
* email
* password
* phone number
* country ( страна )
* tags - интересущюие теги документов
Редактирование и отображение этих полей в профиле пользователя.
Избранное - это список списка документов - пример как плейлисты в yandex музыке.
В нем будет доступны действия :
* создать папку
* удалить папку
Для документа в избранном :
* удалить из избранного
* переместить в другую папку
* скопировать в другую папку
Так же должна быть функция поиска документа - поиском занимается elasticsearch - надо только сделать к нему запрос и отобразить результаты.
В выведенном списке можно сразу будет добавить в избранное.

Требуется проработка структуры базы данных для организации хранения данных каталога лотов.
Клиентом будет выступать веб-приложение (веб-сайт)

Ориентировочное число записей на старте: 250-500 млн. записей

Список примерных полей базы данных приведен в отдельном файле.

Запрос к базе будут осуществляться по ряду критериев:

* Свободный поиск по названию и описанию лота
* Поиск по полю "Категория"
* Поиск по полю "Дата аукциона"
* Поиск по полю "Аукционный дом"
* Поиск по полю "Аукцион"

Предусмотреть множественне параметры для поиска / уточнения результатов поиска,
например после поиска по названию выбрать только результаты с определенным годом торгов.

Сортировка результатов запроса по relevance, и ряду дополнительных полей.

Предусмотреть ограничение на вывод данных при привышении заданного лимита, например при нахождении более 1000 результатов выводить реальное число результатов, но при этом
отдавать только первые 1000 записей.

ВордПресс в помощь