induction

5Ciepło

1Odpowiedz

Metoda zastępowania rozwiązywania nawrotów

Po pierwsze przepraszam za zadawanie tak podstawowego pytania. Ale mam trudności ze zrozumieniem metody zastępowania w rozwiązywaniu nawrotów. Podążam za wprowadzeniem do Algo.s -CLRS. Ponieważ nie je

10Ciepło

1Odpowiedz

Jakie są typy rozmiarów w Agdzie?

Jakie są typy rozmiarów w Agdzie? Próbowałem czytać gazetę o MiniAgda, ale nie udało się przejść ze względu na następujące punkty: Dlaczego są typy danych generic nad ich wielkości? O ile mi wiadomo,

6Ciepło

1Odpowiedz

Zakończenie indukcji strukturalnej

Nie mogę uzyskać funkcji sprawdzania zakończenia Agdy, aby zaakceptować funkcje zdefiniowane za pomocą indukcji strukturalnej. Stworzyłem następujące, jak sądzę, najprostszy przykład wykazujący ten pr

5Ciepło

1Odpowiedz

Dlaczego cewki indukcyjne muszą mieć te same parametry?

Po , zmieniłem moją relację Fixpoint do wzajemnej relacji Inductive, która "buduje" różne porównania między grami, zamiast "wiercić w dół". Ale teraz jestem otrzymaniu całkowicie nowy komunikat o błęd

6Ciepło

1Odpowiedz

Jaka jest intuicja za szachownicą pokrywającą algorytm rekursywny i jak lepiej sobie wyobrazić formułowanie takiego algorytmu?

Być może słyszałeś o klasycznej szachownicy obejmującej puzzle. Jak zasłaniasz szachownicę, której brakuje jednego rogu narożnego, używając płytek w kształcie litery L? Istnieje podejście rekursywne,