Jakie są warunek wstępny różnic, warunek postu i niezmiennik w terminologii komputerowej [zamknięte]

czytam książkęWspółbieżność Java w praktyce i trochę zmieszany z tymi terminami:

Warunek wstępnyStan postuNiezmienniki

Czy ktoś może mi je wyjaśnić (na przykład, jeśli to możliwe)?