Menu główne
What makes our approach different from the others?
- Utworzono: wtorek, 20 sierpień 2024 16:11
- Poprawiono: wtorek, 20 sierpień 2024 16:18
- Odsłony: 22
Historically, the ideas of denotational engineering emerged from the early works of A. Blikle, A.Blikle with A. Mazurkiewicz, and A.Blikle with A. Tarlecki. In turn, these works followed various approaches in this or another way. Below, we give credit to the authors that we have followed:
- generative grammars of N. Chomsky,
- denotational semantics of D. Scott’s and Ch. Strachey’s,
- C.A.R Hoare’s logic of programs,
- E. Dijkstra’s total correctness of programs and the derivation of correct programs,
- many-sorted algebras in computer science by J. A Goguen, J.W, Thatcher, E. G. Wagner and J. B. Wright,
- three-valued propositional calculus of J. McCarthy,
- abstract errors in program’s semantics originally introduced by Joe Goguen, and later also investigated from a perspective of a Hoare’s logic by J. V. Tucker and J. I. Zucker.
The main differences between our approach and other approaches to denotational semantics and program correctness are the following:
In the field of programming language design:
- our denotational models are based on set theory rather than D. Scott’s and Ch. Strachey reflexive domains,
- the denotations of programs are state-to-state functions rather than continuation-to-continuation,
- denotations are developed in the first place, and syntax is derived from them later; the process of the derivation of syntax is highly algorithmizable,
- the idea of a colloquial syntax allows making syntax user-friendly without damaging mathematical rigor,
- our denotational models include:
- error-detection mechanisms supported by three-valued boolean expressions and predicates,
- objects and classes,
- SQL databases,
- simple Petri nets concurrency.
In the field of correct program development:
- the soundness of program construction rules is proved on the grounds of a denotation semantics of the involved language,
- the use of three-valued predicates enriches Dijkstra’s total correctness approach by a clean-termination property.
prof. Robert Kozielski, I-Sukces w czasach paradoksów, niestabilności i postprawdy
- Utworzono: sobota, 20 styczeń 2024 05:50
- Poprawiono: sobota, 20 styczeń 2024 06:16
- Odsłony: 359
Wskaźnik dynamiki zmian tzw. „Global Disruption Index”, który uwzględnia zmiany ekonomiczne, społeczne, geopolityczne, klimatyczne czy technologiczne, wzrósł od roku 2017 do 2022 o 200%. Dla porównania ten sam wskaźnik wzrósł w latach 2011 – 2016 o 4%. W efekcie połowa organizacji współcześnie nie jest w stanie przetrwać dłużej niż dekadę, tylko 15% funkcjonuje na rynku dłużej niż 30 lat, a 5% dłużej niż 50 lat, a średni czas życia współczesnych organizacji to ok. 12 lat.
Co decyduje współcześnie o sukcesie w czasach postprawdy, niestabilności i wielu paradoksów. Co sprawia, że organizacje wygrywają w czasach dominacji sztucznej inteligencji, metaverse, blockchain, technologii kwantowych itp. Co łączy organizacje zwinne, uczące się, turkusowe? Na te i inne pytania będziemy próbowali znaleźć odpowiedź podczas spotkania w dniu 18 stycznia 2024 r.
Poniżej znajdują się łącza do zapisów wideo naszego spotkania. Ponieważ w czasie tego spotkania nastąpiła w moim domu przerwa w zasilaniu energetycznym, zapis został przerwany. Jednak spotkanie trwało nadal, a po powrocie do niego ponownie włączyłem nagrywanie. Stąd spotkanie jest nagrane w dwóch plikach, a część pomiędzy nimi została niestety utracona.
openNexus
- Utworzono: piątek, 09 czerwiec 2023 15:53
- Poprawiono: piątek, 09 czerwiec 2023 16:17
- Odsłony: 571
Od 2009 roku razem tworzymy openNexus.
Kolejnym naszym przedsięwzięciem jest fundacja Kreatywni dla Przyszłości, gdzie koncentrujemy się na przemianach niezbędnych w edukacji, a tym samym na przyszłości kolejnych pokoleń. Więcej o fundacji przeczytasz na stronie:
AUTOKRACJA
KOLORY ORGANIZACJI
SYSTEM WARTOŚCI
KRYZYS
WSKAZÓWKI
- Dlaczego zmieniamy pracę?
- Jak pracować efektywnie?
- Czy sprzedawca może pracować bez prowizji?
- Jak pracownicy mogą wpływać na procesy w organizacji?
- Czy Open Nexus się sprzeda?
Małgorzata Polzenius, Anna Ryman-Czarnecka, Łukasz Marciniak (reprezentujący Hutchinson Institute) Leader of the Future w kontekście ewolucji zarządzania w firmach
- Utworzono: środa, 20 grudzień 2023 08:44
- Poprawiono: środa, 20 grudzień 2023 08:50
- Odsłony: 413
Wraz z globalnymi zmianami oraz zachodzącymi przemianami społecznymi i pokoleniowymi, modyfikacji uległy także dotychczasowe biznesowe paradygmaty, zmienia się portret skutecznego lidera. Lider przyszłości to lider wspierający różne pokolenia X, Y, Z czy Alfa, który nie musi już dbać o podstawowe działania, typu delegowanie, plany – to robi cały samoorganizujący się zespół. Sztuka będzie polegała na tym jak zaspokoić potrzeby bezpieczeństwa i możliwości pracowników. Z jednej strony lider powinien oferować stabilizację, z drugiej dawać płaszczyznę do rozwoju.
Co przełoży się zatem na wymierne efekty w biznesie? Czy rynek potrzebuje dziś nowego modelu kompetencji przywódczych?
Co powinien zrobić lider, aby zadbać o to, by praca nie zabierała życiowej energii pracownikom, lecz nadała sens życiu? Czy szkolenia w ramach idei Human-Relation-Organisation mogą w tym pomóc?
Na te i inne pytania próbowaliśmy znaleźć odpowiedź podczas spotkania.
Autorzy książki "Turkusowe rewolucje" opowiadają o tym jak tworzyli firmę openNexus
- Utworzono: piątek, 02 czerwiec 2023 15:40
- Poprawiono: piątek, 02 czerwiec 2023 18:22
- Odsłony: 563
O tworzeniu firmy openNexus opowiadali (kolejność alfabetyczna):
- Artur Janecki,
- Grzegorz Klimarczyk
- Lidia Klimarczyk
- Grzegorz Żołędziewski
A oto, co napisali oni w zapowiedzi swojego wystąpienia:
Przygotowaliśmy dla Was wykład poświęcony kolorom organizacji i zarządzaniu na podstawie turkusowego modelu.
Dowiesz się, jak kolor osobowości wpływa na pracę i postrzeganie innych pracowników oraz jakie korzyści niesie ze sobą zmiana modelu zarządzania z pomarańczowego na turkusowy na przykładzie firmy Open Nexus.
Podczas spotkania zostanie również omówiona klasyfikacja różnych kultur organizacyjnych w oparciu o historie pracowników.
Warto być na tym spotkaniu z kilku powodów:
- Poznasz nowe podejście do zarządzania i organizacji, oparte na turkusowym modelu, który coraz częściej stosowany jest w firmach na całym świecie.
- Będziesz miał/a okazję dowiedzieć się, jakie korzyści niesie ze sobą stosowanie tego modelu i jakie zmiany może wprowadzić w Twojej organizacji.
- Przyswoisz wiedzę na temat wpływu koloru osobowości na pracę i postrzeganie innych pracowników. Poznasz różnice między poszczególnymi typami osobowości i dowiesz się, jakie umiejętności i cechy są dla nich charakterystyczne.
- Omówione zostaną różne kultury organizacyjne w oparciu o historie pracowników. Będziesz miał/a okazję poznać różnice między nimi i dowiedzieć się, jakie elementy wpływają na ich kształtowanie.
- Spotkanie może być okazją do nawiązania nowych kontaktów biznesowych i wymiany doświadczeń z innymi uczestnikami.
- Możliwość poszerzenia wiedzy z zakresu zarządzania i organizacji, co może pomóc w dalszym rozwoju kariery zawodowej.
Niestety nagrywanie zostało pod koniec spotkania raptownie przerwane, bo wyczerpała się bateria w telefonie, przez który łączyłem się z internetem. Jednak część spotkania, która nie została zarejestrowana trwała nie dłużej niż 10 min.Wszystkich oglądających za tę niedoróbkę bardzo przepraszam.
