dotnetomaniak.pl - Fun with Temporal Logic – Emi's blog

Witaj Maniaku , Zaloguj sięlub Zarejestruj

Zobacz listę oczekujących artykułów (1)

Strona główna
Kategorie
- Architektura
  Rozwiązania na wyższym poziomie abstrakcji. Wzorce, dobre praktyki i pomysły.
- Bazy danych i XML
  MSSQL, Oracle, mySQL, PostgreSQL. ORMy i nie tylko
- Cloud
  Rozwiązania chmurowe - Azure, AWS i inne
- Daj się poznać 2016
  Artykuły w ramach konkursu Daj się poznać
- Daj się poznać 2017
  Artykuły w ramach konkursu Daj się poznać - edycja 2017
- Inne
  Pozostałe nigdzie indziej niesklasyfikowane artykuły
- Mobile development
  WP7, WindowsMobile, WindowsCE ale także inne platformy mobilne
- Narzędzia
  Przydatne narzędzia dla każdego
- Office
  Sharepoint i wszystko co związane z programowaniem na tę platformę
- Programowanie rozproszone
  Wszystko co związane z rozwojem aplikacji przystosowanych do obsługi więcej niż 1 maszyny
- Silverlight
  Rich Internet Applications od MS. Wszelkie wersje i dodatki.
- Sztuka programowania
  Przykłady ładnego kodu, wpisy o tym jak pisać kod aby był czymś więcej niż zlepkiem znaków
- Web
  Web Forms, MVC, jQuery i inne przydatne rzeczy dla każdego siedzącego w Web Development
- Windows
  WinForms, WPF, kontrolki i wszystko inne związane z programowaniem na platformę Windows
O dotNETomaniaku
Sklep z gadżetami

Strona głównaDaj się poznać 2016

1

Podbij ↑

Fun with Temporal Logic – Emi's blog

Krótkie wprowadzenie do troszkę innego rodzaju wnioskowania logicznego niż ten znany z uczelni.

Tagi: logika, matematyka

Źródło: emigd.azurewebsites.net

Dziel się z innymi:

Fun with Temporal Logic – Emi's blog

Daj się poznać 2016 3207 dni, 17 godzin, 38 minut temu Emi_ 56 pokaż kod licznika zwiń

Kolor ramki:

Tło linku Podbij ↑:

Kolor linku Podbij ↑:

Kolor ramki licznika:

Kolor licznika:

Preview

Wczytywanie artykułów...

Emi_

Polecamy

Najaktywniejsi w tym miesiącu

1

brzooz

(10)

2

ovBNZmqG

(5)

3

GRLeigSntT

(5)

4

BNctxSbmvSdEe

(5)

5

jKSiphLkEW

(5)

6

uVChDIBuLeaQoE

(5)

7

AyNeiYsk

(5)

8

swnlgeyAlRc

(5)

9

hbmWVUHQOy

(5)

10

ZZXHJAOmyufkWXS

(5)

więcej »

Nadchodzące wydarzenia

Dodaj nowe Zobacz wszystkie

Tagi

dotnetomaniak.pl

Logowanie

Zewnętrzni dostawcy tożsamości korzystają z technologii OpenID, dzięki której Twoje hasło zawsze jest poufne i nie musisz zapamiętywać kolejnego.

lub...

Wprowadź nazwę użytkownika/e-mail oraz hasło

Nazwa
użytkownika/e-mail:

Hasło:

Zapamiętaj mnie na tym komputerze

zapomniałeś hasła?

lub...

Zaloguj się przy użyciu Facebooka.

Załóż konto

Podaj nazwę użytkownika i adres e-mail, aby założyć konto. Dzięki niemu będziesz na bieżąco informowany o zmianach w serwisie.

Nazwa użytkownika:

Hasło:

Email:

(Proszę wprowadź poprawny adres e-mail, będzie potrzebny do weryfikacji)

Zapomniałeś hasła

Edycja reklamy

Link rekomendacji:

Tytuł rekomendacji:

Link zdjęcia:

Tytuł zdjęcia:

Reklama od:

Reklama do:

Pozycja reklamy:

Email:

Banner:

Edycja wydarzenia

Nazwa:

Link do wydarzenia:

Data rozpoczęcia:

Data zakończenia:

Online:

Miasto:

Lokalizacja:

Opis:

Email zgłaszającego: