В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

Compiler Development

1022 membersпожаловаться на группу
2021 April 11

DK

David Kravets in Compiler Development
Хотя любое разрешимое множество перечислимо
источник
19:35пожаловаться#1

a

alez in Compiler Development
Под перечислимыми имеется ввиду рекурсивно перечеслимые?
источник
19:36пожаловаться#2

a

alez in Compiler Development
Если так, то есть логики которые генерируют не рекурсивно перечеслимые множества
источник
19:36пожаловаться#3

МБ

Михаил Бахтерев... in Compiler Development
Определяют или именно генерируют?
источник
20:00пожаловаться#4

МБ

Михаил Бахтерев... in Compiler Development
Ну, то есть, множество истинных формул, о нём речь?
источник
20:00пожаловаться#5

a

alez in Compiler Development
Да
источник
20:05пожаловаться#6

МБ

Михаил Бахтерев... in Compiler Development
О! А что гуглить?
источник
20:07пожаловаться#7

DK

David Kravets in Compiler Development
Разрешимость ФС говорит о том что можно однозначно сказать какие цепочки могут быть выведены в этой теории
источник
20:09пожаловаться#8

DK

David Kravets in Compiler Development
Хотя это противоречит
источник
20:10пожаловаться#9

DK

David Kravets in Compiler Development
Так как множество бесконечно
источник
20:10пожаловаться#10

DK

David Kravets in Compiler Development
Множество порождений в теории бесконечно
источник
20:10пожаловаться#11

a

alez in Compiler Development
Infinitary logic :D
источник
20:11пожаловаться#12

DK

David Kravets in Compiler Development
Ура , я понял , спасибо всем
источник
20:17пожаловаться#13
2021 April 12

K

Kakadu in Compiler Development
Переслано от Kakadu
Всем, кто хочет послушать как звучит индийский английски, можно завалиться на доклад
https://vk.com/pltlab?w=wall-183350002_155
VK
Лаборатория языковых инструментов JB Research
В ближайший понедельник выступит приглашенный докладчик KC Sivaramakrishnan с докладом "Effective Programming in OCaml". Аннотация: Effect handlers have been gathering momentum as a mechanism for modular programming with user-defined effects. Effect handlers allow for non-local control flow mechanisms..
источник
17:30пожаловаться#14

DK

David Kravets in Compiler Development
Ай комобилубу пеопле
источник
17:32пожаловаться#15

K

Kir in Compiler Development
Спасибо, я наслушался, пока искал как делать LR-парсер на ютубе
источник
17:32пожаловаться#16

K

Kakadu in Compiler Development
Ну, лично мне речь KC  вполне понятна
источник
17:32пожаловаться#17

AG

Alex Gryzlov in Compiler Development
мне кажется у kcsrk должна быть хорошая речь да
источник
17:33пожаловаться#18

AG

Alex Gryzlov in Compiler Development
но да акцентик есть, ударения в конце, твёрдая Р
источник
17:34пожаловаться#19

AG

Alex Gryzlov in Compiler Development
ух, что-то я где то посередине потерялся
источник
19:22пожаловаться#20